Commit f8da1004ecc2d9927e83b03e92699a57a329e12d
2024-03-10T11:47:06
readme
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86
diff --git a/.ic3_history b/.ic3_history
index 27e7889..769aad0 100644
--- a/.ic3_history
+++ b/.ic3_history
@@ -1,13 +1,3 @@
-sqrt(9)
-sqrt(16)
-sqrt(-1)
-1 + 2 +i 3
-1 +i 1
-1 +i 1 + 2 +i 2
-1 +i 1 + (2 +i 2)
-1 +i 1 * (2 +i 2)
-(1 +i 1) * (2 +i 2)
-0.5
0.5 + 1
1/2 + 1
1 +i 1 + 1
@@ -97,3 +87,13 @@ sqrt(-2) * sqrt(-2)
4 mod sqrt(2)
2 mod sqrt(2)
10 mod sqrt(2)
+1/2 + 2/3
+1/2 * 2/3
+1/2 / 2/3
+1/2 - 2/3
+1 +i 2
+(1 +i 2) + (2 +i 3)
+(1 +i 2) * (2 +i 3)
+ic3> (1 +i 2) + (2 +i 3)
+(1 +i 2) / (2 +i 3)
+(1/1 +i 2/1) / (2 +i 3)
diff --git a/README.md b/README.md
index a475c92..78bce6b 100644
--- a/README.md
+++ b/README.md
@@ -259,6 +259,49 @@ ic3> a * a
ic3>
```
+#### Ratios
+
+Ratios are made with a couple of large integers : the numerator
+which can be any number, and the denominator which has to be positive.
+They represent fractions of integral numbers.
+They are written with a slash and no space.
+
+```
+ic3> 1/2 + 2/3
+7/6
+ic3> 1/2 * 2/3
+1/3
+ic3> 1/2 / 2/3
+3/4
+ic3> 1/2 - 2/3
+-1/6
+```
+
+
+#### Complex numbers
+
+Complex numbers are constructed using the operator `+i` on any kind of
+numbers (unsigned, signed, float, ratios, and even other complex
+numbers). For instance, you can write `a +i b` where `a` and `b` are
+real numbers.
+
+```
+ic3> 1 +i 2
+1 +i 2
+ic3> 1 +i 2 + 2 +i 3
+3 +i 5
+ic3> (1 +i 2) * (2 +i 3)
+-4 +i 7
+ic3> (1 +i 2) / (2 +i 3)
+0 +i 0
+ic3> (1/1 +i 2/1) / (2 +i 3)
+8/13 +i 1/13
+```
+
+As you can see integer division is not producing ratios.
+That might change in future releases.
+
+
#### Lists
Lists are marked with brackets `[]`.