>Do you know how this is different from the GUARDIAN package (Reduce) >described in this ISSAC'97 paper? > > "Guarded Expressions in Practice" > Andreas Dolzmann and Thomas Sturm > > http://portal.acm.org/citation.cfm?id=258851
I don't know. The comments I made were from my thesis work done prior to this publication. I don't have access to that paper at the moment. If you have a copy perhaps you could summarize the differences. Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org http://lists.nongnu.org/mailman/listinfo/axiom-developer
