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 sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org