From Ordner, a catalog of real numbers in Fungrim.
| Decimal | Expression [entries] | Frequency |
|---|---|---|
| 0.750000000000000000000000000000 | Div(3, 4) [ce66a9 d3b45d c4febd 4d2c10 e2035a cb6c9c fb7a63 d15f11 b347d3 fa8e96 e83059 dc507f 951f86 d2f9fb 303827 f93bae afd27a 0ce854 1403b5 669765 8bbb6f 60ac50 62ffb3 9b8c9f 3047b1 80f43a 63ba30 397051 675f23 62de01 ac236f 9b868d c2c002 e85723] Neg(Neg(Div(3, 4))) [303827 3047b1] Im(Mul(Div(3, 4), ConstI)) [c2c002 d3b45d c4febd e2035a 9b868d 80f43a 0ce854 fa8e96] Im(Add(Div(1, 3), Mul(Div(3, 4), ConstI))) [9b868d c2c002 d3b45d e2035a] Im(Add(Div(1, 4), Mul(Div(3, 4), ConstI))) [c4febd 80f43a 0ce854 fa8e96] | 34 (#39) |
Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.
2021-03-15 19:12:00.328586 UTC