Feature #80
"<=" for ideals
Status:
Closed
Priority:
Normal
Assignee:
Category:
CoCoA-4 function to be added
Target version:
Description
Should
Ideal(x) <= ideal(x,y);
be interpreted as
IsContained(ideal(x), ideal(x,y));
as in cocoa-4?
Related issues
History
#1 Updated by Anna Maria Bigatti about 12 years ago
- Category set to CoCoA-4 function to be added
- Status changed from New to Closed
- Assignee set to Anna Maria Bigatti
- Target version set to CoCoA-5.0.2
- % Done changed from 0 to 100
- Estimated time set to 1.00 h
After personal discussion with Robbiano and Abbott, the decision is for not offering the syntax "<=" for ideals.
1 - the ordering is only partial.
2 - "<" could be ambiguous (strictly contained or not?) and the strict comparison is costly and generally useless (therefore might lead to unexpected errors)