I define a rational function in two variables over a finite field:
{{{
sage: R.<x,y> = GF(2)[]
sage: f = x*y/(x+y)
sage: f.parent()
Fraction Field of Multivariate Polynomial Ring in x, y over Finite
Field of size 2
}}}
I try to factor it, and get this error:
{{{
sage: f.factor()
---------------------------------------------------------------------------
NotImplementedError Traceback (most recent call last)
/home/masgaj/.sage/temp/host_56_150/17587/_home_masgaj__sage_init_sage_0.py
in <module>()
/local/jec/sage-4.3.rc0/local/lib/python2.6/site-packages/sage/rings/fraction_field_element.so
in sage.rings.fraction_field_element.FractionFieldElement.factor
(sage/rings/fraction_field_element.c:2972)()
/local/jec/sage-4.3.rc0/local/lib/python2.6/site-packages/sage/rings/polynomial/multi_polynomial_libsingular.so
in
sage.rings.polynomial.multi_polynomial_libsingular.MPolynomial_libsingular.factor
(sage/rings/polynomial/multi_polynomial_libsingular.cpp:22701)()
NotImplementedError: proof = True factorization not implemented. Call
factor with proof=False.
}}}
So I do what I am told, but:
{{{
sage: f.factor(proof=False)
---------------------------------------------------------------------------
TypeError Traceback (most recent call last)
/home/masgaj/.sage/temp/host_56_150/17587/_home_masgaj__sage_init_sage_0.py
in <module>()
TypeError: factor() takes no keyword arguments
}}}
Worth a ticket, I think?
Also, does anyone know what the proof parameter for this sort of
factorization actually means?
John
--
To post to this group, send an email to [email protected]
To unsubscribe from this group, send an email to
[email protected]
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org
