#16848: solve of ideal over QQ[x,y] does not give solution anymore (since 6.3)
---------------------------+-------------------
Reporter: dkrenn | Owner:
Type: defect | Status: new
Priority: major | Milestone:
Component: algebra | Resolution:
Keywords: | Merged in:
Authors: | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
Dependencies: | Stopgaps:
---------------------------+-------------------
Comment (by vdelecroix):
Hi,
I would not say this is a bug. If you want to use the function `solve`,
you need to feed it with symbolic polynomials
{{{
sage: R.<x,y> = QQ[]
sage: Sx, Sy = var('x,y')
sage: I = R.ideal(y^2 - 2*y + 1, x + 1/4*y - 5/4)
sage: f0,f1 = I.gens()
sage: f0 = f0.subs(x=Sx, y=Sy); f1 = f1.subs(x=Sx, y=Sy)
sage: solve([f0,f1], [Sx,Sy], solution_dict=true)
[{x: 1, y: 1}]
}}}
The "bug" comes from `solve` which does not type check the input as it
should. Note that when the input is one polynomial the check is done
{{{
sage: f0,f1 = I.gens()
sage: solve(f0, [Sx,Sy])
Traceback (most recent call last):
...
TypeError: The first argument must be a symbolic expression or a list of
symbolic expressions.
}}}
Vincent
--
Ticket URL: <http://trac.sagemath.org/ticket/16848#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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
