Project

General

Profile

Bug #36

Saturation

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

Status:
Closed
Priority:
Urgent
Assignee:
Anna Maria Bigatti
Category:
Maths Bugs
Target version:
CoCoALib-0.9950
Start date:
29 Nov 2011
Due date:
% Done:

100%

Estimated time:
2.00 h
Spent time:
2.00 h

Description

Use QQ[x,y];
I:=Ideal(x,y-1);
J:=Ideal(x,y-2);
Saturation(I,J);
ideal(1)

La risposta giusta è Ideal(x,y-1) ossia I.

Il problema credo sia qui:
Saturation(I,J) è l'intersezione di Saturation(I,Ideal(x)) con Saturation(I,Ideal(y-2));
Ma Saturation(I,Ideal(x)) = ideal(1) e qui CoCoA si ferma e risponde.
R.

History

#1 Updated by Lorenzo Robbiano over 12 years ago

Use QQ[x,y];
I:=ideal (x);
J:=ideal(x,y);
Saturation(I,J);

#2 Updated by Anna Maria Bigatti over 12 years ago

  • Status changed from New to Resolved
  • Target version set to CoCoALib-0.9950
  • % Done changed from 0 to 100
  • Estimated time set to 2.00 h

#3 Updated by Anna Maria Bigatti over 12 years ago

  • Status changed from Resolved to Closed

Also available in: Atom PDF