#4190: [with patch, needs review] division of number field order elements
doesn't
check for membership
---------------------------+------------------------------------------------
Reporter: davidloeffler | Owner: davidloeffler
Type: defect | Status: assigned
Priority: major | Milestone: sage-3.1.3
Component: number theory | Resolution:
Keywords: |
---------------------------+------------------------------------------------
Comment (by robertwb):
Good work. Note that as of the latest alpha, both cdef and normal classes
use _div_. Also, given the way these two are implemented, you could just
reset the _parent slot instead of using the {{{__call__}}} method which is
probably eating up a large chunk of the time.
As for your question about whether or not it belongs in the fraction
field, the convention is to have division return elements of the fraction
field, so go ahead and remove that commented code.
{{{
sage: parent(4/2)
Rational Field
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4190#comment:5>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---