#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 dkrenn):
Replying to [comment:3 lftabera]:
> See also #13360 automatically coercing from polynomials to symbolics can
cause unexpected problems. So, while I acknowledge that this ugly and
unconvenient I am more inclined to get used to write
>
> {{{
> sage: R.<x,y> = QQ[]
> sage: I = R.ideal(y^2 - 2*y + 1, x + 1/4*y - 5/4)
> sage: solve(map(SR,I.gens()), map(SR,R.gens()), solution_dict=true)
> [{y: 1, x: 1}]
> }}}
Ok, this is definitly a workaround and maybe should be mentioned
somewhere. Anyhow, I do not like that solve as in the original problem
accepts polynomials but then does not give a solution (while it did some
versions ago)
--
Ticket URL: <http://trac.sagemath.org/ticket/16848#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 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.
