Feature #1330
New syntax for NewQuotientRing
Status:
Closed
Priority:
Normal
Assignee:
Category:
Improving
Target version:
Description
Making a quotient ring 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")));
Consider the syntax:
R := NewQuotientRing(NewPolyRing(QQ,"a,i"), "a^2-5, i^2+1");
where the string is automatically read as an ideal in the base ring.
(similar syntax for
PolyAlgebraHom
)
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
- Subject changed from New syntax for creating QuotienRing to New syntax for creating QuotientRing
#3 Updated by Anna Maria Bigatti over 4 years ago
- Target version set to CoCoALib-0.99700
- % Done changed from 10 to 50
Implemented in CoCoALib, passed to CoCoA-5
For the moment, only for principal ideal
/**/ S := NewQuotientRing(NewPolyRing(QQ, "x,y,z"), "x-3"); -- string shortcut /**/ use S; /**/ (x+y)^2; (y^2 +6*y +9)
#4 Updated by Anna Maria Bigatti over 4 years ago
- Description updated (diff)
#5 Updated by Anna Maria Bigatti over 4 years ago
- Description updated (diff)
#6 Updated by Anna Maria Bigatti over 4 years ago
documented, cvs-ed.
#7 Updated by Anna Maria Bigatti over 4 years ago
- Related to Feature #1332: New function: vector of RingElem from string -- in CoCoALib added
#8 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
#9 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)
#10 Updated by Anna Maria Bigatti over 4 years ago
- Description updated (diff)
- Status changed from In Progress to Resolved
Now also for non principal ideals
R := NewQuotientRing(NewPolyRing(QQ,"a,i"), "a^2-5, i^2+1"); /**/ use R; /**/ (a+i)^2; (2*a*i +4)
#11 Updated by Anna Maria Bigatti over 4 years ago
- Assignee set to Anna Maria Bigatti
- Target version changed from CoCoALib-0.99700 to CoCoALib-0.99650 November 2019
- % Done changed from 50 to 80
#12 Updated by Anna Maria Bigatti over 4 years ago
- Description updated (diff)
#13 Updated by Anna Maria Bigatti over 4 years ago
reminder: write doc for cocoalib
#14 Updated by Anna Maria Bigatti over 4 years ago
- Subject changed from New syntax for creating QuotientRing to New syntax for NewQuotientRing
#15 Updated by Anna Maria Bigatti over 4 years ago
- Status changed from Resolved to Feedback
- % Done changed from 80 to 90
#16 Updated by Anna Maria Bigatti over 4 years ago
- Status changed from Feedback to Closed
- % Done changed from 90 to 100
#17 Updated by Anna Maria Bigatti about 4 years ago
- Related to Feature #1003: New syntax for creating poly rings? added
#18 Updated by Anna Maria Bigatti 6 months ago
- Related to Feature #1485: Simple syntax for making a quotient ring? added