@fraczak/k 6.1.1 → 6.1.3

package/NAT.k~

@@ -0,0 +1,452 @@
+-- Examples for defining arithmetic functions natively
+$ yes_no = < {} yes, {} no >;
+swap_yes_no = < /yes |no, /no |yes > $yes_no;
+yes = {}|yes $yes_no;
+no = yes swap_yes_no;
+
+list? = ?< {} nil, {X car, Y cdr} cons > = Y;
+nil = {}|nil list?;
+singleton = {() car, nil cdr} |cons list?;
+cons = {.car car, .cdr cdr} |cons list?;
+nil? = list? / nil nil;
+car = list? /cons .car;
+cdr = list? /cons .cdr;
+
+$ bits = < {} _, bits 0, bits 1 >;
+
+0b = {} | _;
+1_ = | 1;
+0_ = | 0;
+
+0 = 0b 0_;
+succ = {inv x, 0b y} _inc;
+1 = 0 succ;
+2 = 1 succ;
+3 = 2 succ;
+4 = 3 succ;
+5 = 4 succ;
+6 = 5 succ;
+7 = 6 succ;
+8 = 7 succ;
+9 = 8 succ;
+10 = 9 succ;
+11 = 10 succ;
+12 = 11 succ;
+
+empty = $bits < /_ yes, no >;
+empty? = {empty /yes if, () then} .then;
+
+concat = ${bits x, bits y} {.x inv x, .y y} concat_; 
+concat_ = ${bits x, bits y} 
+  < 
+    {.x /0 x, .y 0_ y} concat_, 
+    {.x /1 x, .y 1_ y} concat_, 
+    .y 
+  >;
+inv = {()x, 0b r} _inv; 
+_inv = ${bits x, bits r} < {.x /0 x, .r 0_ r} _inv, {.x /1 x, .r 1_ r} _inv, .r >;
+
+inOrder = ${bits x, bits y} {.x inv x, .y inv y, yes inOrder} inOrder_;
+inOrder_ = ${bits x, bits y, yes_no inOrder} 
+  < 
+    {.x /0 x, .y /0 y, .inOrder inOrder} inOrder_, 
+    {.x /1 x, .y /1 y, .inOrder inOrder} inOrder_,
+    {.x /0 x, .y /1 y, .inOrder inOrder} inOrder_, 
+    {.x /1 y, .y /0 x, .inOrder swap_yes_no inOrder} inOrder_, 
+    {.x </0,/1> if, .inOrder swap_yes_no then} .then, 
+    .inOrder
+  >;
+
+GT = {inOrder /no if, () then} . then;
+
+EQ = GT {.x y, .y x} GT;
+
+toBitList = {inv x, nil r} _toBitList; 
+_toBitList = < 
+  {.x empty? if, .r then }.then, 
+  {.x /0 x, {0 car, .r cdr} cons r} _toBitList, 
+  {.x /1 x, {1 car, .r cdr} cons r} _toBitList 
+>;
+fromBitList =
+< 
+  cdr <
+    {car /0 if, cdr fromBitList 0_ then} .then, 
+    {car /1 if, cdr fromBitList 1_ then} .then
+  >, 
+  0b
+> $bits;
+
+--------------------------------------
+$ int = < bits '+', bits '-' >;
+
+remove_leading_zeros = <
+  /0 remove_leading_zeros, 
+  ()
+>;
+nat = remove_leading_zeros <empty? 0, ()>;
+int = nat | '+' $int;
+abs = $int </'+',/'-'>;
+
+pos? = $int {dec /'+' if, () then} .then;
+neg? = $int {/'-' if, () then} .then; 
+zero_int? = $int {/'+' /0 empty? if, () then} .then;
+minus_one? = $int {/'-' /1 empty? if, () then} .then;
+
+inc = $int <
+  /'+' {inv x, 0b y} _inc |'+',
+  minus_one? 0 int,
+  /'-' {inv x, 0b y} _dec |'-'
+>;
+
+_inc = ${bits x, bits y} <
+    {.x /0 x, .y 1_ y} concat_, 
+    {.x /1 x, .y 0_ y} _inc,
+    .y 1_
+>; 
+
+dec = $int <
+  zero_int? 1 |'-',
+  /'+' {inv x, 0b y} _dec |'+',
+  /'-' {inv x, 0b y} _inc |'-'
+> $int;
+
+_dec = ?{X x, X y, ...} <
+    {.x /1 x, .y 0_ y} concat_, 
+    {.x /0 x, .y 1_ y} _dec
+> ?X;
+
+$carry = <{} 0, {} 1>;
+c0 = {}|0 $carry;
+c1 = {}|1 $carry;
+
+plus = ${int x, int y}
+< 
+  {.x/'+' inv x, .y/'+' inv y, c0 c } _plus inv nat | '+',
+  {.x/'-' inv x, .y/'-' inv y, c0 c } _plus inv nat | '-',
+  {.y/'-' x, .x/'+' y} GT {.x inv x, .y inv y, c0 c} _minus inv nat | '-',
+  {.x/'+' inv x, .y/'-' inv y, c0 c} _minus inv nat |'+',
+  {.x/'-' x, .y/'+' y} GT {.x inv x, .y inv y, c0 c} _minus inv nat | '-',
+  {.y/'+' inv x, .x/'-' inv y, c0 c} _minus inv nat | '+'
+> 
+$int;
+
+swap_sign = <
+  zero_int?,
+  /'+' | '-',
+  /'-' | '+'
+>;
+
+minus = ${int x, int y}
+  {.x x, .y swap_sign y} plus;
+
+_plus =
+  -- least significant bit first addition with carry
+  ${bits x, bits y, carry c}
+  <
+    {.x empty? if, .y empty? and, <.c/0 0, 1> then} .then,
+    {.x empty? if, .c/0 and, .y then} .then,
+
+    {.x y, .y empty? x, .c c} _plus,
+    {<.c/0 0, 1> x, 
+              .y y, .x empty? c0 c} _plus,
+
+    {.x /0 x, .y /0 y, .c/0 c0 c} _plus 0_,
+    {.x /0 x, .y /0 y, .c/1 c0 c} _plus 1_,
+
+    {.x /0 x, .y /1 y, .c/0 c0 c} _plus 1_,
+    {.x /0 x, .y /1 y, .c/1 c1 c} _plus 0_,
+    {.x /1 x, .y /0 y, .c/0 c0 c} _plus 1_,
+    {.x /1 x, .y /0 y, .c/1 c1 c} _plus 0_,
+
+    {.x /1 x, .y /1 y, .c/0 c1 c} _plus 0_,
+    {.x /1 x, .y /1 y, .c/1 c1 c} _plus 1_
+  >
+;
+
+_minus =
+  -- least significat bit first substraction with carry
+  ${bits x, bits y, carry c}
+  <
+    {.x then, .y empty? if, .c/0 and} .then,
+    {.x/1 then, .y empty? if, .c/1 and} .then 0_,
+    {.x/0 x, .y empty? y, .c/1 c1 c} _minus 1_,
+    {.x/0 x, .y/0   y, .c/0 c0 c} _minus 0_,
+    {.x/0 x, .y/0   y, .c/1 c1 c} _minus 1_,  
+    {.x/0 x, .y/1   y, .c/0 c1 c} _minus 1_,
+    {.x/0 x, .y/1   y, .c/1 c1 c} _minus 0_,
+    {.x/1 x, .y/0   y, .c/0 c0 c} _minus 1_,
+    {.x/1 x, .y/0   y, .c/1 c0 c} _minus 0_,
+    {.x/1 x, .y/1   y, .c/0 c0 c} _minus 0_,
+    {.x/1 x, .y/1   y, .c/1 c1 c} _minus 1_
+  >
+;
+
+$ sign = < {} '+' , {} '-' >;
+sign_plus = {}|'+' $sign;
+sign_minus = {}|'-' $sign;
+get_sign = $int </'+' sign_plus, /'-' sign_minus>;
+
+times = ${int x, int y}
+  {
+    <
+      {.x/'+' if, .y /'+' and} sign_plus, 
+      {.x/'-' if, .y /'-' and} sign_plus, 
+      sign_minus
+    > sign,
+    {
+      0 result,
+      .x abs inv _x,
+      .y abs y
+    } _times result
+  }
+  <
+    {.sign/'+' if, .result inv int then} .then,
+    {.sign/'-' if, .result inv int swap_sign then} .then 
+  >
+;
+
+_times =
+  ${bits result, bits _x, bits y}
+  <
+    { .y empty? if, .result then } .then,
+    { 
+      .result 0_ result, 
+      ._x _x, 
+      .y /0 y
+    } _times,
+    { 
+      {._x x, .result 0_ y, c0 c } _plus result, 
+      ._x _x, 
+      .y /1 y 
+    } _times
+  >
+;
+
+
+mod =
+  ${bits x, bits y}
+  _log!
+  < 
+    -- if y > x then (x mod y) = x 
+    {.y x, .x y} GT .y,
+    -- else, i.e.
+    -- if x >= y then (x mod y) = ((x-y mod 2y) mod y)
+    { 
+      {  
+        {.x int x, .y int y} minus /"+" x, 
+        .y inv 0_ inv y
+      } mod x, 
+      .y y 
+    } mod
+  >
+; 
+
+
+// gratest common divisor
+gcd = ${bits x, bits y}
+  <
+    {.y x, .x y} GT, 
+    ()
+  > _gcd
+;
+
+_gcd = <
+  { .y /0 if, .x then } .then,
+  { .y x, mod y } _gcd
+>;
+
+
+
+// div
+
+log2_floor =
+  ${bits x, bits step} 
+-- finds the largest k, such that 'step * 2^k <= x',
+-- returns k1_, i.e., 0 if x < step, and k1_ otherwise.
+  {.x x, .step step, 0 log} log2_floor_;
+
+log2_floor_ = <
+  {{.step x,.x y} GT if, .log then} .then,
+  {.x x, {.step x,0 y} GT {.x x,2 y} {.x int x, .y int y} times abs step, .log int inc abs log} log2_floor_
+>;
+
+
+x_times_2_to_k =
+  ${bits x, bits k}
+  {.x inv _x, .k int k} _x_times_2_to_the_power_of_k inv
+;
+
+_x_times_2_to_the_power_of_k = <
+  {.k zero_int? if, ._x then} .then,
+  {._x 0_ _x, .k dec k} _x_times_2_to_the_power_of_k
+>
+;
+ 
+div = 
+  ${int x, int y} 
+  // remember sign
+  {
+    <
+      { .x/'+' if, .y get_sign then } .then,
+      { .x/'-' if, .y  swap_sign get_sign then } .then
+    > sign,
+    {.x abs x, .y abs step, 0 int res} _div res_wo_sign
+  }
+  < 
+    {.sign/'+' if, {.res_wo_sign.div div, .res_wo_sign.rem rem} then} .then,
+    { .res_wo_sign.div swap_sign div, .res_wo_sign.rem rem }
+  > 
+  ;
+
+_div =
+  {
+    .x x,
+    .step step,
+    .res res,
+    {.x x, .step step} log2_floor log
+  }
+  < 
+    { .log int zero_int? if, {.res div, .x rem} then } .then,
+    { 
+      {1 x, .log int dec abs k} x_times_2_to_k factor,
+      () i
+    }
+    {
+      {.i.x int x, {.i.step int x, .factor int y} times y} minus abs x, 
+      .i.step step, 
+      {.i.res x, .factor int y} plus res
+    } _div
+  >;
+
+
+lcm = 
+  ${bits x, bits y}
+  {{.x int x, .y int y} times x, gcd int y} div .div abs
+;
+
+ factorial = <
+  zero_int? 1 int,
+  /"+" int {dec factorial x, () y} times
+>;
+
+fib_ =
+  <
+    { .n int dec /"+" n,
+      ."fib(n),fib(n.1)" {plus x, .x y} "fib(n),fib(n.1)"
+    } fib_,
+    ."fib(n),fib(n.1)"
+  >
+;
+
+fib = {$bits n, {1 int x, 0 int y} "fib(n),fib(n.1)"} fib_ .x;
+
+
+--------------------
+$ rat = { int n, int d };
+
+rat = ${bits n, bits d} {.n int n, .d int d } normalize_rat;
+
+normalize_rat =
+  $rat 
+  < 
+    { .d/"-" if, 
+      {
+        .n swap_sign n, 
+        .d swap_sign d
+      } then
+     } .then,
+    ()
+  >
+  {() x, {.n abs x,.d abs y} gcd int y}
+  {
+    {.x.n x,.y y} div .div n, 
+    {.x.d x,.y y} div .div d
+  }
+  $rat
+;
+
+
+plus_rat = 
+  ${rat x, rat y}
+  { 
+    .x x, 
+    .y y,
+    {.x.d abs x,.y.d abs y} lcm int lcm
+  }
+  { 
+    {
+      {.x.n x, {.lcm x, .x.d y} div .div y} times x,
+      {.y.n x, {.lcm x, .y.d y} div .div y} times y
+     } plus n, 
+    .lcm d
+  }
+  normalize_rat
+;
+
+
+times_rat = 
+  ${rat x, rat y}
+  { 
+    {.x.n x,.y.n y} times n, 
+    {.x.d x,.y.d y} times d
+  } 
+  normalize_rat;
+ 
+
+minus_rat = 
+  ${rat x, rat y}
+  {
+    .x x, 
+    .y {.n swap_sign n, .d d} y
+  } 
+  plus_rat;
+
+inverse_rat = 
+  $rat
+  { .d n, .n d }
+  normalize_rat
+;
+
+div_rat = 
+  ${rat x, rat y}
+  { .x x, .y inverse_rat y} times_rat
+;
+
+
+--------------------
+
+int_rat = 
+  $rat 
+  { .n n, .d d, {.n x,.d y} div div }
+  { .div.div int, {.div.rem int n, .d d} rat}
+  ${int int, rat rat}
+;
+
+/* 
+ratToString = 
+-- $rat
+[
+    .n toJSON, 
+    "/", 
+    .d toJSON, 
+    " = ",
+    normalize_rat
+    <
+      [.d,.n] GT [.1 toJSON ,"/", .0 toJSON] CONCAT,
+      {.n 0,[.d,1] EQ 1} [.0 toJSON] CONCAT,
+      int_rat [.int toJSON,"+",.rat.n toJSON,"/",.rat.d toJSON] CONCAT
+    >
+  ] CONCAT
+-- $@string
+;
+
+_rat! = $rat {
+  () carryOn, 
+  ratToString _log! drop
+ } .carryOn;
+
+
+
+*/
+
+times

package/README.md

@@ -40,13 +40,12 @@ numbers are either `0` or one more than another natural number:
 
 ```k
 $ nat = < {} 0, nat +1 >;
-
-zero = {} |0;
-inc = |+1;
-
-add = ?X <
-  { .x /+1 x, .y inc y } ?X add,
-  .y
+0 = {} | 0 $ nat ;
+inc = | +1 $ nat ;
+dec = $ nat / +1 ;       # undefined for '0'
+add = $ { nat x, nat y } <
+  { . x dec x, . y inc y } add,    # defined if 'x > 0'
+  . y                              # else, return 'y'
 >;
 ```
 
@@ -240,7 +239,7 @@ Still evolving:
 - optimization and backend experiments
 - larger real-world examples
 
-## Good Areas For Contributors
+## Good Areas for Contributors
 
 k is small enough to study, but there are several useful directions:
 

package/UU/ta.k

@@ -0,0 +1 @@
+$bit 

package/a.k

@@ -0,0 +1,138 @@
+----- 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;
+
+()
+