Opened 11 years ago

Last modified 8 years ago

#11864 needs_work enhancement

Blow-up ideal

Reported by: Dang Tuan Hiep Owned by: Martin Albrecht
Priority: minor Milestone: sage-6.4
Component: commutative algebra Keywords: blow-up, ideal, sd34
Cc: Burcin Erocal Merged in:
Authors: Hiep Dang Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Returns the ideal of relations for Rees algebra of this ideal.

sage: R.<x,y> = QQ[]
sage: I = R.ideal(x^3,x*y,y^2)
sage: I.blow_up_ideal()
Ideal (y*t1 - x*t2, x*t1^2 - t0*t2, x^2*t1 - y*t0, x^3*t2 - y^2*t0) of Multivariate Polynomial Ring in x, y, t0, t1, t2 over Rational Field

Attachments (1)

trac_11864_blow_up_ideal.patch (2.6 KB) - added by Dang Tuan Hiep 11 years ago.

Download all attachments as: .zip

Change History (9)

Changed 11 years ago by Dang Tuan Hiep

comment:1 Changed 11 years ago by Dang Tuan Hiep

Status: newneeds_review

comment:2 Changed 11 years ago by Dang Tuan Hiep

Keywords: blow-up ideal sd34 added

comment:3 Changed 11 years ago by Johan Bosman

Status: needs_reviewneeds_work
Type: defectenhancement

In the docstring, the first line should be in the imperative mood and there should be INPUT and OUTPUT sections. It is not at all clear to me what the input "arg" should satisfy for instance.

comment:4 Changed 9 years ago by Jeroen Demeyer

Milestone: sage-5.11sage-5.12

comment:5 Changed 9 years ago by Frédéric Chapoton

Saturation has now been implemented in #11861

comment:6 Changed 9 years ago by For batch modifications

Milestone: sage-6.1sage-6.2

comment:7 Changed 8 years ago by For batch modifications

Milestone: sage-6.2sage-6.3

comment:8 Changed 8 years ago by For batch modifications

Milestone: sage-6.3sage-6.4
Note: See TracTickets for help on using tickets.