Commit ae261507061c52a2ede975a24f275784918e16cb

Thomas de Grivel 2024-03-07T16:57:34

test complex mul

diff --git a/test/ic3/complex.in b/test/ic3/complex.in
index b6dd406..b2154db 100644
--- a/test/ic3/complex.in
+++ b/test/ic3/complex.in
@@ -32,5 +32,9 @@ quote -340282366920938463463374607431768211456 +i -11579208923731619542357098500
 -340282366920938463463374607431768211456 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
 quote -115792089237316195423570985008687907853269984665640564039457584007913129639936 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
 -115792089237316195423570985008687907853269984665640564039457584007913129639936 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
-quote 3 +i 2 + 2 +i 3 +i 1 + 1
-3 +i 2 + 2 +i 3 +i 1 + 1
+quote 3 +i 2 + 2 +i 3 +i (1 +i 1)
+3 +i 2 + 2 +i 3 +i (1 +i 1)
+quote (0 +i 1) * (1 +i 0)
+(0 +i 1) * (1 +i 0)
+quote (1 +i 2) * (3 +i 4)
+(1 +i 2) * (3 +i 4)
diff --git a/test/ic3/complex.out.expected b/test/ic3/complex.out.expected
index 4460c0e..ce85aa6 100644
--- a/test/ic3/complex.out.expected
+++ b/test/ic3/complex.out.expected
@@ -32,5 +32,9 @@
 -340282366920938463463374607431768211456 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
 -115792089237316195423570985008687907853269984665640564039457584007913129639936 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
 -115792089237316195423570985008687907853269984665640564039457584007913129639936 +i -115792089237316195423570985008687907853269984665640564039457584007913129639936
-3 +i 2 + 2 +i 3 +i 1 + 1
-6 +i 6
+3 +i 2 + 2 +i 3 +i (1 +i 1)
+4 +i 6
+(0 +i 1) * (1 +i 0)
+0 +i 1
+(1 +i 2) * (3 +i 4)
+-5 +i 10