From c4b392a179048f936c062f5ffccc2bc25627e500 Mon Sep 17 00:00:00 2001 From: polwex Date: Mon, 6 Oct 2025 01:01:41 +0700 Subject: working --- vere/pkg/noun/jets/a/gte.c | 58 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 58 insertions(+) create mode 100644 vere/pkg/noun/jets/a/gte.c (limited to 'vere/pkg/noun/jets/a/gte.c') diff --git a/vere/pkg/noun/jets/a/gte.c b/vere/pkg/noun/jets/a/gte.c new file mode 100644 index 0000000..8934ec5 --- /dev/null +++ b/vere/pkg/noun/jets/a/gte.c @@ -0,0 +1,58 @@ +/// @file + +#include "jets/q.h" +#include "jets/w.h" + +#include "noun.h" + +u3_noun +u3qa_gte(u3_atom a, u3_atom b) +{ + if ( _(u3a_is_cat(a)) && _(u3a_is_cat(b)) ) { + return __(a >= b); + } + else if ( 0 == a ) { + return c3n; + } + else if ( 0 == b ) { + return c3y; + } + else { + c3_w a_w = u3r_met(0, a); + c3_w b_w = u3r_met(0, b); + + if ( a_w != b_w ) { + return __(a_w >= b_w); + } + else { + mpz_t a_mp, b_mp; + u3_noun cmp; + + u3r_mp(a_mp, a); + u3r_mp(b_mp, b); + + cmp = (mpz_cmp(a_mp, b_mp) >= 0) ? c3y : c3n; + + mpz_clear(a_mp); + mpz_clear(b_mp); + + return cmp; + } + } +} + +u3_noun +u3wa_gte(u3_noun cor) +{ + u3_noun a, b; + + if ( (c3n == u3r_mean(cor, u3x_sam_2, &a, u3x_sam_3, &b, 0)) + || (c3n == u3ud(b) && 0 != a) + || (c3n == u3ud(a) && 0 != b) ) + { + return u3m_bail(c3__exit); + } + else { + return u3qa_gte(a, b); + } +} -- cgit v1.2.3