Project

General

Profile

Feature #1330

New syntax for NewQuotientRing

Added by Anna Maria Bigatti over 4 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
Improving
Target version:
CoCoALib-0.99650 November 2019
Start date:
08 Oct 2019
Due date:
% Done:

100%

Estimated time:
Spent time:
2.70 h

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

Related to CoCoA-5 - Design #1327: Inconvenient PolyRingHom, PolyAlgebraHomClosed2019-10-07

Related to CoCoALib - Feature #1332: New function: vector of RingElem from string -- in CoCoALibClosed2019-10-08

Related to CoCoA-5 - Feature #1003: New syntax for creating poly rings?In Progress2017-01-27

Related to CoCoALib - Feature #1485: Simple syntax for making a quotient ring?New2020-09-14

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 almost 4 years ago

  • Related to Feature #1003: New syntax for creating poly rings? added

#18 Updated by Anna Maria Bigatti 4 months ago

  • Related to Feature #1485: Simple syntax for making a quotient ring? added

Also available in: Atom PDF