search

sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.31k stars 451 forks source link

Blow-up ideal #11864

Open 19aff6ad-dfaf-4c86-bfdb-da1a67aed9f3 opened 12 years ago

19aff6ad-dfaf-4c86-bfdb-da1a67aed9f3 commented 12 years ago

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

19aff6ad-dfaf-4c86-bfdb-da1a67aed9f3 commented 12 years ago

Attachment: trac_11864_blow_up_ideal.patch.gz

19aff6ad-dfaf-4c86-bfdb-da1a67aed9f3 commented 12 years ago

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

1659f18b-8e7f-4ace-87e0-ea435f3ce618 commented 12 years ago
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 commented 11 years ago
comment:5

Saturation has now been implemented in #11861