#5958: [with patch, needs work] MPolynomial_polydict.factor() should accept
proof
parameter
---------------------------------+------------------------------------------
Reporter: malb | Owner: malb
Type: defect | Status: new
Priority: major | Milestone: sage-3.4.2
Component: commutative algebra | Keywords: singular, factor
---------------------------------+------------------------------------------
Comment(by malb):
The patch fixes the exception, however:
{{{
sage: sage: R.<x,y> = CC[]
sage: sage: I = R.ideal(x^2+y^2-1,x*y-1)
sage: sage: I.variety()
verbose 0 (1735: multi_polynomial_ideal.py, variety) Warning: falling back
to very slow toy implementation.
[{y: -1.00000000000000}, {y: 0}, {y: 1.00000000000000}]
}}}
which is certainly the wrong answer ({{{x}}} is missing), thus there seems
to be another bug.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5958#comment:1>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
