Opened 4 years ago

Closed 6 months ago

Last modified 6 months ago

#19231 closed defect (invalid)

SR should not coerce into QQbar

Reported by: dkrenn Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: symbolics Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description 

sage: QQbar.has_coerce_map_from(SR)
True

which is wrong.

Change History (4)

comment:1 follow-up: Changed 4 years ago by rws

Isn't this so that QQbar(expression with sqrt) will work?

comment:2 in reply to: ↑ 1 Changed 4 years ago by dkrenn

Replying to rws:

Isn't this so that QQbar(expression with sqrt) will work?

There cannot be a coercion from SR to QQbar since, for example, QQbar(SR(pi)) or QQbar(SR(e^x)) does not (and cannot) work.

comment:3 follow-up: Changed 6 months ago by chapoton

  • Milestone changed from sage-6.9 to sage-duplicate/invalid/wontfix
  • Resolution set to invalid
  • Status changed from new to closed

This is now saying False and doctested in qqbar.py

comment:4 in reply to: ↑ 3 Changed 6 months ago by slelievre

Replying to chapoton:

This is now saying False and doctested in qqbar.py

For reference, this is since #14485 was merged.

Note: See TracTickets for help on using tickets.