chore: format examples

examples/clock.wy

@@ -15,123 +15,123 @@
 吾有一數。名之曰「比例」。
 
 若「半橫」小於「半縱」者。
- 昔之「比例」者。今「半橫」是矣。
+ 昔之「比例」者。今「半橫」是矣。
 若非。
- 昔之「比例」者。今「半縱」是矣。
+ 昔之「比例」者。今「半縱」是矣。
 云云。
 
 吾有一術。名之曰「縱坐標」。欲行是術。必先得一數。曰「南」。是術曰。
- 乘「南」以「比例」。減其於「半縱」。乃得矣。
+ 乘「南」以「比例」。減其於「半縱」。乃得矣。
 是謂「縱坐標」之術也。
 
 吾有一術。名之曰「橫坐標」。欲行是術。必先得一數。曰「東」。是術曰。
- 乘「東」以「比例」。減其於「半橫」。乃得矣。
+ 乘「東」以「比例」。減其於「半橫」。乃得矣。
 是謂「橫坐標」之術也。
 
 吾有一術。名之曰「極坐標」。欲行是術。必先得二數。曰「距」。曰「角」。是術曰。
- 施「餘弦」於「角」。乘其以「距」。取一以施「縱坐標」。名之曰「縱」。
- 施「正弦」於「角」。乘其以「距」。取一以施「橫坐標」。名之曰「橫」。
- 吾有一物。名之曰「坐標」。其物如是。
- 物之「「橫」」者。數曰「橫」。
- 物之「「縱」」者。數曰「縱」。
- 是謂「坐標」之物也。乃得「坐標」。
+ 施「餘弦」於「角」。乘其以「距」。取一以施「縱坐標」。名之曰「縱」。
+ 施「正弦」於「角」。乘其以「距」。取一以施「橫坐標」。名之曰「橫」。
+ 吾有一物。名之曰「坐標」。其物如是。
+ 物之「「橫」」者。數曰「橫」。
+ 物之「「縱」」者。數曰「縱」。
+ 是謂「坐標」之物也。乃得「坐標」。
 是謂「極坐標」之術也。
 
 吾有一術。名之曰「畫鐘面」。
 欲行是術。必先得一物。曰「紙」。一數。曰「半徑」。
 是術曰。
 
- 有數一千零二十四。名之曰「割圓」。
- 夫「半徑」。夫零。取二以施「極坐標」。名之曰「始坐標」。
- 夫「紙」。夫「始坐標」之「「橫」」。夫「始坐標」之「「縱」」。取三以施「落筆」。
-
- 有數一。名之曰「甲」。
- 為是「割圓」遍。
- 除「甲」以「割圓」。乘其以「倍圓周率」。名之曰「乙」。
- 夫「半徑」。夫「乙」。取二以施「極坐標」。名之曰「坐標」。
- 夫「紙」。夫「坐標」之「「橫」」。夫「坐標」之「「縱」」。取三以施「運筆」。
- 加「甲」以一。昔之「甲」者。今其是矣。
- 云云。
-
- 施「蘸色」於「紙」於「「鈦白」」。
- 施「設色」於「紙」。
- 施「蘸色」於「紙」於「「黑」」。
- 施「提筆」於「紙」。
-
- 有數零。名之曰「丙」。
-
- 為是六十遍。
- 除「丙」以六十。乘其以「倍圓周率」。名之曰「丁」。
- 夫「半徑」。夫「丁」。取二以施「極坐標」。名之曰「正刻外坐標」。
- 夫「紙」。夫「正刻外坐標」之「「橫」」。夫「正刻外坐標」之「「縱」」。取三以施「落筆」。
- 乘九分五於「半徑」。夫「丁」。取二以施「極坐標」。名之曰「正刻內坐標」。
- 夫「紙」。夫「正刻內坐標」之「「橫」」。夫「正刻內坐標」之「「縱」」。取三以施「運筆」。
- 施「提筆」於「紙」。
- 
- 加「丙」以一。昔之「丙」者。今其是矣。
- 云云。
- 
- 
- 有數零。名之曰「丙」。
- 
- 為是十二遍。
- 除「丙」以十二。乘其以「倍圓周率」。名之曰「戊」。
- 夫「半徑」。夫「戊」。取二以施「極坐標」。名之曰「初刻外坐標」。
- 夫「紙」。夫「初刻外坐標」之「「橫」」。夫「初刻外坐標」之「「縱」」。取三以施「落筆」。
- 乘八分五於「半徑」。夫「戊」。取二以施「極坐標」。名之曰「初刻內坐標」。
- 夫「紙」。夫「初刻內坐標」之「「橫」」。夫「初刻內坐標」之「「縱」」。取三以施「運筆」。
- 施「提筆」於「紙」。
-
- 加「丙」以一。昔之「丙」者。今其是矣。
- 云云。
- 
+ 有數一千零二十四。名之曰「割圓」。
+ 夫「半徑」。夫零。取二以施「極坐標」。名之曰「始坐標」。
+ 夫「紙」。夫「始坐標」之「「橫」」。夫「始坐標」之「「縱」」。取三以施「落筆」。
+
+ 有數一。名之曰「甲」。
+ 為是「割圓」遍。
+ 除「甲」以「割圓」。乘其以「倍圓周率」。名之曰「乙」。
+ 夫「半徑」。夫「乙」。取二以施「極坐標」。名之曰「坐標」。
+ 夫「紙」。夫「坐標」之「「橫」」。夫「坐標」之「「縱」」。取三以施「運筆」。
+ 加「甲」以一。昔之「甲」者。今其是矣。
+ 云云。
+
+ 施「蘸色」於「紙」於「「鈦白」」。
+ 施「設色」於「紙」。
+ 施「蘸色」於「紙」於「「黑」」。
+ 施「提筆」於「紙」。
+
+ 有數零。名之曰「丙」。
+
+ 為是六十遍。
+ 除「丙」以六十。乘其以「倍圓周率」。名之曰「丁」。
+ 夫「半徑」。夫「丁」。取二以施「極坐標」。名之曰「正刻外坐標」。
+ 夫「紙」。夫「正刻外坐標」之「「橫」」。夫「正刻外坐標」之「「縱」」。取三以施「落筆」。
+ 乘九分五於「半徑」。夫「丁」。取二以施「極坐標」。名之曰「正刻內坐標」。
+ 夫「紙」。夫「正刻內坐標」之「「橫」」。夫「正刻內坐標」之「「縱」」。取三以施「運筆」。
+ 施「提筆」於「紙」。
+
+ 加「丙」以一。昔之「丙」者。今其是矣。
+ 云云。
+
+
+ 有數零。名之曰「丙」。
+
+ 為是十二遍。
+ 除「丙」以十二。乘其以「倍圓周率」。名之曰「戊」。
+ 夫「半徑」。夫「戊」。取二以施「極坐標」。名之曰「初刻外坐標」。
+ 夫「紙」。夫「初刻外坐標」之「「橫」」。夫「初刻外坐標」之「「縱」」。取三以施「落筆」。
+ 乘八分五於「半徑」。夫「戊」。取二以施「極坐標」。名之曰「初刻內坐標」。
+ 夫「紙」。夫「初刻內坐標」之「「橫」」。夫「初刻內坐標」之「「縱」」。取三以施「運筆」。
+ 施「提筆」於「紙」。
+
+ 加「丙」以一。昔之「丙」者。今其是矣。
+ 云云。
+
 是謂「畫鐘面」之術也。
 
 吾有一術。名之曰「畫指針」。
 欲行是術。必先得一物。曰「紙」。五數。曰「角」。曰「針長」。曰「尾長」。曰「針角」。曰「尾角」。
 是術曰。
 
- 夫「針長」。加「針角」於「角」。取二以施「極坐標」。名之曰「甲」。
- 乘負一於「尾長」。減「尾角」於「角」。取二以施「極坐標」。名之曰「乙」。
- 乘負一於「尾長」。加「尾角」於「角」。取二以施「極坐標」。名之曰「丙」。
- 夫「針長」。減「針角」於「角」。取二以施「極坐標」。名之曰「丁」。
+ 夫「針長」。加「針角」於「角」。取二以施「極坐標」。名之曰「甲」。
+ 乘負一於「尾長」。減「尾角」於「角」。取二以施「極坐標」。名之曰「乙」。
+ 乘負一於「尾長」。加「尾角」於「角」。取二以施「極坐標」。名之曰「丙」。
+ 夫「針長」。減「針角」於「角」。取二以施「極坐標」。名之曰「丁」。
 
- 夫「紙」。夫「甲」之「「橫」」。夫「甲」之「「縱」」。取三以施「落筆」。
- 夫「紙」。夫「乙」之「「橫」」。夫「乙」之「「縱」」。取三以施「運筆」。
- 夫「紙」。夫「丙」之「「橫」」。夫「丙」之「「縱」」。取三以施「運筆」。
- 夫「紙」。夫「丁」之「「橫」」。夫「丁」之「「縱」」。取三以施「運筆」。
- 夫「紙」。夫「甲」之「「橫」」。夫「甲」之「「縱」」。取三以施「運筆」。
+ 夫「紙」。夫「甲」之「「橫」」。夫「甲」之「「縱」」。取三以施「落筆」。
+ 夫「紙」。夫「乙」之「「橫」」。夫「乙」之「「縱」」。取三以施「運筆」。
+ 夫「紙」。夫「丙」之「「橫」」。夫「丙」之「「縱」」。取三以施「運筆」。
+ 夫「紙」。夫「丁」之「「橫」」。夫「丁」之「「縱」」。取三以施「運筆」。
+ 夫「紙」。夫「甲」之「「橫」」。夫「甲」之「「縱」」。取三以施「運筆」。
 
- 施「蘸色」於「紙」於「「花青」」。
- 施「設色」於「紙」。
+ 施「蘸色」於「紙」於「「花青」」。
+ 施「設色」於「紙」。
 
 是謂「畫指針」之術也。
 
 吾有一術。名之曰「执笔」。是術曰。
 
- 施「(()=>document.getElementById("out").innerHTML="")」。
- 施「今何紀元時」。名之曰「紀元時」。
- 施「彼時何小時」於「紀元時」。名之曰「時」。
- 施「彼分何分」於「紀元時」。名之曰「分」。
- 施「彼刻何刻」於「紀元時」。名之曰「刻」。
- 施「彼秒何秒」於「紀元時」。名之曰「秒」。
- 
- 乘「刻」以十五。加其於「分」。昔之「分」者。今其是矣。
- 
- 除「秒」以六十。加其於「分」。昔之「分」者。今其是矣。
- 除「分」以六十。加其於「時」。昔之「時」者。今其是矣。
- 
- 除「分」以六十。乘其以「倍圓周率」。乘其以負一。名之曰「分角」。
- 除「時」以十二。乘其以「倍圓周率」。乘其以負一。名之曰「時角」。
- 除「秒」以六十。乘其以「倍圓周率」。乘其以負一。名之曰「秒角」。
-
-
- 施「備紙」於「紙橫」。於「紙縱」。名之曰「紙」。
- 施「畫鐘面」於「紙」。於九分。
- 施「畫指針」於「紙」。於「秒角」。於八分。於一分。於三毫。於一分。
- 施「畫指針」於「紙」。於「分角」。於七分五釐。於一分。於三毫。於三分。
- 施「畫指針」於「紙」。於「時角」。於五分五釐。於八釐。於五毫。於五分。
- 施「裱畫」於「紙」於「「out」」。
+ 施「(()=>document.getElementById("out").innerHTML="")」。
+ 施「今何紀元時」。名之曰「紀元時」。
+ 施「彼時何小時」於「紀元時」。名之曰「時」。
+ 施「彼分何分」於「紀元時」。名之曰「分」。
+ 施「彼刻何刻」於「紀元時」。名之曰「刻」。
+ 施「彼秒何秒」於「紀元時」。名之曰「秒」。
+
+ 乘「刻」以十五。加其於「分」。昔之「分」者。今其是矣。
+
+ 除「秒」以六十。加其於「分」。昔之「分」者。今其是矣。
+ 除「分」以六十。加其於「時」。昔之「時」者。今其是矣。
+
+ 除「分」以六十。乘其以「倍圓周率」。乘其以負一。名之曰「分角」。
+ 除「時」以十二。乘其以「倍圓周率」。乘其以負一。名之曰「時角」。
+ 除「秒」以六十。乘其以「倍圓周率」。乘其以負一。名之曰「秒角」。
+
+
+ 施「備紙」於「紙橫」。於「紙縱」。名之曰「紙」。
+ 施「畫鐘面」於「紙」。於九分。
+ 施「畫指針」於「紙」。於「秒角」。於八分。於一分。於三毫。於一分。
+ 施「畫指針」於「紙」。於「分角」。於七分五釐。於一分。於三毫。於三分。
+ 施「畫指針」於「紙」。於「時角」。於五分五釐。於八釐。於五毫。於五分。
+ 施「裱畫」於「紙」於「「out」」。
 
 是謂「执笔」之術也。
 

examples/collatz.wy

@@ -2,25 +2,25 @@
 欲行是術。必先得一數。
 曰「甲」。
 乃行是術曰。
- 吾有一術。名之曰「助手」。
- 欲行是術。必先得一數。
- 曰「乙」。
- 乃行是術曰。
- 吾有一數。名之曰「埃」。
- 除「乙」以二。所餘幾何。名之曰「積」。
- 若「積」不等於零者。乘三以「乙」。加其於一。昔之「埃」者。今其是矣。
- 若非。 除二於「乙」。昔之「埃」者。今其是矣。云云。
- 乃得「埃」。
- 是謂「助手」之術也。
+ 吾有一術。名之曰「助手」。
+ 欲行是術。必先得一數。
+ 曰「乙」。
+ 乃行是術曰。
+ 吾有一數。名之曰「埃」。
+ 除「乙」以二。所餘幾何。名之曰「積」。
+ 若「積」不等於零者。乘三以「乙」。加其於一。昔之「埃」者。今其是矣。
+ 若非。 除二於「乙」。昔之「埃」者。今其是矣。云云。
+ 乃得「埃」。
+ 是謂「助手」之術也。
 
- 吾有一列。名之曰「回」。充「回」以「甲」。
- 恆為是。
- 若「甲」等於一者。乃止。也。
- 施「助手」於「甲」。昔之「甲」者。今其是矣。
- 充「回」以「甲」。
- 云云。
- 充「回」以一。
- 乃得「回」。
+ 吾有一列。名之曰「回」。充「回」以「甲」。
+ 恆為是。
+ 若「甲」等於一者。乃止。也。
+ 施「助手」於「甲」。昔之「甲」者。今其是矣。
+ 充「回」以「甲」。
+ 云云。
+ 充「回」以一。
+ 乃得「回」。
 是謂「角谷猜想」之術也。
 
 施「角谷猜想」於十二。書之。

examples/collatz2.wy

@@ -1,15 +1,15 @@
 吾有一術。名之曰「考拉茲」。欲行是術。必先得一數。曰「甲」。乃行是術曰。
- 有數零。名之曰「總」。
- 為是九千九百九十九遍。
- 若「甲」等於一者。乃得「總」。
- 若非。
- 除「甲」以二。所餘幾何。名之曰「丙」。
- 若「丙」等於零者。除「甲」以二。名之曰「半」。昔之「甲」者。今「半」也。
- 若非。
- 乘「甲」以三。名之曰「丁」。加一於「丁」。名之曰「戊」。昔之「甲」者。今「戊」是也。
- 加「總」以一。名之曰「己」。
- 昔之「總」者。今「己」是也。
- 云云。
+ 有數零。名之曰「總」。
+ 為是九千九百九十九遍。
+ 若「甲」等於一者。乃得「總」。
+ 若非。
+ 除「甲」以二。所餘幾何。名之曰「丙」。
+ 若「丙」等於零者。除「甲」以二。名之曰「半」。昔之「甲」者。今「半」也。
+ 若非。
+ 乘「甲」以三。名之曰「丁」。加一於「丁」。名之曰「戊」。昔之「甲」者。今「戊」是也。
+ 加「總」以一。名之曰「己」。
+ 昔之「總」者。今「己」是也。
+ 云云。
 是謂「考拉茲」之術也。
 
 

examples/crt.wy

@@ -8,12 +8,12 @@
  以其餘各乘用。為各總。
  併總。滿衍母去之。不滿。為所求率數。
 」」
- 
+
  施「求諸定」於「諸元」。名之曰「諸定」。
- 
+
  施「相乘」於「諸定」。名之曰「衍母」。
  注曰「「衍母者。即諸定數皆能度盡之數也」」。
- 
+
  吾有一列。名之曰「諸總」。
  夫「諸定」之長。名之曰「量」。
  有數〇。名之曰「序」。恆為是。若「序」等於「量」者乃止也。
@@ -22,23 +22,23 @@
  夫「諸餘」之「序」。名之曰「餘」。
  若「定」等於一者乃止是遍也。
  注曰「「定數一者。即無用數」」。
- 
+
  除「衍母」以「定」。名之曰「衍」。
  注曰「「衍數者。即諸數度盡一數度不盡之數也」」。
- 
+
  除「衍」以「定」。所餘幾何。名之曰「奇」。
  注曰「「奇數者。定數度衍數不盡之數也」」。
- 
+
  施「大衍求一」於「奇」於「定」。名之曰「果」。
  夫「果」之「「乘率」」。名之曰「乘率」。
- 
+
  乘「衍」以「乘率」。名之曰「用」。
  注曰「「用數者。即一數餘一諸數度盡之數也」」。
- 
+
  乘「用」以「餘」。名之曰「總」。充「諸總」以「總」。
  注曰「「蓋用數為諸數度盡一數餘一之數。以幾數乘之。必為諸數度盡一數餘幾數之數也」」。
  云云。
- 
+
  施「相加」於「諸總」。除其以「衍母」。所餘幾何。名之曰「率」。
  注曰「「併各條而以各數度之。必各數仍餘。幾數也餘。數悉合。則總數必合矣」」。
  乃得「率」。
@@ -60,20 +60,20 @@
  或皆約而猶有類數存。姑置之。俟與其他約遍。而後乃與姑置者求等約之。
  或諸數皆不可盡類。則以諸元數命曰定數。
 」」
- 
+
  夫「諸元」之長。名之曰「量」。
  有數〇。名之曰「甲序」。恆為是。若「甲序」等於「量」者乃止也。
  加「甲序」以一。昔之「甲序」者。今其是矣。
- 
+
  有數〇。名之曰「乙序」。恆為是。若「乙序」等於「量」者乃止也。
  加「乙序」以一。昔之「乙序」者。今其是矣。
  若「乙序」等於「甲序」者乃止是遍也。
- 
+
  夫「諸元」之「甲序」。名之曰「甲」。
  夫「諸元」之「乙序」。名之曰「乙」。
  施「大衍求一」於「甲」於「乙」。名之曰「果」。
  夫「果」之「「等數」」。名之曰「等」。
- 
+
  除「甲」以「等」。名之曰「約甲」。
  除「乙」以「等」。名之曰「約乙」。
  除「約甲」以「等」。所餘幾何。若其不等於〇者。
@@ -116,27 +116,27 @@
  物之「「等數」」者。數曰一。
  是謂「果」之物也。
  乃得「果」也。
- 
+
  有數一。名之曰「天元」。
  吾有四數。曰「奇」曰「定」曰「天元」曰〇。
  名之曰「右上」曰「右下」曰「左上」曰「左下」。
- 
+
  恆為是。
  若「右上」等於一者。乃止也。
- 
+
  除「右下」以「右上」。所餘幾何。名之曰「餘」。
  減「右下」以「餘」。除其以「右上」。名之曰「商」。
  乘「商」以「左上」。加「左下」以其。昔之「左下」者。今其是矣。
  昔之「右下」者。今「餘」是矣。
- 
+
  若「右下」等於〇者。乃止也。
- 
+
  減「右上」以一。除其以「右下」。所餘幾何。加其以一。名之曰「餘」。
  減「右上」以「餘」。除其以「右下」。名之曰「商」。
  乘「商」以「左下」。加「左上」以其。昔之「左上」者。今其是矣。
  昔之「右上」者。今「餘」是矣。
  云云。
- 
+
  吾有一物。名之曰「果」。其物如是。
  物之「「乘率」」者。數曰「左上」。
  物之「「等數」」者。數曰「右上」。