representation of CIF-element plus SR-element

[dkrenn]

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?

Component: symbolics

Keywords: SR, CIF, representation, sd67

Author: Daniel Krenn

Branch/Commit: c03f6bd

Reviewer: Ralf Stephan

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

[dkrenn]

Description changed:

--- 
+++ 
@@ -1,19 +1,19 @@
 We have
 
 ```
-sage: x+CIF(RIF(-2,2), 0)
+sage: x + CIF(RIF(-2,2), 0)
 x
 ```
 and
 
 ```
-sage: x + CIF(RIF(-2,2),RIF(-2,2))
+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 + CIF(RIF(-2,2),RIF(-2,2)))
 sage: z - x
 0.?e1 + 0.?e1*I
 ```
@@ -21,12 +21,12 @@
 In contrast, the following things work:
 
 ```
-sage: x+RIF(-2,2)
+sage: x + RIF(-2,2)
 x + 0.?e1
-sage: x+CIF(RIF(3.14,3.15), RIF(3.14, 3.15))
+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))
+sage: CIF(RIF(-2,2), RIF(-2,2))
 0.?e1 + 0.?e1*I
-sage: x+CIF(RIF(3.14,3.15), 0)
+sage: x + CIF(RIF(3.14,3.15), 0)
 x + 3.15?
 ```

[dkrenn]

Branch: u/dkrenn/t/15355

[dkrenn]

Changed keywords from SR, CIF, representation to SR, CIF, representation, sd67

[dkrenn]

Commit: c03f6bd

[dkrenn]

Author: Daniel Krenn