static u3_noun _fish_in(u3_noun van, u3_noun sut, u3_atom axe, u3_noun vit) { u3_noun p_sut, q_sut; if ( c3y == u3ud(sut) ) switch ( sut ) { default: return u3m_bail(c3__fail); case c3__noun: { return u3nc(1, 0); } case c3__void: { return u3nc(1, 1); } } else switch ( u3h(sut) ) { default: return u3m_bail(c3__fail); case c3__atom: { if ( (c3n == u3r_trel(sut, 0, &p_sut, &q_sut)) ) { return u3m_bail(c3__fail); } else { if ( c3n == u3du(q_sut) ) { u3_noun ton = u3nt(3, 0, u3k(axe)); u3_noun pro = u3qf_flip(ton); u3z(ton); return pro; } else { return u3nt(5, u3nc(1, u3k(u3t(q_sut))), u3nc(0, u3k(axe))); } } } case c3__cell: { if ( (c3n == u3r_trel(sut, 0, &p_sut, &q_sut)) ) { return u3m_bail(c3__fail); } else { u3_noun hut = u3nt(3, 0, u3k(axe)); u3_noun lef = u3qc_peg(axe, 2); u3_noun rit = u3qc_peg(axe, 3); u3_noun hed = _fish_in(van, p_sut, lef, vit); u3_noun tal = _fish_in(van, q_sut, rit, vit); u3_noun hob = u3qf_flan(hed, tal); u3_noun vug = u3qf_flan(hut, hob); u3z(hob); u3z(tal); u3z(hed); u3z(rit); u3z(lef); u3z(hut); return vug; } } case c3__core: { return u3nc(0, 0); } case c3__face: { if ( (c3n == u3r_trel(sut, 0, &p_sut, &q_sut)) ) { return u3m_bail(c3__fail); } else { return _fish_in(van, q_sut, axe, vit); } } case c3__fork: p_sut = u3t(sut); { u3_noun yed = u3qdi_tap(p_sut, u3_nul); u3_noun ret = _fish_fork(van, yed, axe, vit); u3z(yed); return ret; } case c3__hold: { p_sut = u3t(sut); { if ( (c3y == u3qdi_has(vit, sut)) ) { // u3_noun dun = u3qfu_dunq(van, "type", sut); u3_noun niz = u3qfu_shep (van, "axis", 'd', u3k(axe)); // u3t_push(u3nc(c3__mean, dun)); u3t_push(u3nc(c3__mean, niz)); return u3m_error("fish-loop"); } else { u3_noun zoc = u3qdi_put(vit, sut); u3_noun fop = u3qfu_repo(van, sut); u3_noun pro = _fish_in(van, fop, axe, zoc); u3z(fop); u3z(zoc); return pro; } } } } }
static u3_noun _peek_in(u3_noun van, u3_noun sut, u3_noun way, u3_atom axe, u3_noun gil) { u3_noun p_sut, q_sut; u3_noun pro; if ( (c3n == u3du(sut)) ) switch ( sut ) { default: return u3m_bail(c3__fail); case c3__noun: { return c3__noun; } case c3__void: { return c3__void; } } else switch ( u3h(sut) ) { default: return u3m_bail(c3__fail); case c3__atom: { return c3__void; } case c3__cell: { if ( (c3n == u3r_trel(sut, 0, &p_sut, &q_sut)) ) { return u3m_bail(c3__fail); } else { u3_atom tip = u3qc_cap(axe); u3_atom tap = u3qc_mas(axe); if ( 2 == tip ) { pro = _cqfu_peek(van, p_sut, way, tap); } else { pro = _cqfu_peek(van, q_sut, way, tap); } u3z(tap); u3z(tip); return pro; } } case c3__core: { u3_noun pq_sut, qq_sut, rq_sut; u3_noun prq_sut, qrq_sut; if ( (c3n == u3r_trel(sut, 0, &p_sut, &q_sut)) || (c3n == u3r_trel(q_sut, &pq_sut, &qq_sut, &rq_sut)) || (c3n == u3r_cell(rq_sut, &prq_sut, &qrq_sut)) ) { return u3m_bail(c3__fail); } else { u3_atom now = u3qc_cap(axe); u3_atom lat = u3qc_mas(axe); if ( 3 == now ) { u3_noun pec = u3qfu_perk(van, sut, way, pq_sut); u3_noun sam = u3h(pec); u3_noun con = u3t(pec); if ( c3y == c3a(sam, con) ) { pro = _cqfu_peek(van, p_sut, way, lat); } else { u3_noun typ; { u3_noun hed, tal; if ( c3n == sam ) { hed = c3__noun; } else { hed = _cqfu_peek(van, p_sut, way, 2); } if ( c3n == con ) { tal = c3__noun; } else { tal = _cqfu_peek(van, p_sut, way, 3); } typ = u3qf_cell(hed, tal); u3z(hed); u3z(tal); } pro = _cqfu_peek(van, typ, way, lat); u3z(typ); } u3z(pec); } else { pro = c3__noun; } u3z(lat); u3z(now); return pro; } } case c3__face: { if ( (c3n == u3r_trel(sut, 0, &p_sut, &q_sut)) ) { return u3m_bail(c3__fail); } else { return _peek_in(van, q_sut, way, axe, gil); } } case c3__fork: p_sut = u3t(sut); { u3_noun yed = u3qdi_tap(p_sut, u3_nul); u3_noun ret = u3kf_fork(_peek_fork(van, yed, way, axe, gil)); u3z(yed); return ret; } case c3__hold: { if ( (c3y == u3qdi_has(gil, sut)) ) { return c3__void; } else { u3_noun zoc = u3qdi_put(gil, sut); u3_noun fop = u3qfu_repo(van, sut); u3_noun pro = _peek_in(van, fop, way, axe, zoc); u3z(fop); u3z(zoc); return pro; } } } }
static u3_noun _fuse_in(u3_noun van, u3_noun sut, u3_noun ref, u3_noun bix) { u3_noun p_sut, q_sut; if ( c3y == u3r_sing(sut, ref) || (c3__noun == ref) ) { return u3k(sut); } if ( c3n == u3du(sut) ) switch ( sut ) { default: return u3m_bail(c3__fail); case c3__noun: { return u3k(ref); } case c3__void: { return c3__void; } } else switch ( u3h(sut) ) { default: return u3m_bail(c3__fail); case c3__atom: u3x_cell(u3t(sut), &p_sut, &q_sut); { if ( c3y == u3du(ref) ) { if ( c3__atom == u3h(ref) ) { u3_noun p_ref, q_ref; u3x_cell(u3t(ref), &p_ref, &q_ref); { u3_noun foc = (c3y == u3qf_fitz(p_ref, p_sut)) ? u3k(p_sut) : u3k(p_ref); if ( c3y == u3du(q_sut) ) { if ( c3y == u3du(q_ref) ) { if ( c3y == u3r_sing(q_ref, q_sut) ) { return u3nt(c3__atom, foc, u3k(q_sut)); } else { u3z(foc); return c3__void; } } else { return u3nt(c3__atom, foc, u3k(q_sut)); } } else { return u3nt(c3__atom, foc, u3k(q_ref)); } } } else if ( c3__cell == u3h(ref) ) { return c3__void; } } return _fuse_in(van, ref, sut, bix); } case c3__cell: u3x_cell(u3t(sut), &p_sut, &q_sut); { u3_noun p_ref, q_ref; if ( c3y == u3r_pq(ref, c3__cell, &p_ref, &q_ref) ) { u3_noun hed = _fuse_in(van, p_sut, p_ref, bix); u3_noun tal = _fuse_in(van, q_sut, q_ref, bix); u3_noun ret = u3qf_cell(hed, tal); u3z(hed); u3z(tal); return ret; } else return _fuse_in(van, ref, sut, bix); } case c3__core: { return _fuse_repo(van, sut, ref, bix); } case c3__help: u3x_cell(u3t(sut), &p_sut, &q_sut); { u3_noun vot = _fuse_in(van, q_sut, ref, bix); u3_noun ret = u3qf_help(p_sut, vot); u3z(vot); return ret; } case c3__face: u3x_cell(u3t(sut), &p_sut, &q_sut); { u3_noun vot = _fuse_in(van, q_sut, ref, bix); u3_noun ret = u3qf_face(p_sut, vot); u3z(vot); return ret; } case c3__fork: p_sut = u3t(sut); { u3_noun yed = u3qdi_tap(p_sut); u3_noun ret = u3kf_fork(_fuse_in_fork(van, yed, ref, bix)); u3z(yed); return ret; } case c3__hold: { u3_noun hud = u3nc(u3k(sut), u3k(ref)); if ( c3y == u3qdi_has(bix, hud) ) { // u3_noun dun = u3qfu_dunq(van, "type", sut); // u3_noun niz = u3qfu_dunq(van, "over", ref); // u3t_push(u3nc(c3__mean, dun)); // u3t_push(u3nc(c3__mean, niz)); return u3m_error("fuse-loop"); } else { u3_noun bux = u3qdi_put(bix, hud); u3_noun ret = _fuse_repo(van, sut, ref, bux); u3z(hud); u3z(bux); return ret; } } } }
static u3_noun _peek_in(u3_noun van, u3_noun sut, u3_noun way, u3_atom axe, u3_noun gil) { u3_noun p_sut, q_sut; u3_noun pro; if ( (c3n == u3du(sut)) ) switch ( sut ) { default: return u3m_bail(c3__fail); case c3__noun: { return c3__noun; } case c3__void: { return c3__void; } } else switch ( u3h(sut) ) { default: return u3m_bail(c3__fail); case c3__atom: { return c3__void; } case c3__cell: { if ( (c3n == u3r_trel(sut, 0, &p_sut, &q_sut)) ) { return u3m_bail(c3__fail); } else { u3_atom tip = u3qc_cap(axe); u3_atom tap = u3qc_mas(axe); if ( 2 == tip ) { pro = _cqfu_peek(van, p_sut, way, tap); } else { pro = _cqfu_peek(van, q_sut, way, tap); } u3z(tap); u3z(tip); return pro; } } case c3__core: { u3_noun pq_sut, qq_sut, rq_sut; u3_noun prq_sut, qrq_sut; if ( (c3n == u3r_trel(sut, 0, &p_sut, &q_sut)) || (c3n == u3r_trel(q_sut, &pq_sut, &qq_sut, &rq_sut)) || (c3n == u3r_cell(rq_sut, &prq_sut, &qrq_sut)) ) { return u3m_bail(c3__fail); } else { u3_atom tip = u3qc_cap(axe); u3_atom tap = u3qc_mas(axe); if ( 3 == tip ) { if ( c3n == u3qfu_park(van, sut, way, tap) ) { // u3_noun dun = u3qfu_dunq(van, "type", sut); u3_noun waz = u3qfu_shep (van, "axis", 'd', u3k(axe)); // u3t_push(u3nc(c3__mean, dun)); u3t_push(u3nc(c3__mean, waz)); return u3m_error("peek-park"); } else pro = _cqfu_peek(van, p_sut, way, tap); } else { pro = c3__noun; } u3z(tap); u3z(tip); return pro; } } case c3__face: { if ( (c3n == u3r_trel(sut, 0, &p_sut, &q_sut)) ) { return u3m_bail(c3__fail); } else { return _peek_in(van, q_sut, way, axe, gil); } } case c3__fork: p_sut = u3t(sut); { u3_noun yed = u3qdi_tap(p_sut, u3_nul); u3_noun ret = u3kf_fork(_peek_fork(van, yed, way, axe, gil)); u3z(yed); return ret; } case c3__hold: { if ( (c3y == u3qdi_has(gil, sut)) ) { return c3__void; } else { u3_noun zoc = u3qdi_put(gil, sut); u3_noun fop = u3qfu_repo(van, sut); u3_noun pro = _peek_in(van, fop, way, axe, zoc); u3z(fop); u3z(zoc); return pro; } } } }