Project

General

Profile

Bug #705

DetDirect calls myAddMul with 0 argument -- funny compilation problem??

Added by Anna Maria Bigatti almost 9 years ago. Updated almost 9 years ago.

Status:
Closed
Priority:
Normal
Category:
Improving
Start date:
15 May 2015
Due date:
% Done:

100%

Estimated time:
3.00 h
Spent time:

Description

with (CoCoA-5) input:

Use R ::= QQ[x,y,z];
A := IdentityMat(R,4);
det(A);

the function DetDirect calls
      ans.myAddMulLM(term, RingElem(R,signature(cols)), 1);

with term=0 (pretty reasonable).
But DistrMPolyInlPP has this line (h is the first argument)
    if ( IsZero(h) ) CoCoA_ERROR(ERR::NotNonZero, "DistrMPolyInlPP::myAddMul");

Why my debugging version calls this and the optimized version doesn't???????
Something funny going on. I'll investigate.

History

#1 Updated by Anna Maria Bigatti almost 9 years ago

  • Status changed from New to Feedback
  • % Done changed from 20 to 80

I still don't understand why it seemed to work (maybe a missing cvs checkout)
The problem is a simple (when you know where) bug:
the correct line in DetDirect (line 550) for MatrixOperations.C is

      ans.myAddMulLM(RingElem(R,signature(cols)), term, 1);

(swapped arg1 and arg2)

#2 Updated by John Abbott almost 9 years ago

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

No problems encountered after 1 month in feedback. Closing.

Also available in: Atom PDF