hello, I'm trying to improve TRMANIP in manip.spad.
I want to know if the expressions have the Complex notion or not. In this package I can add the function : ifComplex : F -> Boolean ifComplex (arg) == (R is Complex Integer) or (R is Complex Fraction Integer) _ or (R is Fraction Complex Integer) the arg has no use, but with this arg I can test the function ifComplex in the interpreter for a given expression. I re^10-read previous mails about the qestion, and the wiki page SandBoxManipulatingDomains, but... 1/ I can't find a better function than ifComplex for the test << %i exists in Expression >>. Even if theses cases are the more current, they aren't all the cases. 2/ I can neither get %i (or imaginary()$R) in F, nor get imag(expr) in a *.spad file although it's possible in interpreter thanks to the file efstruc.spad (?). In manip.spad my testing function is testing : F -> F testing arg == ... I can't compile : testing arg == dom(arg)=devaluate(Expression Complex Integer)$Lisp => 999::R::F arg the test is always false testing arg == F has ComplexCategory R => imaginary()::F arg it's right for Complex Integer testing arg == R is Complex Integer => 987::Integer::R::F arg but then I can't hold the << %i >> number. testing arg == R is Complex Integer => (imaginary()$Complex Integer)::F arg When I run I get >> System error: Caught fatal error [memory may be damaged] May you give me one of the keys ? I ignore where I shall look ? Is there any link with SExpressions... Thanks a lot. François _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer