So Plus: (SPECIES, SPECIES) -> SPECIES as an addition of species.Does that look simpler?Yes, excellent. That is much better. Now L only appears explicity in the body of the function. Is it equivalent to what Martin wrote?
Yes that compiles and "make check" does not report an error. Ralf _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
