Project

General

Profile

Feature #992

Poly ring homomorphism to change ordering

Added by John Abbott over 7 years ago. Updated over 7 years ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
New Function
Target version:
Start date:
13 Dec 2016
Due date:
% Done:

0%

Estimated time:
Spent time:

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

Related to CoCoALib - Feature #738: Extend homomorphism to polynomial ringIn Progress2015-06-25

Related to CoCoALib - Feature #1468: Adjoin indets to a poly ringIn Progress2020-06-25

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

Also available in: Atom PDF