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)
Change History (9)
Changed 9 years ago by
comment:1 Changed 9 years ago by
- Status changed from new to needs_review
comment:2 Changed 9 years ago by
- Keywords blow-up ideal sd34 added
comment:3 Changed 8 years ago by
- Status changed from needs_review to needs_work
- Type changed from defect to enhancement
comment:4 Changed 7 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:5 Changed 7 years ago by
Saturation has now been implemented in #11861
comment:6 Changed 6 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:7 Changed 6 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:8 Changed 6 years ago by
- Milestone changed from sage-6.3 to 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.