Activity
From 09 Dec 2016 to 07 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...
Also available in: Atom