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: |
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)
Change History (9)
Changed 11 years ago by
Attachment: | trac_11864_blow_up_ideal.patch added |
---|
comment:1 Changed 11 years ago by
Status: | new → needs_review |
---|
comment:2 Changed 11 years ago by
Keywords: | blow-up ideal sd34 added |
---|
comment:3 Changed 11 years ago by
Status: | needs_review → needs_work |
---|---|
Type: | defect → enhancement |
comment:4 Changed 9 years ago by
Milestone: | sage-5.11 → sage-5.12 |
---|
comment:6 Changed 9 years ago by
Milestone: | sage-6.1 → sage-6.2 |
---|
comment:7 Changed 8 years ago by
Milestone: | sage-6.2 → sage-6.3 |
---|
comment:8 Changed 8 years ago by
Milestone: | sage-6.3 → sage-6.4 |
---|
Note: See
TracTickets for help on using
tickets.
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.