@fraczak/k 6.1.3 → 6.2.0

package/a.k

@@ -1,138 +0,0 @@
------ codes -----
-$ 2aks = {VtPH "factor", Envk "i"};
-$ 2xPW = {PHbG "r", VtPH "x"};
-$ 33dY = {VtPH "_x", VtPH "result", VtPH "y"};
-$ 6d2A = {NiDZ "if", nh8T "then"};
-$ 8MHR = {VtPH "if", 9bLM "then"};
-$ 9bLM = < NiDZ "no", NiDZ "yes" >;
-$ CuVs = {VtPH "k", VtPH "x"};
-$ ERx5 = {Mjus "c", VtPH "x", VtPH "y"};
-$ Envk = {VtPH "log", Nws3 "res", VtPH "step", VtPH "x"};
-$ EvuD = {VtPH "if", VtPH "then"};
-$ F7RN = < NiDZ "+", NiDZ "-" >;
-$ FL4i = {nh8T "res_wo_sign", F7RN "sign"};
-$ H24y = {VtPH "if", Nws3 "then"};
-$ Hj9J = {NiDZ "if", Nws3 "then"};
-$ KxW7 = {VtPH "log", VtPH "step", VtPH "x"};
-$ Ljf9 = {VtPH "car", PHbG "cdr"};
-$ Mjus = < NiDZ "0", NiDZ "1" >;
-$ NiDZ = {};
-$ Nws3 = < VtPH "+", VtPH "-" >;
-$ PHbG = < Ljf9 "cons", NiDZ "nil" >;
-$ R7RD = {VtPH "x", VtPH "y"};
-$ RLhu = {NiDZ "if", R7RD "then"};
-$ RknV = {VtPH "if", PHbG "then"};
-$ S5nE = {Nws3 "int", muqD "rat"};
-$ TcsE = {muqD "x", muqD "y"};
-$ Thzc = {VtPH "r", VtPH "x"};
-$ UFVU = {VtPH "_x", Nws3 "k"};
-$ Vc85 = {Nws3 "x", Nws3 "y"};
-$ VtPH = < VtPH "0", VtPH "1", NiDZ "_" >;
-$ WWuP = {muqD "x", Nws3 "y"};
-$ YeUu = {VtPH "and", VtPH "if"};
-$ YfKH = {VtPH "d", VtPH "n"};
-$ ZLDk = {VtPH "step", VtPH "x"};
-$ bSFt = {NiDZ "and", VtPH "if", VtPH "then"};
-$ dXdV = {9bLM "inOrder", VtPH "x", VtPH "y"};
-$ eYsq = {NiDZ "if", VtPH "then"};
-$ hJHA = {R7RD "if", VtPH "then"};
-$ hPpx = {Nws3 "if", nh8T "then"};
-$ muqD = {Nws3 "d", Nws3 "n"};
-$ nPgb = {Nws3 "lcm", muqD "x", muqD "y"};
-$ nh8T = {Nws3 "div", VtPH "rem"};
-$ nhfK = {VtPH "and", VtPH "if", VtPH "then"};
-$ prGg = {Vc85 "fib(n),fib(n.1)", VtPH "n"};
-$ s7Sd = {Nws3 "res", VtPH "step", VtPH "x"};
-$ sqr8 = {VtPH "if", F7RN "then"};
-$ uMrJ = {VtPH "if", muqD "then"};
-$ yYPm = {VtPH "result", F7RN "sign"};
-$ zLbj = {Nws3 "d", nh8T "div", Nws3 "n"};
------ rels -----
-8jvS = ?(...) 4Uqf mx7B ?<<$NiDZ _, ...> 0, ...>;
-TLyi = ?(...) 8jvS 7GtG $VtPH;
-2ezj = ?(...) TLyi 7GtG $VtPH;
-BHYs = ?(...) 2ezj 7GtG $VtPH;
-XeYK = ?(...) BHYs 7GtG $VtPH;
-ycSP = ?(...) XeYK 7GtG $VtPH;
-c3fq = ?(...) ycSP 7GtG $VtPH;
-ANDv = ?(...) c3fq 7GtG $VtPH;
-BASZ = ?(...) ANDv 7GtG $VtPH;
-Je6N = ?(...) BASZ 7GtG $VtPH;
-PaZn = ?(...) Je6N 7GtG $VtPH;
-8Wzq = ?(...) PaZn 7GtG $VtPH;
-7gmR = ?(...) 8Wzq 7GtG $VtPH;
-SCqj = ?<$NiDZ no, $NiDZ yes, ...> </yes |no, /no |yes> $9bLM;
-KWT2 = ?(...) {} |yes $9bLM;
-7RTv = ?(...) KWT2 SCqj $9bLM;
-L8iN = ?<{(...) car, X0 cdr} cons, $NiDZ nil>=X0 () ?<{(...) car, X0 cdr} cons, $NiDZ nil>=X0;
-tyxZ = ?(...) {} |nil ?<{(...) car, X0 cdr} cons, $NiDZ nil>=X0;
-C9mM = ?(...) {() car, tyxZ cdr} |cons ?<{(...) car, X0 cdr} cons, $NiDZ nil>=X0;
-w6w6 = ?{X0 car, <{X0 car, X1 cdr} cons, $NiDZ nil>=X1 cdr, ...} {.car car, .cdr cdr} |cons ?<{(...) car, X0 cdr} cons, $NiDZ nil>=X0;
-jhbb = ?<{(...) car, X0 cdr} cons, $NiDZ nil>=X0 /nil tyxZ ?<{(...) car, X0 cdr} cons, $NiDZ nil>=X0;
-UY5b = ?<{(...) car, X0 cdr} cons, $NiDZ nil>=X0 /cons .car ?(...);
-S7xP = ?<{(...) car, X0 cdr} cons, $NiDZ nil>=X0 /cons .cdr ?<{(...) car, X0 cdr} cons, $NiDZ nil>=X0;
-4Uqf = ?(...) {} |_ ?<$NiDZ _, ...>;
-J6xt = ?(...) |1 ?<(...) 1, ...>;
-mx7B = ?(...) |0 ?<(...) 0, ...>;
-7GtG = $VtPH {4YaF x, 4Uqf y} JfKb $VtPH;
-ZTFs = $VtPH </_ KWT2, 7RTv> $9bLM;
-AkEL = $VtPH {ZTFs /yes if, () then} .then $VtPH;
-fKyL = $R7RD {.x 4YaF x, .y y} N8w3 $VtPH;
-N8w3 = $R7RD <{.x /0 x, .y mx7B y} N8w3, {.x /1 x, .y J6xt y} N8w3, .y> $VtPH;
-4YaF = $VtPH {() x, 4Uqf r} NbnA $VtPH;
-NbnA = $Thzc <{.x /0 x, .r mx7B r} NbnA, {.x /1 x, .r J6xt r} NbnA, .r> $VtPH;
-vbhA = $R7RD {.x 4YaF x, .y 4YaF y, KWT2 inOrder} CaAi $9bLM;
-CaAi = $dXdV <{.x /0 x, .y /0 y, .inOrder inOrder} CaAi, {.x /1 x, .y /1 y, .inOrder inOrder} CaAi, {.x /0 x, .y /1 y, .inOrder inOrder} CaAi, {.x /1 y, .y /0 x, .inOrder SCqj inOrder} CaAi, {.x </0, /1> if, .inOrder SCqj then} .then, .inOrder> $9bLM;
-6rrB = $R7RD {vbhA /no if, () then} .then $R7RD;
-y3WV = $R7RD 6rrB {.x y, .y x} 6rrB $R7RD;
-fSRE = $VtPH {4YaF x, tyxZ r} 9hTs $PHbG;
-9hTs = ?{$PHbG r, $VtPH x, ...} <{.x AkEL if, .r then} .then, {.x /0 x, {8jvS car, .r cdr} w6w6 r} 9hTs, {.x /1 x, {TLyi car, .r cdr} w6w6 r} 9hTs> $PHbG;
-Ywaf = ?<{<(...) 0, (...) 1, ...> car, X0 cdr} cons, $NiDZ nil>=X0 <S7xP <{UY5b /0 if, S7xP Ywaf mx7B then} .then, {UY5b /1 if, S7xP Ywaf J6xt then} .then>, 4Uqf> $VtPH;
-Prn6 = ?<X0 0, ...>=X0 </0 Prn6, ()> ?<X0 0, ...>=X0;
-xX22 = $VtPH Prn6 <AkEL 8jvS, ()> $VtPH;
-Phke = $VtPH xX22 |+ $Nws3;
-xdAf = $Nws3 </+, /-> $VtPH;
-JyBD = $Nws3 {7sp2 /+ if, () then} .then $Nws3;
-BzLM = $Nws3 {/- if, () then} .then $Nws3;
-NxZn = $Nws3 {/+ /0 AkEL if, () then} .then $Nws3;
-NKnM = $Nws3 {/- /1 AkEL if, () then} .then $Nws3;
-6VKZ = $Nws3 </+ {4YaF x, 4Uqf y} JfKb |+, NKnM 8jvS Phke, /- {4YaF x, 4Uqf y} 9Cyq |-> $Nws3;
-JfKb = $R7RD <{.x /0 x, .y J6xt y} N8w3, {.x /1 x, .y mx7B y} JfKb, .y J6xt> $VtPH;
-7sp2 = $Nws3 <NxZn TLyi |-, /+ {4YaF x, 4Uqf y} 9Cyq |+, /- {4YaF x, 4Uqf y} JfKb |-> $Nws3;
-9Cyq = ?{$VtPH x, $VtPH y, ...} <{.x /1 x, .y mx7B y} N8w3, {.x /0 x, .y J6xt y} 9Cyq> $VtPH;
-vvzA = ?(...) {} |0 $Mjus;
-nXAf = ?(...) {} |1 $Mjus;
-APnt = $Vc85 <{.x /+ 4YaF x, .y /+ 4YaF y, vvzA c} 73G3 4YaF xX22 |+, {.x /- 4YaF x, .y /- 4YaF y, vvzA c} 73G3 4YaF xX22 |-, {.y /- x, .x /+ y} 6rrB {.x 4YaF x, .y 4YaF y, vvzA c} 3kn7 4YaF xX22 |-, {.x /+ 4YaF x, .y /- 4YaF y, vvzA c} 3kn7 4YaF xX22 |+, {.x /- x, .y /+ y} 6rrB {.x 4YaF x, .y 4YaF y, vvzA c} 3kn7 4YaF xX22 |-, {.y /+ 4YaF x, .x /- 4YaF y, vvzA c} 3kn7 4YaF xX22 |+> $Nws3;
-4ZfX = $Nws3 <NxZn, /+ |-, /- |+> $Nws3;
-kBAy = $Vc85 {.x x, .y 4ZfX y} APnt $Nws3;
-73G3 = $ERx5 <{.x AkEL if, .y AkEL and, <.c /0 8jvS, TLyi> then} .then, {.x AkEL if, .c /0 and, .y then} .then, {.x y, .y AkEL x, .c c} 73G3, {<.c /0 8jvS, TLyi> x, .y y, .x AkEL vvzA c} 73G3, {.x /0 x, .y /0 y, .c /0 vvzA c} 73G3 mx7B, {.x /0 x, .y /0 y, .c /1 vvzA c} 73G3 J6xt, {.x /0 x, .y /1 y, .c /0 vvzA c} 73G3 J6xt, {.x /0 x, .y /1 y, .c /1 nXAf c} 73G3 mx7B, {.x /1 x, .y /0 y, .c /0 vvzA c} 73G3 J6xt, {.x /1 x, .y /0 y, .c /1 nXAf c} 73G3 mx7B, {.x /1 x, .y /1 y, .c /0 nXAf c} 73G3 mx7B, {.x /1 x, .y /1 y, .c /1 nXAf c} 73G3 J6xt> $VtPH;
-3kn7 = $ERx5 <{.x then, .y AkEL if, .c /0 and} .then, {.x /1 then, .y AkEL if, .c /1 and} .then mx7B, {.x /0 x, .y AkEL y, .c /1 nXAf c} 3kn7 J6xt, {.x /0 x, .y /0 y, .c /0 vvzA c} 3kn7 mx7B, {.x /0 x, .y /0 y, .c /1 nXAf c} 3kn7 J6xt, {.x /0 x, .y /1 y, .c /0 nXAf c} 3kn7 J6xt, {.x /0 x, .y /1 y, .c /1 nXAf c} 3kn7 mx7B, {.x /1 x, .y /0 y, .c /0 vvzA c} 3kn7 J6xt, {.x /1 x, .y /0 y, .c /1 vvzA c} 3kn7 mx7B, {.x /1 x, .y /1 y, .c /0 vvzA c} 3kn7 mx7B, {.x /1 x, .y /1 y, .c /1 nXAf c} 3kn7 J6xt> $VtPH;
-NiRD = ?(...) {} |+ $F7RN;
-u9uY = ?(...) {} |- $F7RN;
-JEEj = $Nws3 </+ NiRD, /- u9uY> $F7RN;
-3PYm = $Vc85 {<{.x /+ if, .y /+ and} NiRD, {.x /- if, .y /- and} NiRD, u9uY> sign, {8jvS result, .x xdAf 4YaF _x, .y xdAf y} 9bpS result} <{.sign /+ if, .result 4YaF Phke then} .then, {.sign /- if, .result 4YaF Phke 4ZfX then} .then> $Nws3;
-9bpS = $33dY <{.y AkEL if, .result then} .then, {.result mx7B result, ._x _x, .y /0 y} 9bpS, {{._x x, .result mx7B y, vvzA c} 73G3 result, ._x _x, .y /1 y} 9bpS> $VtPH;
-TPzm = $R7RD _log! <{.y x, .x y} 6rrB .y, {{{.x Phke x, .y Phke y} kBAy /+ x, .y 4YaF mx7B 4YaF y} TPzm x, .y y} TPzm> $VtPH;
-Vs6b = $R7RD <{.y x, .x y} 6rrB, ()> Ah93 $VtPH;
-Ah93 = $R7RD <{.y /0 if, .x then} .then, {.y x, TPzm y} Ah93> $VtPH;
-nB9M = $ZLDk {.x x, .step step, 8jvS log} 5ivr $VtPH;
-5ivr = ?{$VtPH log, $VtPH step, $VtPH x, ...} <{{.step x, .x y} 6rrB if, .log then} .then, {.x x, {.step x, 8jvS y} 6rrB {.x x, 2ezj y} {.x Phke x, .y Phke y} 3PYm xdAf step, .log Phke 6VKZ xdAf log} 5ivr> $VtPH;
-MTKW = $CuVs {.x 4YaF _x, .k Phke k} au4T 4YaF $VtPH;
-au4T = ?{<X0 0, ...>=X0 _x, $Nws3 k, ...} <{.k NxZn if, ._x then} .then, {._x mx7B _x, .k 7sp2 k} au4T> ?<X0 0, ...>=X0;
-Bs2e = $Vc85 {<{.x /+ if, .y JEEj then} .then, {.x /- if, .y 4ZfX JEEj then} .then> sign, {.x xdAf x, .y xdAf step, 8jvS Phke res} 8Dwz res_wo_sign} <{.sign /+ if, {.res_wo_sign .div div, .res_wo_sign .rem rem} then} .then, {.res_wo_sign .div 4ZfX div, .res_wo_sign .rem rem}> $nh8T;
-8Dwz = ?{$Nws3 res, $VtPH step, $VtPH x, ...} {.x x, .step step, .res res, {.x x, .step step} nB9M log} <{.log Phke NxZn if, {.res div, .x rem} then} .then, {{TLyi x, .log Phke 7sp2 xdAf k} MTKW factor, () i} {{.i .x Phke x, {.i .step Phke x, .factor Phke y} 3PYm y} kBAy xdAf x, .i .step step, {.i .res x, .factor Phke y} APnt res} 8Dwz> $nh8T;
-GSLa = $R7RD {{.x Phke x, .y Phke y} 3PYm x, Vs6b Phke y} Bs2e .div xdAf $VtPH;
-FaWv = $Nws3 <NxZn TLyi Phke, /+ Phke {7sp2 FaWv x, () y} 3PYm> $Nws3;
-HZYv = ?{$Vc85"fib(n),fib(n.1)", $VtPH n, ...} <{.n Phke 7sp2 /+ n, ."fib(n),fib(n.1)" {APnt x, .x y}"fib(n),fib(n.1)"} HZYv, ."fib(n),fib(n.1)"> $Vc85;
-aUJp = $VtPH {() n, {TLyi Phke x, 8jvS Phke y}"fib(n),fib(n.1)"} HZYv .x $Nws3;
-sghj = $YfKH {.n Phke n, .d Phke d} 2zFi $muqD;
-2zFi = $muqD <{.d /- if, {.n 4ZfX n, .d 4ZfX d} then} .then, ()> {() x, {.n xdAf x, .d xdAf y} Vs6b Phke y} {{.x .n x, .y y} Bs2e .div n, {.x .d x, .y y} Bs2e .div d} $muqD;
-Jn92 = $TcsE {.x x, .y y, {.x .d xdAf x, .y .d xdAf y} GSLa Phke lcm} {{{.x .n x, {.lcm x, .x .d y} Bs2e .div y} 3PYm x, {.y .n x, {.lcm x, .y .d y} Bs2e .div y} 3PYm y} APnt n, .lcm d} 2zFi $muqD;
-2Uyd = $TcsE {{.x .n x, .y .n y} 3PYm n, {.x .d x, .y .d y} 3PYm d} 2zFi $muqD;
-uRTk = $TcsE {.x x, .y {.n 4ZfX n, .d d} y} Jn92 $muqD;
-FtdC = $muqD {.d n, .n d} 2zFi $muqD;
-MH4q = $TcsE {.x x, .y FtdC y} 2Uyd $muqD;
-8jRf = $muqD {.n n, .d d, {.n x, .d y} Bs2e div} {.div .div int, {.div .rem Phke n, .d d} rat} $S5nE;
-
-()
-