Feature #992
Poly ring homomorphism to change ordering
Description
It could be helpful to have an easy way of mapping from one poly ring to another which just changes the term ordering.
I am thinking of a simple pseudo-ctor of the form ChangeOrdHom(P1,P2)
where P1
and P2
should have the same indet names (in the same order?)
Related issues
History
#1 Updated by John Abbott over 7 years ago
This may be just a special case of "extending a PPMonoid homomorphism" to a poly ring homomorphism.
It could also be seen as an instance of "embedding" one poly ring in another -- this would additionally allow the second poly ring to have extra indets.
#2 Updated by John Abbott over 7 years ago
- Related to Feature #738: Extend homomorphism to polynomial ring added
#3 Updated by John Abbott almost 4 years ago
- Related to Feature #1468: Adjoin indets to a poly ring added