Blow-up ideal

[sagetrac-dangtuanhiep]

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

CC: @burcin

Component: commutative algebra

Keywords: blow-up, ideal, sd34

Author: Hiep Dang

Issue created by migration from https://trac.sagemath.org/ticket/11864

[sagetrac-dangtuanhiep]

Attachment: trac_11864_blow_up_ideal.patch.gz

[sagetrac-dangtuanhiep]

Changed keywords from none to blow-up, ideal, sd34

[sagetrac-johanbosman]

comment:3

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.

[fchapoton]

comment:5

Saturation has now been implemented in #11861