Opened 3 years ago

Last modified 3 years ago

#19231 new defect

SR should not coerce into QQbar

Reported by: dkrenn Owned by:
Priority: major Milestone: sage-6.9
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 (2)

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

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

comment:2 in reply to: ↑ 1 Changed 3 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.

Note: See TracTickets for help on using tickets.