#10224: (new-style) packages for saclib 2.2.6 and qepcad-B.1.69
-------------------------------------+-------------------------------------
Reporter: bgoodri | Owner: tbd
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.7
Component: packages: | Resolution:
optional | Merged in:
Keywords: qepcad | Reviewers:
Authors: Thierry Monteil | Work issues:
Report Upstream: N/A | Commit:
Branch: | 12ecf56c516bf1c3eb4e66b170e2d407e56cac55
u/tmonteil/saclib_2_2_6_qepcad_B_1_69| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by tmonteil):
Could you also try from Sage if you get the following behaviour:
{{{
sage: var('a,b,c,d,x,y,z')
(a, b, c, d, x, y, z)
sage: qf = qepcad_formula
sage: ellipse = 3*x^2 + 2*x*y + y^2 - x + y - 7
sage: F = qf.exists(y, ellipse == 0); F
(E y)[3 x^2 + 2 x y + y^2 - x + y - 7 = 0]
sage: qepcad(F)
8 x^2 - 8 x - 29 <= 0
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/10224#comment:20>
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.
