#17287: K.is_subring(K) not implemented for some fields K
-------------------------------------+-------------------------------------
Reporter: mjo | Owner: tmonteil
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-6.4
Component: algebra | Resolution:
Keywords: beginner | Merged in:
Authors: Akshay Ajagekar | Reviewers: Michael Orlitzky,
Report Upstream: N/A | Thierry Monteil
Branch: | Work issues:
u/ajagekar.akshay/Trac17287 | Commit:
Dependencies: | 2cb2f649aff4ff4b8b75e14c1beb0dc897dd91f3
| Stopgaps:
-------------------------------------+-------------------------------------
Changes (by tmonteil):
* status: needs_review => needs_work
* reviewer: Michael Orlitzky => Michael Orlitzky, Thierry Monteil
Comment:
Great that some newcomer work on it! However, my impression is that this
test should be for trivial cases. My fear in using equality is that this
might take a while if the equality is hard to decide. Here i guess we want
a fast shortcut for trivial cases, that is when `self is other` (which
should solve the present use cases since most rings have unique
representation).
--
Ticket URL: <http://trac.sagemath.org/ticket/17287#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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
