Ticket #813 (new defect)

Opened 1 year ago

Last modified 3 weeks ago

forced coercion vs. automatic coercion

Reported by: nbruin Assigned to: roed
Priority: major Milestone: sage-3.2.2
Component: basic arithmetic Keywords:
Cc:

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

Change History

10/03/2007 01:58:07 PM changed by nbruin

  • owner changed from was to roed.
  • component changed from algebraic geometry to basic arithmetic.
  • milestone set to sage-2.8.6.

10/04/2007 11:10:29 AM changed by was

  • milestone changed from sage-2.8.6 to sage-2.8.7.

10/12/2007 05:33:50 PM changed by roed

I will work on this once Robert has added rdef'd functions to Sage (that way I don't have to redo the changes once this occurs)

10/12/2007 05:42:40 PM changed by roed

  • milestone changed from sage-2.8.7 to sage-2.9.

11/14/2008 01:02:50 AM changed by mhansen

This now gives a TypeError? when doing the last arithmetic: 

TypeError: unsupported operand parent(s) for '+': 'Multivariate Polynomial Ring in x, y over Rational Field' and 'Univariate Polynomial Ring in y over Fraction Field of Univariate Polynomial Ring in x over Rational Field'