Project

General

Profile

Feature #1142

NewZZmod: port to CoCoA-5

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

Status:
Closed
Priority:
Normal
Category:
CoCoA-5 function: new
Target version:
Start date:
15 Dec 2017
Due date:
% Done:

100%

Estimated time:
2.01 h
Spent time:

Description

NewZZmod allows big integers, and non-primes.


Related issues

Related to CoCoALib - Bug #1143: Polynomial multiplication wrong for non integral ringsClosed2017-12-15

History

#1 Updated by Anna Maria Bigatti 2 months ago

John ported it to CoCoA-5.
I added it to the manual.
Found a bug: printing 0 coeff (this means it contains a summand with 0 coeff!)

/**/  R := NewZZmod(6);
/**/  use R[x,y];
/**/  product([x-i | i in 1..6]);
x^6 +3*x^5 +x^4 +3*x^3 -2*x^2 +0*x
/**/ product([x-i | i in 1..6]) = x^6 +3*x^5 +x^4 +3*x^3 -2*x^2; -- embarrassing...
false

Must add a coeff check in ring is not IsIntegral

#2 Updated by Anna Maria Bigatti 2 months ago

  • Related to Bug #1143: Polynomial multiplication wrong for non integral rings added

#3 Updated by John Abbott about 1 month ago

  • Status changed from Resolved to Closed
  • % Done changed from 70 to 100

Also available in: Atom PDF