#19318: Implement inverse_of_unit for IntegerModRing
-------------------------------------+-------------------------------------
Reporter: bruno | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-
Component: finite rings | duplicate/invalid/wontfix
Keywords: | Resolution:
Authors: Bruno Grenet | Merged in:
Report Upstream: N/A | Reviewers:
Branch: | Work issues:
u/bruno/group_inverse_of_unit | Commit:
Dependencies: | c626f8cbf02953b94a2ca54dc0599553c0f40b47
| Stopgaps:
-------------------------------------+-------------------------------------
Comment (by bruno):
Replying to [comment:5 klee]:
> Replying to [comment:4 bruno]:
> > * replacing my code by something like `return self^-1` to provide a
method `inverse_of_unit`.
>
> As this `inverse_of_unit` does not implement a special algorithm to
compute the inverse, it should not be a method of `IntegerModRing`. On the
other hand, adding `inverse_of_unit` method to a general ring as a more
intuitive alternative to `^-1` seems not a good idea. Is it really more
intuitive? I would suggest `multiplicative_inverse`. Anyway, this is a
separate issue.
>
> I advise you to ask in Sage support or Sage devel first if you think you
found something missing in Sage.
>
> I will mark this ticket as "won't fix"
>
OK, that's fine!
--
Ticket URL: <http://trac.sagemath.org/ticket/19318#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
