#13345: Test if the assumptions made by quotient rings are fulfilled
----------------------------------+-----------------------------------------
Reporter: tfeulner | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone: sage-5.3
Component: algebra | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Thomas Feulner | Merged in:
Dependencies: | Stopgaps:
----------------------------------+-----------------------------------------
Comment (by tfeulner):
Replying to [comment:2 sluther]:
> Does this patch lead to test failures?
I was talking about the failures where I did not catch the deprecation
warning. I will start this work as soon as there is a decision if there
should be some deprecation warning or a NotImplementedError at those
places.
> I don't know the involved math, but it sounds to me like sage currently
returns wrong answers. If this is the case, the bug should be fixed and
not deprecated. This means: a) use NotImplementedError right away and b)
reimplement reduce() where necessary.
This is definitely a bug. I am not sure if I will be able to reimplement
all occurrences of reduce.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13345#comment:3>
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.
