mohabsafey
commented
10 months ago - fixes bugs in the choice of primes
- fixes bug on elim order
- fixes bug occuring when swapping variables
- improves behaviour when random changes of variables are performed
- fixes various verbosity inconsistencies
- improvements of maple interfaces (suggested by Bruno Salvy)
- normalization of output real points