#15355: representation of CIF-element plus SR-element
-------------------------------------------+-------------------------
       Reporter:  dkrenn                   |        Owner:
           Type:  defect                   |       Status:  new
       Priority:  major                    |    Milestone:  sage-5.13
      Component:  symbolics                |   Resolution:
       Keywords:  SR, CIF, representation  |    Merged in:
        Authors:                           |    Reviewers:
Report Upstream:  N/A                      |  Work issues:
         Branch:                           |       Commit:
   Dependencies:                           |     Stopgaps:
-------------------------------------------+-------------------------
Description changed by dkrenn:

Old description:

> We have
> {{{
> sage: x+CIF(RIF(-2,2), 0)
> x
> }}}
> and
> {{{
> sage: x + CIF(RIF(-2,2),RIF(-2,2))
> x
> }}}
> which are wrong representation strings. Anyhow, the result themselves are
> correct since, for example, we have
> {{{
> sage: z = (x+CIF(RIF(-2,2),RIF(-2,2)))
> sage: z - x
> 0.?e1 + 0.?e1*I
> }}}
>
> In contrast, the following things work:
> {{{
> sage: x+RIF(-2,2)
> x + 0.?e1
> sage: x+CIF(RIF(3.14,3.15), RIF(3.14, 3.15))
> x + 3.15? + 3.15?*I
> sage: CIF(RIF(-2,2),RIF(-2,2))
> 0.?e1 + 0.?e1*I
> sage: x+CIF(RIF(3.14,3.15), 0)
> x + 3.15?
> }}}

New description:

 We have
 {{{
 sage: x + CIF(RIF(-2,2), 0)
 x
 }}}
 and
 {{{
 sage: x + CIF(RIF(-2,2), RIF(-2,2))
 x
 }}}
 which are wrong representation strings. Anyhow, the result themselves are
 correct since, for example, we have
 {{{
 sage: z = (x + CIF(RIF(-2,2),RIF(-2,2)))
 sage: z - x
 0.?e1 + 0.?e1*I
 }}}

 In contrast, the following things work:
 {{{
 sage: x + RIF(-2,2)
 x + 0.?e1
 sage: x + CIF(RIF(3.14,3.15), RIF(3.14, 3.15))
 x + 3.15? + 3.15?*I
 sage: CIF(RIF(-2,2), RIF(-2,2))
 0.?e1 + 0.?e1*I
 sage: x + CIF(RIF(3.14,3.15), 0)
 x + 3.15?
 }}}

--

--
Ticket URL: <http://trac.sagemath.org/ticket/15355#comment:1>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to