Project

General

Profile

Bug #194

Unhandled CoCoALib error: mixed rings with IsIn operator (for ideal membership)

Added by John Abbott almost 12 years ago. Updated over 11 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Parser/Interpreter
Target version:
Start date:
21 Jun 2012
Due date:
% Done:

100%

Estimated time:
Spent time:

Description

CoCoALib produces a "mixed rings" error in the following example; CoCoA-5 does not intercept the error at the level of the operator, so the error is reported without any location information.

Use QQ[x];
f := x^2+2;
LC(f) IsIn Ideal(f);

History

#1 Updated by John Abbott almost 12 years ago

  • Status changed from New to Closed
  • % Done changed from 0 to 100

I changed the relevant lines (near 2910) in Interpreter.C:

   try { return BoolValue::fromBool(IsElem(f->theRingElem, I->theIdeal)); }
   catch (const ErrorInfo& err)
   { throw RuntimeException(err.what(), beginOperatorSourcePosition, endOperatorSourcePosition); }

[previously there was no try...catch block]

It would be nice if the necessary change could be made simpler/neater.

#2 Updated by Anna Maria Bigatti over 11 years ago

  • Category set to Parser/Interpreter
  • Assignee set to John Abbott
  • Target version set to CoCoA-5.0.3

Also available in: Atom PDF