Project

General

Profile

Feature #80

"<=" for ideals

Added by Anna Maria Bigatti about 12 years ago. Updated about 12 years ago.

Status:
Closed
Priority:
Normal
Category:
CoCoA-4 function to be added
Target version:
Start date:
19 Jan 2012
Due date:
% Done:

100%

Estimated time:
1.00 h
Spent time:

Description

Should

Ideal(x) <= ideal(x,y);

be interpreted as
IsContained(ideal(x), ideal(x,y));

as in cocoa-4?


Related issues

Related to CoCoALib - Bug #335: Equality of (sub)modulesClosed2013-04-08

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)

Also available in: Atom PDF