From 2d696e3bf570e3b7b442dc73fea601e2f50649c7 Mon Sep 17 00:00:00 2001
From: Joe Bryan <joemfb@gmail.com>
Date: Sat, 7 Oct 2023 13:54:42 -0400
Subject: [PATCH] Revert "jets: adds +hub, +pin"

This reverts commit b256c87f6ddf9ba42d983b39a9200e63027e5b7a.
---
 pkg/noun/jets/c/hub.c | 67 -------------------------------------------
 pkg/noun/jets/c/pin.c | 54 ----------------------------------
 pkg/noun/jets/q.h     |  2 --
 pkg/noun/jets/w.h     |  2 --
 4 files changed, 125 deletions(-)
 delete mode 100644 pkg/noun/jets/c/hub.c
 delete mode 100644 pkg/noun/jets/c/pin.c

diff --git a/pkg/noun/jets/c/hub.c b/pkg/noun/jets/c/hub.c
deleted file mode 100644
index 80214754d7..0000000000
--- a/pkg/noun/jets/c/hub.c
+++ /dev/null
@@ -1,67 +0,0 @@
-#include "jets/q.h"
-#include "jets/w.h"
-
-#include "noun.h"
-
-u3_noun
-u3qc_hub(u3_atom a, u3_atom b)
-{
-  c3_w a_w, b_w, c_w;
-
-  if ( 1 == a ) return u3k(b);
-
-  a_w = u3r_met(0, a);
-  b_w = u3r_met(0, b);
-
-  if ( b_w < a_w ) return u3m_bail(c3__exit);
-
-  c_w = b_w - a_w;
-
-  if ( (c3y == u3a_is_cat(a)) && (c3y == u3a_is_cat(b)) ) {
-    c3_w d_w;
-
-    if ( a != (b >> c_w) ) return u3m_bail(c3__exit);
-
-    d_w = 1 << c_w;
-
-    return (b & (d_w - 1)) | d_w;
-  }
-  else {
-    u3_atom c, d, e, f, g, h;
-
-    c = u3i_word(c_w);
-    d = u3qc_rsh(0, c, b);
-
-    if ( c3n == u3r_sing(a, d) ) return u3m_bail(c3__exit);
-
-    e = u3qc_bex(c);
-    f = u3qa_dec(e);
-    g = u3qc_dis(b, f);
-    h = u3qc_con(g, e);
-
-    u3z(c);
-    u3z(d);
-    u3z(e);
-    u3z(f);
-    u3z(g);
-
-    return h;
-  }
-}
-
-u3_noun
-u3wc_hub(u3_noun cor)
-{
-  u3_noun a, b;
-  if (  (c3n == u3r_mean(cor, u3x_sam_2, &a, u3x_sam_3, &b, 0))
-     || (0 == a)
-     || (0 == b)
-     || (c3n == u3ud(b))
-     || (c3n == u3ud(a) && b != 1) )
-  {
-    return u3m_bail(c3__exit);
-  }
-  else {
-    return u3qc_hub(a, b);
-  }
-}
diff --git a/pkg/noun/jets/c/pin.c b/pkg/noun/jets/c/pin.c
deleted file mode 100644
index 33d608f096..0000000000
--- a/pkg/noun/jets/c/pin.c
+++ /dev/null
@@ -1,54 +0,0 @@
-#include "jets/q.h"
-#include "jets/w.h"
-
-#include "noun.h"
-
-u3_noun
-u3qc_pin(u3_atom a, u3_atom b)
-{
-  c3_w a_w, b_w, c_w;
-
-  if ( 1 == a ) return c3y;
-  if ( 1 == b ) return c3n;
-
-  a_w = u3r_met(0, a);
-  b_w = u3r_met(0, b);
-
-  if ( b_w < a_w ) return c3n;
-
-  c_w = b_w - a_w;
-
-  if ( (c3y == u3a_is_cat(a)) && (c3y == u3a_is_cat(b)) ) {
-    return __(a == (b >> c_w));
-  }
-  else {
-    u3_atom c, d, e;
-
-    c = u3i_word(c_w);
-    d = u3qc_rsh(0, c, b);
-    e = u3r_sing(a, d);
-
-    u3z(c);
-    u3z(d);
-
-    return e;
-  }
-}
-
-u3_noun
-u3wc_pin(u3_noun cor)
-{
-  u3_noun a, b;
-
-  if (  (c3n == u3r_mean(cor, u3x_sam_2, &a, u3x_sam_3, &b, 0))
-     || (0 == a)
-     || (0 == b)
-     || (c3n == u3ud(b))
-     || (c3n == u3ud(a)) )
-  {
-    return u3m_bail(c3__exit);
-  }
-  else {
-    return u3qc_pin(a, b);
-  }
-}
diff --git a/pkg/noun/jets/q.h b/pkg/noun/jets/q.h
index 8a6cb15be7..e9c8bfd9b3 100644
--- a/pkg/noun/jets/q.h
+++ b/pkg/noun/jets/q.h
@@ -57,7 +57,6 @@
     u3_noun u3qc_dvr(u3_atom, u3_atom);
     u3_noun u3qc_end(u3_atom, u3_atom, u3_atom);
     u3_noun u3qc_gor(u3_atom, u3_atom);
-    u3_noun u3qc_hub(u3_atom, u3_atom);
     u3_noun u3qc_lsh(u3_atom, u3_atom, u3_atom);
     u3_noun u3qc_mas(u3_atom);
     u3_noun u3qc_met(u3_atom, u3_atom);
@@ -65,7 +64,6 @@
     u3_noun u3qc_mor(u3_atom, u3_atom);
     u3_noun u3qc_muk(u3_atom, u3_atom, u3_atom);
     u3_noun u3qc_peg(u3_atom, u3_atom);
-    u3_noun u3qc_pin(u3_atom, u3_atom);
     u3_noun u3qc_pow(u3_atom, u3_atom);
     u3_noun u3qc_rap(u3_atom, u3_noun);
     u3_noun u3qc_rep(u3_atom, u3_atom, u3_noun);
diff --git a/pkg/noun/jets/w.h b/pkg/noun/jets/w.h
index df1d5c0fba..2898e0b6e6 100644
--- a/pkg/noun/jets/w.h
+++ b/pkg/noun/jets/w.h
@@ -58,7 +58,6 @@
     u3_noun u3wc_dor(u3_noun);
     u3_noun u3wc_dvr(u3_noun);
     u3_noun u3wc_end(u3_noun);
-    u3_noun u3wc_hub(u3_noun);
     u3_noun u3wc_gor(u3_noun);
     u3_noun u3wc_lsh(u3_noun);
     u3_noun u3wc_mas(u3_noun);
@@ -68,7 +67,6 @@
     u3_noun u3wc_mug(u3_noun);
     u3_noun u3wc_muk(u3_noun);
     u3_noun u3wc_peg(u3_noun);
-    u3_noun u3wc_pin(u3_noun);
     u3_noun u3wc_pow(u3_noun);
     u3_noun u3wc_rap(u3_noun);
     u3_noun u3wc_rep(u3_noun);