#10168: fraction field of InfinitePolynomialRing
-----------------------------------+----------------------------------------
   Reporter:  chapoton             |       Owner:  malb          
       Type:  defect               |      Status:  new           
   Priority:  minor                |   Milestone:                
  Component:  commutative algebra  |    Keywords:  fraction field
     Author:  Frederic Chapoton    |    Upstream:  N/A           
   Reviewer:                       |      Merged:                
Work_issues:                       |  
-----------------------------------+----------------------------------------

Comment(by ylchapuy):

 Also note that this seems to work (at least a little bit):

 {{{
 sage: X.<x,y> = InfinitePolynomialRing(QQ, implementation='sparse')
 sage: F = FractionField(X)
 sage: z = F(x[1])
 sage: 1/z
 1/x_1
 sage: (1/z*x[1]).is_one()
 True
 }}}

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10168#comment:1>
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