diff options
Diffstat (limited to 'std/Math/Rational.bruijn')
| -rw-r--r-- | std/Math/Rational.bruijn | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/std/Math/Rational.bruijn b/std/Math/Rational.bruijn index e3842e7..54c3a88 100644 --- a/std/Math/Rational.bruijn +++ b/std/Math/Rational.bruijn @@ -91,9 +91,19 @@ div [[1 ⋅ ~0]] ⧗ Rational → Rational → Rational :test ((+8.0) / (+4.0) =? (+2.0)) (true) :test ((+18.0) / (+12.0) =? (+1.5)) (true) +# increments a rational number +inc add (+1.0) ⧗ Rational → Rational + +++‣ inc + +# decrements a rational number +dec \sub (+1.0) ⧗ Rational → Rational + +--‣ dec + # TODO: Regression? Importing this into . won't find Q.eq? anymore :import std/List L -# rational^number +# power function: rational^number pow-n [L.…!!… (L.iterate (mul 0) (+1.0))] ⧗ Rational → Number → Rational |