#11368: can't coerce pari to rational function field
-------------------------------------------------+-------------------------
       Reporter:  katestange                     |        Owner:  robertwb
           Type:  defect                         |       Status:
       Priority:  minor                          |  needs_review
      Component:  coercion                       |    Milestone:  sage-6.1
       Keywords:  coercion pari rational         |   Resolution:
  fraction_field string                          |    Merged in:
        Authors:  Peter Bruin                    |    Reviewers:
Report Upstream:  N/A                            |  Work issues:
         Branch:                                 |       Commit:
  u/pbruin/11368-coerce_rational_function_field  |     Stopgaps:
   Dependencies:                                 |
-------------------------------------------------+-------------------------
Changes (by {'newvalue': u'Peter Bruin', 'oldvalue': ''}):

 * status:  new => needs_review
 * changetime:  12/20/13 06:19:13 => 12/20/13 06:19:13
 * branch:   => u/pbruin/11368-coerce_rational_function_field
 * author:   => Peter Bruin


Old description:

> The following fails
> {{{
> sage: R.<x,y> = PolynomialRing(QQ)
> sage: S = R.fraction_field()
> sage: S(pari((x+y)/y))
> TypeError: no canonical coercion from Fraction Field of Multivariate
> Polynomial Ring in x, y over Rational Field to Rational Field
> }}}
> However, if you replace (x+y)/y with x+y, it works (in other words,
> polynomials work but rational functions don't).

New description:

 The following fails
 {{{
 sage: R.<x,y> = PolynomialRing(QQ)
 sage: S = R.fraction_field()
 sage: S(pari((x+y)/y))
 TypeError: no canonical coercion from Fraction Field of Multivariate
 Polynomial Ring in x, y over Rational Field to Rational Field
 }}}
 However, if you replace (x+y)/y with x+y, it works (in other words,
 polynomials work but rational functions don't).

--

--
Ticket URL: <http://trac.sagemath.org/ticket/11368#comment:5>
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 unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to