Opened 6 years ago
Closed 5 years ago
#23191 closed enhancement (fixed)
default implementation of inverse_of_unit()
Reported by:  Julian Rüth  Owned by:  

Priority:  minor  Milestone:  sage8.0 
Component:  commutative algebra  Keywords:  sd86.5 
Cc:  Merged in:  
Authors:  Julian Rüth  Reviewers:  David Roe 
Report Upstream:  N/A  Work issues:  
Branch:  baee716 (Commits, GitHub, GitLab)  Commit:  baee716de596637d075ae814ef45167b38ea95dd 
Dependencies:  Stopgaps: 
Description (last modified by )
Not all ring elements provide inverse_of_unit()
sage: R.<x> = ZZ[] sage: S = R.quo(x^2 + x + 1) sage: S(1).inverse_of_unit() NotImplementedError
But we could always try to invert and see if the result is in the same parent.
Change History (8)
comment:1 Changed 6 years ago by
Branch:  → u/saraedum/default_implementation_of_inverse_of_unit__ 

comment:2 Changed 6 years ago by
Authors:  → Julian Rüth 

Commit:  → ac3c3f83077061875e2826e05e6789b8bdb8cdfc 
Status:  new → needs_review 
comment:3 Changed 6 years ago by
Commit:  ac3c3f83077061875e2826e05e6789b8bdb8cdfc → 4c1dee458a94835c20ee6cec260bec9dcb29311b 

Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
4c1dee4  Add a default implementation of inverse_of_unit() for rings

comment:4 Changed 6 years ago by
Description:  modified (diff) 

comment:5 Changed 6 years ago by
Branch:  u/saraedum/default_implementation_of_inverse_of_unit__ → u/roed/default_implementation_of_inverse_of_unit__ 

comment:6 Changed 6 years ago by
Commit:  4c1dee458a94835c20ee6cec260bec9dcb29311b → baee716de596637d075ae814ef45167b38ea95dd 

Status:  needs_review → positive_review 
I fixed a couple doctests (and ran all tests). Looks good.
New commits:
baee716  Add inverse_of_unit to list of methods in polynomial quotient ring

comment:7 Changed 5 years ago by
Reviewers:  → David Roe 

comment:8 Changed 5 years ago by
Branch:  u/roed/default_implementation_of_inverse_of_unit__ → baee716de596637d075ae814ef45167b38ea95dd 

Resolution:  → fixed 
Status:  positive_review → closed 
Note: See
TracTickets for help on using
tickets.
New commits:
Add a default implementation of inverse_of_unit() for rings