C Y <[EMAIL PROTECTED]> writes:
[...]
| Axiom we presumably have permission to use (since we're calling our
| project Axiom, after all) but Aldor we don't have permission to use so
| whatever we do develop calling the result Aldor might not be the best
| move.
I have been using, for a week now,
root <[EMAIL PROTECTED]> writes:
| > (1) At the moment, Axiom does not look simple to build/install
| > despite efforts in that direction;
|
| ummm
|
| export AXIOM=`pwd`/mnt/linux
| make
|
| i can't make it easier.
that is one definition of it :-)
-- Gaby
__
For those of you not on or watching the Aldor list, there was a
discussion some days ago by some of our key players about it being time
either to bring the SPAD compiler up to a standard that supports what
we need or begin a re-implementation of Aldor. With that in mind, I
have a couple of questio
--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
> this course is at a graduate level, and many of the students have
> some basic knowledge of data structures, algorithms, programming
> languages, generic programming, compilers, etc.
Opps - yes, that would make a difference. For a minute I was ba
> (1) At the moment, Axiom does not look simple to build/install
> despite efforts in that direction;
ummm
export AXIOM=`pwd`/mnt/linux
make
i can't make it easier.
t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lis
C Y <[EMAIL PROTECTED]> writes:
[...]
| I'm not a teacher (only done a few labs over the years and a bit of
| tutoring) but if I were to offer a suggestion (just what you needed ;-)
| I would say this:
|
| 1. Start by introducing either Maxima using the wxMaxima interface or
| perhaps Yacas. E
--- Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
> For my own courses, I've been preparing materials for using Axiom as
> my main vehicle for introducing students to symbolic computation.
> Yesterday, I had to reconsider that decision given the many whoops to
> jump through and unfavorable impressi
"Page, Bill" <[EMAIL PROTECTED]> writes:
[...]
| Gaby would like to introduce his students to "symbolic
| computation", but really Axiom (and Aldor) are not very
| good at this -- by design.
The appearance of AXIOM in the scientific market moves symbolic
computations into a higher plane,
Martin Rubey <[EMAIL PROTECTED]> writes:
[...]
| I agree, unfortunately. I'd be very very happy if it would be
| possible to make SPAD understand a greater subset of Aldor. However,
| I have no idea how.
I would like to see those who understand SPAD better than I do attempt
a clearer definition
On 8/22/06, Alfredo Portes <[EMAIL PROTECTED]> wrote:
On 23 Aug 2006 00:36:39 +0200, Gabriel Dos Reis <
[EMAIL PROTECTED]> wrote:
I agree in principle -- and that is what I tried to do.However: (1) At the moment, Axiom does not look simple to build/install despite efforts in that direction;
On 23 Aug 2006 00:36:39 +0200, Gabriel Dos Reis <[EMAIL PROTECTED]> wrote:
I agree in principle -- and that is what I tried to do.However: (1) At the moment, Axiom does not look simple to build/install despite efforts in that direction; Maybe you can use the Live CD or the Virtual Machine
On Tuesday, August 22, 2006 5:25 PM Gabriel Dos Reis wrote:
> ...
> For my own courses, I've been preparing materials for using
> Axiom as my main vehicle for introducing students to symbolic
> computation.
I am sure that you do not doubt that I am a strong supporter
of Axiom, but I must say that
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> (2) the extension language seems to have a very fuzzy definition,
> when compared to other recent versions of CASes.
>
> Particularly, with respect to (2), I have become unimpressed by the Aldor
> mic-mac and the sort of self-infliged paralys
root <[EMAIL PROTECTED]> writes:
| it might be possible to develop course materials using axiom
| on various topics and make them available for teaching. --t
I agree in principle -- and that is what I tried to do.
However:
(1) At the moment, Axiom does not look simple to build/install
des
it might be possible to develop course materials using axiom
on various topics and make them available for teaching. --t
___
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> Martin Rubey <[EMAIL PROTECTED]> writes:
>
> | Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> |
> | > For my own courses, I've been preparing materials for using Axiom as my
> main
> | > vehicle for introducing students to symbolic computation.
> |
Martin Rubey <[EMAIL PROTECTED]> writes:
| Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
|
| > For my own courses, I've been preparing materials for using Axiom as my main
| > vehicle for introducing students to symbolic computation.
|
| So, may I offer you support?
do you mean you have class ma
Gabriel Dos Reis <[EMAIL PROTECTED]> writes:
> For my own courses, I've been preparing materials for using Axiom as my main
> vehicle for introducing students to symbolic computation.
So, may I offer you support?
Martin
___
Axiom-developer mailing
C Y <[EMAIL PROTECTED]> writes:
[...]
| That helps, and being centered at a university also helps - after all,
| in one sense Axiom has very few links to academia in terms of
| sponsering/patronage. Most of us have something else as our primary
| responsibility, so there is less intense, focused
--- "Page, Bill" <[EMAIL PROTECTED]> wrote:
> The reason why I asked: "Are Axiom developers and users really
> motivated to use this sort of thing?" is because no one has
> shown very much motivation so far. :( I am beginning to
> seriously wonder if investing more time in better tools is
> really
Eitan,
On Tuesday, August 22, 2006 1:12 PM you wrote:
>
> > > I tried to compile the file for native dvi latex output and
> > > was successful only after introducing the following disabling
> > > instructions.
> > >
> > > \let\spadfunFrom=\empty
> > > \def\spadgraph#1{}
> > >
On Tuesday, August 22, 2006 9:05 AM Ralf Hemmecke wrote:
> ..
> I remember I have seen that thing in graphviz.sty.
> Nevertheless, could you send over this SAGE file. I don't
> have SAGE running here.
>
See attachment below.
> >> The \begin{axiomoutput}{somenumber} ... \end{axiomoutput}
> >> e
> > I tried to compile the file for native dvi latex output and was
> > successful only after introducing the following disabling instructions.
> >
> > \let\spadfunFrom=\empty
> > \def\spadgraph#1{}
> > \let\nwfilename=\empty
> > \long\def\nwbegincode#1\nwendcode{
HyperDoc processes exactly the lines preceded by +++ . So the line
isomorphismTypes: Set L -> Generator %;
is out of reach for HyperDoc.
I'd like to have ALLPROSE instead of \adthisname{} write
\spadfun{isomorphismTypes}. And, if possible
Would you be happy with the \addefinename{...} thin
I tried to compile the file for native dvi latex output and was
successful only after introducing the following disabling instructions.
\let\spadfunFrom=\empty
\def\spadgraph#1{}
\let\nwfilename=\empty
\long\def\nwbegincode#1\nwendcode{}
\long\def\moddef#1\endmoddef{}
Bill Page wrote:
From my point of view the objectives of using ALLPROSE are a
little different than the objectives satisfied by the Axiom
pamphlet files. As I understand it, one of the main points
is to be able to extract the comments embedded in the Aldor/SPAD
source code and typeset it along wi
> instead of
> \begin{axiominput}
> solve(x**49-49*x**4+9 = 0,1.e-49)
> \end{axiominput}
> \begin{axiomoutput}
> ... repeat the thing above (which should be autogenerated anyway)
> \end{axiomoutput}
>
> I have no way to simply modify a .sty or .4ht file to make that coloring
> happen
Ralf,
> I believe it would, but the problem is that I cannot easily make the
> documentation smaller, because it would basically mean that I find the
> problem myself.
Yes, in the sense that the problem will be isolated and so its cause
easier to identify. For pagination essentially one
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> > No, I'm not. I need this in the generated .spad (or .as) file, i.e., here
> > +++ \begin{addescription}{Generates all isomorphism types.}
> > +++ \end{addescription}
> > +++ \begin{ToDo}
> > +++ \begin{rhx} 14-Aug-2006:
> > +++ It is no
On 08/22/2006 05:26 PM, Eitan Gurari wrote:
> I wouldn't care too much. tex4ht can split pages at section points (or
> in fact anywhere you like). Unfortunately, for some strange reason I do
> not get it to work with ALLPROSE. Maybe I haven't tried hard enough. And
> it was not so urgent
Ralf,
On Tuesday, August 22, 2006 11:08 AM you wrote:
> Bill Page wrote:
> > To deal with pile syntax maybe we could make use of the
> > SPAD to Aldor translation option built into Axiom that
> > you mentioned in another thread? Even if it is not perfect,
> > perhaps it is good enough to enable
On 08/22/2006 05:26 PM, root wrote:
Well, maybe we should start with dhmatrix. I somehow agree with you and
Eitan. Writing TeX should not be considered the best way of writing a
.pamphlet file. LaTeX is so much more structured that it is easier to
convert to other formats. One cannot do all the
> Quite doable. Now, the question is: Are Axiom developers and
> users really motivated to use this sort of thing??
probably i am; but i can't figure out what 'this sort of thing' is.
*) what are you trying to achieve?
*) where can i see examples
*) what are the benefits/cost?
*) what tools do i
On 08/22/2006 04:20 PM, Martin Rubey wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
[...] in that chunk, then that corresponds to \atthistype. (And, yes Martin,
that can be replaced on the fly by the appropriate \adtype{DomainName},
GREAT! could you send me an appropriate patch, please. The
> Well, maybe we should start with dhmatrix. I somehow agree with you and
> Eitan. Writing TeX should not be considered the best way of writing a
> .pamphlet file. LaTeX is so much more structured that it is easier to
> convert to other formats. One cannot do all the TeX tricks and outputs
> eq
> I wouldn't care too much. tex4ht can split pages at section points (or
> in fact anywhere you like). Unfortunately, for some strange reason I do
> not get it to work with ALLPROSE. Maybe I haven't tried hard enough. And
> it was not so urgent to me.
It should be easy for me to identify
> to significant, but I just did a few experiments using htlatex on
>
> http://wiki.axiom-developer.org/images/book--main--1/bookvol1.tex
I tried to compile the file for native dvi latex output and was
successful only after introducing the following disabling instructions.
\let\spadf
To deal with pile syntax maybe we could make use of the
SPAD to Aldor translation option built into Axiom that
you mentioned in another thread? Even if it is not perfect,
perhaps it is good enough to enable ALLPROSE to more easily
extract the necessary information?
Don't leave me in the dark. Sp
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> >> [...] in that chunk, then that corresponds to \atthistype. (And, yes
> >> Martin,
> >> that can be replaced on the fly by the appropriate \adtype{DomainName},
> > GREAT! could you send me an appropriate patch, please. Then I can document
> > my
> >
Maybe, I am wrong, but for me DHMATRIX is just a domain. A library is
something like libaldor, libalgebra, libaxiom.
I don't think there is much (formal) difference between a domain and a library.
If one domain for you makes a library, so be it. But for me a library
covers a certain small are
Hi Ralf,
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> Aha. Maybe you were misled.
no, I don't think so.
> In some sense you are right that I would like such a system for all of
> Axiom. [...]
Yes, but I think that converting the algebra to allprose would be a good start.
> >> And as Bill point
Hi Martin,
On 08/22/2006 02:45 PM, Martin Rubey wrote:
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
Martin wrote:
why won't we use ALLPROSE?
I simply have the suspicion that Martin talks about pamphlet files of the form
.spad.pamphlet and anybody else means pamphlets with general content s
Hi Ralf,
On Tue, 2006-08-22 at 14:18 +0200, Ralf Hemmecke wrote:
> > First of all, I want to point out that I don't want to advocate against
> > ALLPROSE for documentation, which is in fact an interesting development
> > framework.
> > Nevertheless, my contribution do the documentation discussion
http://wiki.axiom-developer.org/images/book--main--1/bookvol1.tex
As a pdf file this is about 800 pages. As html it generates nearly
600 png files and my browsers (both FireFox and Explorer) die while
trying to render it. And the download is pretty horrendous anyway
:( htlatex indicates a large
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> Martin wrote:
> > why won't we use ALLPROSE?
> I simply have the suspicion that Martin talks about pamphlet files of the form
> .spad.pamphlet and anybody else means pamphlets with general content so also
> .lisp.pamphlet or Makefile.pamphlet. Am I wr
Anyway, would it be a good start to take dhmatrix. We could tex->latex it while
we try to get an html out of it.
The one thing I don't understand about all this is:
why won't we use ALLPROSE?
All the current pamphlet stuff is legacy code. It simply doesn't fit so
easily into ALLPROSE, yet ma
First of all, I want to point out that I don't want to advocate against
ALLPROSE for documentation, which is in fact an interesting development
framework.
Nevertheless, my contribution do the documentation discussion is
non-ALLPROSE. Did you consider using an "javadoc" style for
documentation.
O
Ralf,
Thanks for the explanations about .4ht etc.
On Tuesday, August 22, 2006 5:09 AM you wrote:
> ...
> Bill Page wrote:
> > When generating .html with embedded images for the formula
> > where do the image files go? Subdirectory? Since there will
> > be multiple pamphlet files on the wiki, we
Dear Ralf,
Ralf Hemmecke <[EMAIL PROTECTED]> writes:
> Anyway, would it be a good start to take dhmatrix. We could tex->latex it
> while
> we try to get an html out of it.
The one thing I don't understand about all this is:
why won't we use ALLPROSE?
> On Monday, August 21, 2006 1:08 PM Marti
If for the purpose of translating that file to html you provide
an appropriate axiom.sty (and axiom.4ht) which can be different
from the current existing axiom.sty, then I believe that should
be doable.
Sorry, I've forgotten most of what I once knew about tex4ht. :)
Of course we want only one so
"Igor Khavkine" <[EMAIL PROTECTED]> writes:
> On 21 Aug 2006 22:13:13 +0200, Martin Rubey <[EMAIL PROTECTED]> wrote:
> I can try. But I hope my small patch will still be accepted even if I
> can't find the time to thoroughly document that function.
I'm afraid: no. In fact, I will very likely use
On Tue, 2006-08-22 at 02:19 -0400, root wrote:
> > Nevertheless, my contribution do the documentation discussion is
> > non-ALLPROSE. Did you consider using an "javadoc" style for
> > documentation. E.g. doxygen is a mature and flexible tool aimed primary
> > at C++ but extended to some more langua
Eitan,
On Tuesday, August 22, 2006 2:03 AM you wrote:
>
> I added a pointer to instructions at the end of the first
> paragraph in
>
>http://www.cse.ohio-state.edu/~gurari/TeX4ht/bugfixes.html
>
> Hopefully they are not buggy.
>
Thank you! I feel a little more human now. :) and I've now
53 matches
Mail list logo
