Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-10-17 18:02:23 -0700 (Sun, 17 Oct 2004)
Revision: 6244
Log message:
1. Addressing the bug 322 (first part about nat)
2. Rationals are normalized pairs of integers now (gcd=1)
3. Rational polynomial normalization
ToDo: Grounding intermediate assertion of SupInf.
Doing this efficently is somewhat challenging.