Re: [Axiom-developer] SAGE, Axiom, and usage

[Gabriel Dos Reis]

Ralf Hemmecke <address@hidden> writes:

[...]

| And no matter how strongly typed Axiom will be, it must provide a nice
| way to deal with arbitrary expressions. But it should allow to add
| more and more structure to these expressions as the user understands
| the mathematics behind it.

Yes.

For the distinction is more about how types are used and viewed.  It
it more at the level of our -approach- to the subject (computattional
mathematics and logic).  I would not name weather prediction science
differently just because it uses software written in Fortran instead
of, say, Ada or vice versa.

-- Gaby