Opened 10 years ago

Last modified 3 years ago

#5544 new defect

multipolynomial __call__ not consistent

Reported by: robertwb Owned by: tbd
Priority: major Milestone: sage-6.4
Component: algebra Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps: todo

Description 

sage: parent(RR['x,y'].gen(1)(0,CC.0))
Complex Field with 53 bits of precision
sage: parent(RR['x,y'](0)(0,0))
Integer Ring
sage: parent(RR['x,y'](0)(0,CC.0))
Integer Ring
sage: parent(RR['x,y'](1)(0,CC.0))
Real Field with 53 bits of precision

sage: parent(QQ['x,y'](1)(0,CC.0))
Rational Field
sage: parent(QQ['x,y'](0)(0,0))
Rational Field
sage: parent(QQ['x,y'](0)(0,CC.0))
Rational Field
sage: parent(QQ['x,y'].gen(1)(0,CC.0))
Complex Field with 53 bits of precision

The result should not depend on the specific polynomial, only on its parent and the parent of the inputs.

Univariate ones get it right: 

sage: sage: parent(RR['x'](0)(0))
Real Field with 53 bits of precision
sage: sage: parent(RR['x'](0)(CC.0))
Complex Field with 53 bits of precision

Change History (7)

comment:1 Changed 10 years ago by cwitty

According to this definition, there are bugs in univariate polynomials as well: 

sage: parent(QQ['x'](0)(1))
Integer Ring
sage: parent(QQ['x'].gen(0)(1))
Rational Field

comment:2 Changed 9 years ago by AlexGhitza

  • Summary changed from multipolynomial __call__ not consistant to multipolynomial __call__ not consistent

comment:3 Changed 5 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:4 Changed 5 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:5 Changed 4 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:6 Changed 4 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:7 Changed 3 years ago by jakobkroeker

  • Report Upstream set to N/A
  • Stopgaps set to todo
Note: See TracTickets for help on using tickets.