Opened 12 months ago

Last modified 5 weeks ago

#31320 new defect

Coercion issue with Laurent polynomial rings

Reported by: mmezzarobba Owned by:
Priority: major Milestone: sage-9.6
Component: coercion Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

sage: coercion_model.common_parent(Frac(QQ['t']), LaurentPolynomialRing(CC,'t'))
Fraction Field of Univariate Polynomial Ring in t over Rational Field

Change History (4)

comment:1 Changed 12 months ago by chapoton

more data

sage: cm = coercion_model
sage: cm.explain(Frac(QQ['t']), LaurentPolynomialRing(CC,'t'))                  
Coercion on right operand via
    Conversion via converter map:
      From: Univariate Laurent Polynomial Ring in t over Complex Field with 53 bits of precision
      To:   Fraction Field of Univariate Polynomial Ring in t over Rational Field
Arithmetic performed after coercions.
Result lives in Fraction Field of Univariate Polynomial Ring in t over Rational Field
Fraction Field of Univariate Polynomial Ring in t over Rational Field

comment:2 Changed 9 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Moving to 9.4, as 9.3 has been released.

comment:3 Changed 5 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:4 Changed 5 weeks ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6
Note: See TracTickets for help on using tickets.