Project

General

Profile

Design #1816

printing rings

Added by Anna Maria Bigatti about 1 month ago. Updated about 1 month ago.

Status:
Feedback
Priority:
Normal
Assignee:
Anna Maria Bigatti
Category:
Improving
Target version:
CoCoALib-0.99850
Start date:
23 May 2024
Due date:
% Done:

90%

Estimated time:
Spent time:
1.25 h

Description

From email by John Abbott:

/**/ F1 ::= ZZ/(7);
/**/ F1;
RingWithID(3, "ZZ/(7)")
/**/ p := NextProbPrime(10^20);
/**/ F2 ::= ZZ/(p);
/**/ F2;
RingWithID(4, "RingWithID(0)/ideal(100000000000000000039)")

Do we care?

History

#1 Updated by Anna Maria Bigatti about 1 month ago

  • Category set to Improving
  • Status changed from New to Resolved
  • Assignee set to Anna Maria Bigatti
  • % Done changed from 0 to 80

Follow up:

Me: no, we don't.
In fact, this highlights there is a different underlying implementation.
This is not bad at all.

John: I do wonder about RingWithID(0) instead of ZZ; similarly for QQ

#2 Updated by Anna Maria Bigatti about 1 month ago

Now it prints

RingWithID(3, "ZZ/ideal(100000000000000000039)")

Indeed this is similar to "QQ[x,y,z]" (i.e. printed with "QQ"), so I just copied from its code

  myBaseRingValue->myOutputSelfShort(out);

I put this on redmine because we might find other cases lik this.

#3 Updated by Anna Maria Bigatti about 1 month ago

This is fine for me:

/**/ describe F2;  // in CoCoALib myOutputSelfLong
RingWithID(3, "ZZ/ideal(100000000000000000039)")
  with BaseRing  RingWithID(0, "ZZ")

#4 Updated by John Abbott about 1 month ago

  • Status changed from Resolved to Feedback
  • Target version set to CoCoALib-0.99880
  • % Done changed from 80 to 90

I have updated the expected output of 2 src/tests/
Thanks for fixing this so quickly!

#5 Updated by Anna Maria Bigatti about 1 month ago

  • Target version changed from CoCoALib-0.99880 to CoCoALib-0.99850

Also available in: Atom PDF