#11199: QuotientRing elements are not callable
-----------------------------+----------------------------------------------
Reporter: vbraun | Owner: AlexGhitza
Type: enhancement | Status: needs_info
Priority: major | Milestone: sage-4.8
Component: algebra | Keywords:
Work_issues: | Upstream: N/A
Reviewer: John Palmieri | Author: Volker Braun
Merged: | Dependencies:
-----------------------------+----------------------------------------------
Comment(by fwclarke):
Even with the extra warning in the docstring, users could very easily be
misled.
For to make the evaluation independent of the lift it is necessary
for the ideal defining the quotient to annihilate the argument.
I think it would be sensible to have a parameter 'check' with default
True, and a
clause like:
{{{
if check and any(g(args) !=0 for g in f.parent().defining_ideal().gens()):
raise ValueError, "argument not in the zero set of the ideal"
}}}
That way an unthinking user is not going to be caught out, while someone
who
knows what they're doing can speed things up by setting 'check=False'.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/11199#comment:4>
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 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.
