SR and containment broken

[robertwb]

This is bad

sage: sqrt(2) in CC
False

CC: @mwhansen

Component: calculus

Issue created by migration from https://trac.sagemath.org/ticket/4560

[roed314]

Attachment: 4560.gz

[burcin]

comment:2

Though seeing SymbolicEquation in parent.pyx is very scary at first, this is a good solution. :)

[sagetrac-mabshoff]

comment:3

The above patch causes the following doctest failure in tut.tex:

There is one subtlety in defining complex numbers: as mentioned above,
the symbol \code{i} represents a square root of \minusone, but it is a
\emph{formal} square root of \minusone; it is not in the complex numbers.
Calling \code{CC(i)} returns the complex square root of \minusone.
%link
\begin{verbatim}
sage: i in CC
False

now returns true. After some discussion with William it was decided to change the doctest.

Cheers,

Michael

[roed314]

Attachment: 4560-doc.patch.gz

Documentation fix

[sagetrac-mabshoff]

Rebased verison of Roed's patch

[sagetrac-mabshoff]

comment:6

Attachment: trac_4560.patch.gz

Merged 4560-doc.patch and trac_4560.patch in Sage 3.3.alpha3.

Cheers,

Michael