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 ... - 17:05 Feature #992 (New): Poly ring homomorphism to change ordering
- 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