#813: forced coercion vs. automatic coercion
----------------------------+-----------------------------------------------
Reporter: nbruin | Owner: roed
Type: defect | Status: positive_review
Priority: major | Milestone: sage-4.7.2
Component: coercion | Keywords:
Work_issues: | Upstream: N/A
Reviewer: Julian Rueth | Author: Simon King
Merged: | Dependencies: #9944
----------------------------+-----------------------------------------------
Changes (by saraedum):
* status: needs_review => positive_review
* reviewer: => Julian Rueth
Old description:
> This should give similar results, but it is inconsistent:
> {{{
> P1.<x>=QQ[]
> L=P1.fraction_field()
> x=L(x)
> P2.<y>=P1[]
>
> f=x+y
>
> P3.<x,y>=QQ[]
>
> P3(f)
>
> 0*P3.0+f
> }}}
New description:
This should give similar results, but it is inconsistent:
{{{
P1.<x>=QQ[]
L=P1.fraction_field()
x=L(x)
P2.<y>=P1[]
f=x+y
P3.<x,y>=QQ[]
P3(f)
0*P3.0+f
}}}
---
Apply
1. [attachment:trac813_univariate_coerce_from_multivariate.patch]
1. [attachment:trac_813_review.2.patch]
to the sage repository.
--
Comment:
Ok. In this case it makes sense to have this method. I made some minor
changes to the docstrings.
Sorry, I created an extra attachment. Apply
trac813_univariate_coerce_from_multivariate.patch,
trac_813_review.2.patch.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/813#comment:18>
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.
