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:

Status badges

Description (last modified by was)

* 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)

trac_9500.patch (5.3 KB) - added by was 11 years ago.

Download all attachments as: .zip

Change History (7)

comment:2 Changed 11 years ago by was

  • Description modified (diff)

Changed 11 years ago by was

comment:3 Changed 11 years ago by was

  • Status changed from new to needs_review

#9499 needs to be finished before this can be reviewed.

comment:4 Changed 11 years ago by malb

Patch look good and applies cleanly to 4.4.4 +#9499 (which is required).

comment:5 Changed 11 years ago by malb

  • Status changed from needs_review to positive_review

Doctests pass.

comment:6 Changed 11 years ago by mpatel

  • Authors set to William Stein
  • 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.