Feature #1132
Canonical homomorphism for (some) polynomial rings?
Description
It would be convenient to have an automatic homomorphism P1 -> P2 (differing only for ordering)
which effectively is PolyAlgebraHom(P1, P2, indets(P2)).
How should it be called? CanonicalHom?
but it is quite different from what CanonicalHom means now: a (one step) embedding/quotienting/...
CanonicalPolyAlgebraHom would be good, but it's a bit long ;-)
Should we also think of other canonical (non ambiguous) homomorphisms between polynomial rings?
Related issues
History
#1
Updated by John Abbott over 6 years ago
Updated by - Related to Feature #7: Automatic mapping between (some) rings added
#2
Updated by John Abbott over 6 years ago
JAA thinks that CanonicalHom should be fairly general, and not just a "single-step".
Perhaps the "single-step" version could be called CanonicalHom1?
#3
Updated by John Abbott almost 6 years ago
- Target version changed from CoCoALib-0.99600 to CoCoALib-0.99650 November 2019
#4
Updated by John Abbott over 4 years ago
- Target version changed from CoCoALib-0.99650 November 2019 to CoCoALib-0.99800
#5
Updated by John Abbott over 2 years ago
- Target version changed from CoCoALib-0.99800 to CoCoALib-0.99850
#6
Updated by Anna Maria Bigatti about 2 months ago
Updated by Another convenient homomorphism would be a "BringIn-like" homomorphism (keeping the names of the indets: e.g. x maps to x)
Should we call it BringIn as in CoCoA?
In CoCoA the meaning is slightly different, because the argument is a polynomial, not the homomorphism domain, so we could map x in K[x,y,z] into K[x].
#7
Updated by Anna Maria Bigatti about 2 months ago
- Target version changed from CoCoALib-0.99850 to CoCoALib-0.99880