#13645: PolynomialRing variables are not generic symbolic variables
-----------------------------+----------------------------------------------
Reporter: llpamies | Owner: burcin
Type: defect | Status: needs_review
Priority: major | Milestone: sage-duplicate/invalid/wontfix
Component: symbolics | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers: Burcin Erocal
Authors: | Merged in:
Dependencies: | Stopgaps:
-----------------------------+----------------------------------------------
Comment (by llpamies):
Tanks burcin, do not close the ticket, I think that something needs to be
fixed.
If you say that,
> The comparison operator for polynomial rings is important (think
monomial orders and Groebner bases), we cannot change it to keep the
relations symbolic.
Shouldn't Sage raise an exception when evaluating "a+b+a*b == 1", saying
something like "Symbolic comparisons are not allowed for polynomial
rings.", instead of returning False. And besides that, why is
"solve([False], a)" raising such a incomprehensible "TypeError" exception
?
Thanks,
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13645#comment:2>
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.
