Opened 16 years ago

Closed 16 years ago

#253 closed enhancement (fixed)

Add Integral closure for ideals

Reported by: was Owned by: somebody
Priority: major Milestone:
Component: basic arithmetic Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

On Fri, 09 Feb 2007 11:04:16 -0700, Milena Hering wrote:

> Hi William,
>
> Is it possible to compute the integral closure of an ideal in sage?

It's not nicely integrated into SAGE yet, but the capability is there
via Singular, which is included in SAGE.  For example:

sage: singular.load('reesclos.lib')
sage: R.<x,y> = QQ[]
sage: i = ideal([x^2,x*y^4,y^5])
sage: singular(i).normalI()         # the [1] part gives the normalization
[1]:
   _[1]=x^2
   _[2]=y^5
   _[3]=x*y^3

---

Very likely somebody will add this functionality to the next version of SAGE,
i.e., so you could type i.integral_closure(), and get back the ideal as a SAGE ideal.


William

Change History (2)

comment:2 Changed 16 years ago by malb

  • Resolution set to fixed
  • Status changed from new to closed

Done in r2854.

Note: See TracTickets for help on using tickets.