Opened 11 years ago
Closed 11 years ago
#9500 closed enhancement (fixed)
implement inversion of elements in a (more) general quotient ring
Reported by: | was | Owned by: | AlexGhitza |
---|---|---|---|
Priority: | major | Milestone: | sage-4.5.2 |
Component: | algebra | Keywords: | |
Cc: | Merged in: | sage-4.5.2.alpha0 | |
Authors: | William Stein | Reviewers: | Martin Albrecht |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
* This ticket depends on #9499 *
Make this work:
sage: R.<x,y> = QQ[] sage: I = R.ideal([x^2 + 1, y^3 - 2]) sage: S.<i,cuberoot> = R.quotient(I) sage: 1/(1+i) -1/2*i + 1/2 Confirm via symbolic computation:: sage: 1/(1+sqrt(-1)) -1/2*I + 1/2 Another more complicated quotient:: sage: b = 1/(i+cuberoot); b 1/5*i*cuberoot^2 - 2/5*i*cuberoot + 2/5*cuberoot^2 - 1/5*i + 1/5*cuberoot - 2/5 sage: b*(i+cuberoot) 1
Attachments (1)
Change History (7)
comment:1 Changed 11 years ago by
comment:2 Changed 11 years ago by
- Description modified (diff)
Changed 11 years ago by
comment:3 Changed 11 years ago by
- Status changed from new to needs_review
#9499 needs to be finished before this can be reviewed.
comment:4 Changed 11 years ago by
Patch look good and applies cleanly to 4.4.4 +#9499 (which is required).
comment:5 Changed 11 years ago by
- Status changed from needs_review to positive_review
Doctests pass.
comment:6 Changed 11 years ago by
- Merged in set to sage-4.5.2.alpha0
- Resolution set to fixed
- Reviewers set to Martin Albrecht
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Relevant benchmarks: http://wiki.sagemath.org/days23.5/projects/relative_number_fields