Gabriel Dos Reis <[EMAIL PROTECTED]> writes: > However, I seem to remember Ralf telling people that they should never > ever enter EXPR T in Axiom; so without knowing what you do futher with > your matrix I can't say the EXPR domain constructor is a good way to go; > you have to try.
I think that one has to be more careful before judging EXPR that way. I'd rather say: try to avoid EXPR as much as you can, but there are things which cannot be handled without. EXPR QUAT FRAC INT would be the domain of expressions, with coefficients (i.e., all "numbers" that appear) being from QUAT FRAC INT. Internally (and that might be good for understanding), the elements are stored as fractions of multivariate polynomials with coefficients being QUAT FRAC INT and symbols being "kernels", i.e., things that cannot be evaluated further. Cliff, maybe you would be happy with the domain POLY QUAT FRAC INT? this one is "safer" - doesn't provide as much functionality though. by the way, maybe it wasn't explained that way yet: a: INT,; b: INT; a+b + is an operation in INT. it takes its arguments and applies the '+' function from Lisp. The point is: +$INT was promised that the arguments it gets are INTs. It's the design of axiom that every operation knows what types its arguments have. They don't have to check anymore. That's why axiom is fast. Go to a common lisp and say (+ a b) Martin _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer