Project

General

Profile

Bug #1143

Polynomial multiplication wrong for non integral rings

Added by Anna Maria Bigatti 7 months ago. Updated 7 months ago.

Status:
Closed
Priority:
Urgent
Assignee:
Category:
Buggy Maths
Target version:
Start date:
15 Dec 2017
Due date:
% Done:

100%

Estimated time:
4.01 h
Spent time:

Description

In cocoa-5 syntax

/**/ R := NewPolyRing(NewZZmod(6), "x,y");
/**/ 3*(2*x-1);


Related issues

Related to CoCoA-5 - Feature #1142: NewZZmod: port to CoCoA-5Closed2017-12-15

History

#1 Updated by Anna Maria Bigatti 7 months ago

Easy to fix, but can we avoid doing too many checks?

Make tests for all polynomial types.

#2 Updated by Anna Maria Bigatti 7 months ago

  • % Done changed from 0 to 30

added test for cocoalib (in test-SparsePolyRing1)
cvs-ed

#3 Updated by Anna Maria Bigatti 7 months ago

#4 Updated by Anna Maria Bigatti 7 months ago

  • Status changed from In Progress to Feedback
  • Assignee set to John Abbott
  • % Done changed from 30 to 90
  • Estimated time changed from 3.00 h to 4.01 h

John fixed DistrMPolyClean and DistrMPolyInlPP (DMPII is only for coefficient in a field).

#5 Updated by John Abbott 7 months ago

  • Status changed from Feedback to Closed
  • % Done changed from 90 to 100

Also available in: Atom PDF