Bug #194
Unhandled CoCoALib error: mixed rings with IsIn operator (for ideal membership)
Status:
Closed
Priority:
Normal
Assignee:
Category:
Parser/Interpreter
Target version:
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