default implementation of inverse_of_unit()

[saraedum]

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.

Component: commutative algebra

Keywords: sd86.5

Author: Julian Rüth

Branch/Commit: baee716

Reviewer: David Roe

Issue created by migration from https://trac.sagemath.org/ticket/23191

[saraedum]

Branch: u/saraedum/default_implementation_of_inverse_of_unit__

[saraedum]

New commits:

ac3c3f8

Add a default implementation of inverse_of_unit() for rings

[saraedum]

Commit: ac3c3f8

[saraedum]

Author: Julian Rüth

[sagetrac-git]

Changed commit from ac3c3f8 to 4c1dee4

[sagetrac-git]

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

[roed314]

Changed branch from u/saraedum/default_implementation_of_inverse_of_unit__ to u/roed/default_implementation_of_inverse_of_unit__

[roed314]

comment:6

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

[roed314]

Changed commit from 4c1dee4 to baee716

[jdemeyer]

Reviewer: David Roe

[vbraun]

Changed branch from u/roed/default_implementation_of_inverse_of_unit__ to baee716