Dear Gabriel, If you are looking in the interpreter is it possible to improve axion about anonymous functions :
[t+k for k in 1..12] -- is right in axiom [(t+->t+k) for k in 1..12] -- I can't get 12 functions with 12 integers. [t +-> t+1, t +-> t+2] -- is well declared, but I can't sign it map (f +-> f(55), [t +-> t+1, t +-> t+2])-- doesn't work, I must sign it Do you have any information about the anonymous functions. Francois (again) _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
