There is prior work on this idea in the area of Symbolic Integers rather than Reals.
I believe James Davenport did work on this idea a long time ago. I had some grant money to look at this idea at CCNY. Tim _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
