#7868: Factoring in fraction fields
-------------------------+--------------------------------------------------
   Reporter:  spancratz  |       Owner:  AlexGhitza                   
       Type:  defect     |      Status:  new                          
   Priority:  minor      |   Milestone:  sage-4.3.1                   
  Component:  algebra    |    Keywords:  fraction field, factorization
Work_issues:             |      Author:  spancratz                    
   Upstream:  N/A        |    Reviewer:                               
     Merged:             |  
-------------------------+--------------------------------------------------
 The following is a quote from John Cremona,

     http://groups.google.com/group/sage-
 devel/browse_thread/thread/3638a91c0438f439

 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

 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7868>
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 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.


Reply via email to