Activity
From 04 Dec 2016 to 02 Jan 2017
13 Dec 2016
-
18:04 Feature #992: Poly ring homomorphism to change ordering
- This may be just a special case of "extending a PPMonoid homomorphism" to a poly ring homomorphism.
It could also ... -
- It could be helpful to have an easy way of mapping from one poly ring to another which just changes the term ordering...
05 Dec 2016
-
10:30 Feature #931: GBasis verbose mode
- Added first verbosity comments activated with...
Also available in: Atom