From d13df6b34ebdc6a2d3dd01b081617fe6e88feda8 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 25 Mar 2024 22:30:20 +0100
Subject: Renamed number comparison functions

---
 std/Number/Ternary.bruijn | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'std/Number/Ternary.bruijn')

diff --git a/std/Number/Ternary.bruijn b/std/Number/Ternary.bruijn
index 4eaaf5a..03af0e9 100644
--- a/std/Number/Ternary.bruijn
+++ b/std/Number/Ternary.bruijn
@@ -313,36 +313,36 @@ sub [[1 + -0]] ⧗ Number → Number → Number
 :test ((+42) - (+1) =? (+41)) (true)
 
 # returns true if number is greater than other number
-gre? positive? ∘∘ sub ⧗ Number → Number → Boolean
+gt? positive? ∘∘ sub ⧗ Number → Number → Boolean
 
-…>?… gre?
+…>?… gt?
 
 :test ((+1) >? (+2)) (false)
 :test ((+2) >? (+2)) (false)
 :test ((+3) >? (+2)) (true)
 
 # returns true if number is less than other number
-les? \gre? ⧗ Number → Number → Boolean
+lt? \gt? ⧗ Number → Number → Boolean
 
-…<?… les?
+…<?… lt?
 
 :test ((+1) <? (+2)) (true)
 :test ((+2) <? (+2)) (false)
 :test ((+3) <? (+2)) (false)
 
 # returns true if number is less than or equal to other number
-leq? not! ∘∘ gre? ⧗ Number → Number → Boolean
+le? not! ∘∘ gt? ⧗ Number → Number → Boolean
 
-…≤?… leq?
+…≤?… le?
 
 :test ((+1) ≤? (+2)) (true)
 :test ((+2) ≤? (+2)) (true)
 :test ((+3) ≤? (+2)) (false)
 
 # returns true if number is greater than or equal to other number
-geq? \leq? ⧗ Number → Number → Boolean
+ge? \le? ⧗ Number → Number → Boolean
 
-…≥?… geq?
+…≥?… ge?
 
 :test ((+1) ≥? (+2)) (false)
 :test ((+2) ≥? (+2)) (true)
@@ -368,10 +368,10 @@ compare compare-case (+0) (+1) (-1) ⧗ Number → Number → Number
 c-eq? eq? (+0) ⧗ Number → Number
 
 # returns true if comparison result is less than (LT)
-c-les? eq? (-1) ⧗ Number → Number
+c-lt? eq? (-1) ⧗ Number → Number
 
 # returns true if comparison result is greater than (GT)
-c-gre? eq? (+1) ⧗ Number → Number
+c-gt? eq? (+1) ⧗ Number → Number
 
 # negates a balanced ternary number if <0
 abs [<?0 -0 0] ⧗ Number → Number
-- 
cgit v1.2.3