Feature #1329
New syntax for creating homomorphisms (PolyAlgebraHom)
Status:
Closed
Priority:
Normal
Assignee:
Category:
Improving
Target version:
Description
Making a homomorphism is often tedious. In CoCoA-5 we need to write (the best we can do):
QQy ::= QQ[y]; R := NewQuotientRing(QQy, ideal(RingElem(QQy,"y^2-5"))); phi := PolyAlgebraHom(QQt(1), R, [RingElem(R,"(1+y)/2")]);
Consider the syntax:
phi := PolyAlgebraHom(QQt(1), R, "(1+y)/2");
where the string is automatically read in the codomain.
(similar for
NewQuotientRing
)
2019-10 Done. Example:
phi := PolyAlgebraHom(R, S, "a,1,0");
Related issues
History
#1 Updated by Anna Maria Bigatti over 4 years ago
- Related to Design #1327: Inconvenient PolyRingHom, PolyAlgebraHom added
#2 Updated by Anna Maria Bigatti over 4 years ago
- Related to Feature #1332: New function: vector of RingElem from string -- in CoCoALib added
#3 Updated by Anna Maria Bigatti over 4 years ago
- Related to Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5 added
#4 Updated by Anna Maria Bigatti over 4 years ago
- Related to deleted (Feature #1243: New function: Read a string into a list (of RingElem) -- CoCoA-5)
#5 Updated by Anna Maria Bigatti over 4 years ago
- Subject changed from New sytax for creating homomorphisms to New syntax for creating homomorphisms
- Description updated (diff)
- Status changed from In Progress to Resolved
- Assignee set to Anna Maria Bigatti
- % Done changed from 10 to 80
#6 Updated by Anna Maria Bigatti over 4 years ago
- Status changed from Resolved to Feedback
- % Done changed from 80 to 90
#7 Updated by Anna Maria Bigatti over 4 years ago
- Target version changed from CoCoALib-0.99700 to CoCoALib-0.99650 November 2019
#8 Updated by Anna Maria Bigatti over 4 years ago
- Description updated (diff)
- Status changed from Feedback to Closed
- % Done changed from 90 to 100
#9 Updated by Anna Maria Bigatti over 3 years ago
- Subject changed from New syntax for creating homomorphisms to New syntax for creating homomorphisms (PolyAlgebraHom)
#10 Updated by Anna Maria Bigatti over 3 years ago
- Related to Feature #1532: Convenient RingHom pseudo-ctors added
#11 Updated by Anna Maria Bigatti over 3 years ago
- Related to Bug #1484: ker bug (quotientinghom for R/ideal()) added