#4149: [with patch, needs review] make every field a fraction field
-------------------------------------------+--------------------------------
Reporter: jhpalmieri | Owner: tbd
Type: defect | Status: new
Priority: minor | Milestone: sage-3.1.3
Component: algebra | Resolution:
Keywords: fraction field, fractionfield |
-------------------------------------------+--------------------------------
Comment (by jhpalmieri):
Your responses are reasonable from a computing point of view, but since
Sage is mathematical software, I think it ''should'' make sense from a
mathematical point of view. If you ask someone, "What's a simple example
of a fraction field?", the answer will be '''Q''', so I would argue that
most users would expect {{{is_FractionField(QQ)}}} to return True. People
who need a data-type check can do {{{is_instance(x,
FractionField_generic)}}}.
There is a lot about Sage that I don't know. Are there many cases in which
you have something like {{{FractionField}}} which is supposed to construct
an object in a particular class (like {{{FractionField_generic}}}), but
which in special cases (like ZZ) returns objects which are not instances
of that class? I mean,
{{{
sage: is_FractionField(FractionField(ZZ))
False
}}}
really bothers me.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4149#comment:3>
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
-~----------~----~----~----~------~----~------~--~---
