#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 mhansen):
Replying to [comment:5 jhpalmieri]:
> But they are! That affects the argument: if they weren't imported at the
top level, I wouldn't have any objections at all, but as it stands, casual
users can easily run into the sorts of issues I'm bringing up, and they
will be confused.
Right, so I think the fix should be to deprecate and then remove them from
the top level, and make an is_fraction_field method on rings in Sage. I'd
be willing to do this work.
>So there is a clash here between casual users and (I think) developers.
I would suggest that developers can handle confusion better than casual
users. I would also suggest that since is_FractionField (for example) is
imported at the top level, it is intended for use by casual users, not
just developers, and so its output should make mathematical sense.
> Finally, if is_Something functions should strictly be checks on data-
types, then this should be mentioned in the developer's guide. Is this
documented anywhere?
I forget if there's a central source. But, every docstring that I've seen
on these functions reflects this. Even the docstring for is_FractionField
states that it "Tests whether or not x inherits from
FractionField_generic."
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/4149#comment:6>
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
-~----------~----~----~----~------~----~------~--~---
