Opened 9 years ago

Last modified 6 years ago

#11864 needs_work enhancement

Blow-up ideal

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

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 dangtuanhiep 9 years ago.

Download all attachments as: .zip

Change History (9)

Changed 9 years ago by dangtuanhiep

comment:1 Changed 9 years ago by dangtuanhiep

  • Status changed from new to needs_review

comment:2 Changed 9 years ago by dangtuanhiep

  • Keywords blow-up ideal sd34 added

comment:3 Changed 8 years ago by johanbosman

  • Status changed from needs_review to needs_work
  • Type changed from defect to enhancement

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 7 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:5 Changed 7 years ago by chapoton

Saturation has now been implemented in #11861

comment:6 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:7 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:8 Changed 6 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4
Note: See TracTickets for help on using tickets.