powiaina_num.js 0.2.22 → 0.2.23

package/dist/PowiainaNum.esm.js

@@ -169,6 +169,10 @@ function parseLegacyPowiainaNumString(str) {
   }
   return null;
 }
+/**
+ * 如果左边小于右边的，返回-1,等于就是0，大于就是1
+ * @returns
+ */
 function compareTuples() {
   for (var _len = arguments.length, tuples = new Array(_len), _key = 0; _key < _len; _key++) {
     tuples[_key] = arguments[_key];
@@ -1158,9 +1162,12 @@ var PowiainaNum = /*#__PURE__*/function () {
       //   // @ts-expect-error
       //   let zero = new PowiainaNum(dis.array[dis.arr01.length - 1][0]);
       //   return zero;
-      // } else if (target.lt(PowiainaNum.pentate(bbase, 2))) {
-      //   return new PowiainaNum(target).anyarrow_log(3)(bbase);
-      // } else {
+      // }
+      // else
+      if (target.lt(PowiainaNum.pentate(bbase, 2))) {
+        return new PowiainaNum(target).anyarrow_log(3)(bbase);
+      }
+      // else {
       //   let addTest = 8;
       //   let target = 0;
       //   while (addTest >= 10 ** -10) {
@@ -1192,7 +1199,7 @@ var PowiainaNum = /*#__PURE__*/function () {
         var mid = Math.floor((left + right) / 2);
         var comparison = PowiainaNum.arrFrac(bbase, mid).cmp(target);
         if (comparison === 0) {
-          return mid;
+          return new PowiainaNum(mid);
         } else if (comparison < 0) {
           result = mid;
           left = mid + 1;
@@ -1200,10 +1207,10 @@ var PowiainaNum = /*#__PURE__*/function () {
           right = mid - 1;
         }
         if (Math.abs(left - right) <= EPSILON) {
-          return mid;
+          return new PowiainaNum(mid);
         }
       }
-      return result;
+      return new PowiainaNum(result);
       // if (dis.arr01[dis.array.length - 1][0] >= 98) {
       //   // @ts-expect-error
       //   let zero = new PowiainaNum(dis.array[dis.arr01.length - 1][0]);
@@ -1414,6 +1421,96 @@ var PowiainaNum = /*#__PURE__*/function () {
         return PowiainaNum.NaN.clone();
       };
     }
+  }, {
+    key: "omega2log",
+    value: function omega2log() {
+      var bbase = arguments.length > 0 && arguments[0] !== undefined ? arguments[0] : 10;
+      var EPSILON = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : 1e-6;
+      var target = this;
+      var dis = target.clone();
+      if (dis.isInfiNaN()) return dis;
+      if (dis.gte("10{1,3}e15.954589770191003")) return dis;
+      new PowiainaNum(bbase).clone();
+      if (dis.getOperator(1 / 0, 2) >= 1) {
+        dis.setOperator(dis.getOperator(1 / 0) - 1, 1 / 0, 2, 1);
+        return dis;
+      }
+      // if (dis.layer >= 1) {
+      // dis.layer -= 1
+      // return dis
+      // } else
+      // // @ts-expect-error
+      // if (dis.arr01[dis.array.length - 1][0] >= 98) {
+      //   // @ts-expect-error
+      //   let zero = new PowiainaNum(dis.array[dis.arr01.length - 1][0]);
+      //   return zero;
+      // }
+      // else
+      if (target.lt(new PowiainaNum(bbase).expansionArrow(3)(2))) {
+        return new PowiainaNum(target).expansion_log2(3)(bbase);
+      }
+      // else {
+      //   let addTest = 8;
+      //   let target = 0;
+      //   while (addTest >= 10 ** -10) {
+      //     if (PowiainaNum.arrFrac(base, target + addTest).lte(dis)) {
+      //       target += addTest;
+      //     }
+      //     addTest /= 2;
+      //   }
+      //   return new PowiainaNum(target);
+      // }
+      if (bbase == 10) {
+        var clonedOperators = [];
+        for (var i = 0; i < target.array.length; i++) {
+          clonedOperators[i] = {
+            arrow: target.array[i].arrow,
+            expans: target.array[i].expans,
+            megota: target.array[i].megota,
+            repeat: target.array[i].repeat,
+            valuereplaced: target.array[i].valuereplaced
+          };
+        }
+        var _result2 = PowiainaNum.omegacollect(clonedOperators);
+        return new PowiainaNum(_result2[1].arrow - 1 + Math.log(_result2[0].repeat / 2) / Math.log(5));
+      }
+      var left = 2;
+      var right = 9007199254740991;
+      var result = NaN;
+      while (left <= right) {
+        var mid = Math.floor((left + right) / 2);
+        var comparison = PowiainaNum.arrw2Frac(bbase, mid).cmp(target);
+        if (comparison === 0) {
+          return new PowiainaNum(mid);
+        } else if (comparison < 0) {
+          result = mid;
+          left = mid + 1;
+        } else {
+          right = mid - 1;
+        }
+        if (Math.abs(left - right) <= EPSILON) {
+          return new PowiainaNum(mid);
+        }
+      }
+      return new PowiainaNum(result);
+      // if (dis.arr01[dis.array.length - 1][0] >= 98) {
+      //   // @ts-expect-error
+      //   let zero = new PowiainaNum(dis.array[dis.arr01.length - 1][0]);
+      //   return zero;
+      // } else if (target.lt(PowiainaNum.pentate(bbase, 2))) {
+      //   return new PowiainaNum(target).anyarrow_log(3)(bbase);
+      // } else {
+      //   let addTest = 8;
+      //   let target = 0;
+      //   while (addTest >= 10 ** -10) {
+      //     if (PowiainaNum.arrFrac(base, target + addTest).lte(dis)) {
+      //       target += addTest;
+      //     }
+      //     addTest /= 2;
+      //   }
+      //   return new PowiainaNum(target);
+      // }
+    }
     /**
      * base{height}base
      */
@@ -1428,6 +1525,16 @@ var PowiainaNum = /*#__PURE__*/function () {
     function arrow_height_inverse(arrows) {
       return this.anyarrow_log(arrows);
     }
+    /**
+     * Arrow w2 height inverse, an alias of `expansion_log2`
+     * @param arrows
+     * @returns
+     */
+  }, {
+    key: "arrow_w2_height_inverse",
+    value: function arrow_w2_height_inverse(arrows) {
+      return this.expansion_log2(arrows);
+    }
   }, {
     key: "chain",
     value: function chain(other, arrows) {
@@ -1467,52 +1574,56 @@ var PowiainaNum = /*#__PURE__*/function () {
     function expansion(other2) {
       var other = new PowiainaNum(other2);
       var t = this.clone();
-      if (other.lt(PowiainaNum.ZERO) || !other.isInt()) return PowiainaNum.NaN.clone();
+      if (other.lt(PowiainaNum.ZERO)) return PowiainaNum.NaN.clone();
       if (other.eq(PowiainaNum.ONE)) return this.clone();
       if (this.eq(PowiainaNum.ONE)) return PowiainaNum.ONE.clone();
-      if (!this.isInt()) {
-        if (PowiainaNum.throwErrorOnResultNaN) throw new Error("NaN");
-        return PowiainaNum.NaN.clone();
-      }
       if (this.eq(2)) return new PowiainaNum(4);
       if (other.eq(0)) return PowiainaNum.ONE.clone();
-      var r;
+      if (other.gt(0) && other.lt(1) && !other.isInt()) {
+        return t.pow(other);
+      }
+      if (other.gt(1) && other.lt(2) && !other.isInt()) {
+        var _y = other.sub(1).pow_base(t);
+        if (_y.lt(2)) return PowiainaNum.arrow(t, 3, _y);
+        return PowiainaNum.arrFrac(t, _y);
+      }
+      var calcBase;
       // I don't know is this added partrs work correctly...
       if (t.gt("10{1,2}".concat(MSI)) || other.gt(MSI)) {
         if (t.gt("10{1,2}".concat(MSI))) {
-          r = t.clone();
-          r.setOperator(r.getOperator(1, 2) - 1, 1, 2);
-          r.normalize();
+          calcBase = t.clone();
+          calcBase.setOperator(calcBase.getOperator(1, 2) - 1, 1, 2);
+          calcBase.normalize();
         } else if (t.gt("10{".concat(MSI, "}10"))) {
-          r = new PowiainaNum(t.getOperator(Infinity));
+          calcBase = new PowiainaNum(t.getOperator(Infinity));
         } else {
-          r = PowiainaNum.ZERO;
+          calcBase = PowiainaNum.ZERO;
         }
-        var j = r.add(other);
+        var j = calcBase.add(other);
         j.setOperator(j.getOperator(1, 2) + 1, 1, 2);
         j.normalize();
         return j;
       }
-      var f = other.toNumber() - 1;
-      r = t.clone();
-      var i;
-      for (i = 0; f !== 0 && r.lt(MSI) && i < 100; ++i) {
+      var y = other.toNumber() - 1;
+      var f = Math.floor(y);
+      calcBase = PowiainaNum.expansion(t, 1 + y - f);
+      var i = 0;
+      for (var m = new PowiainaNum("10{1,2}e15.954589770191003"); f !== 0 && calcBase.lt(m) && i < 100; i++) {
         if (f > 0) {
-          r = t.arrow(r)(t);
+          calcBase = PowiainaNum.arrFrac(t, calcBase);
           --f;
         }
       }
-      if (i == 100) f = 0;
-      r.setOperator(r.getOperator(Infinity) + f, Infinity);
-      r.normalize();
-      return r;
+      calcBase.setOperator(calcBase.getOperator(Infinity) + f, Infinity);
+      calcBase.normalize();
+      return calcBase;
     }
   }, {
     key: "expansionArrow",
     value: function expansionArrow(arrow2) {
       var arrow = new PowiainaNum(arrow2);
       var t = this.clone();
-      if (arrow.lt(0) || !arrow.isInt() || arrow.isNaN() || this.isNaN()) return function () {
+      if (arrow.lt(0) || !arrow.isInt()) return function () {
         if (PowiainaNum.throwErrorOnResultNaN) throw new Error("NaN");
         return PowiainaNum.NaN.clone();
       };
@@ -1591,6 +1702,116 @@ var PowiainaNum = /*#__PURE__*/function () {
         return r;
       };
     }
+  }, {
+    key: "expansion_log_inner",
+    value: function expansion_log_inner(base2) {
+      var t = this.clone();
+      var base = new PowiainaNum(base2);
+      if (base.eq(2) && t.gt(4)) return PowiainaNum.NaN.clone();
+      if (t.gte("10{2,2}".concat(MSI))) {
+        return t;
+      }
+      if (t.gte("10{1,2}".concat(MSI))) {
+        t.setOperator(t.getOperator(1, 2) - 1, 1, 2);
+        return t;
+      }
+      var r = 0;
+      var x = t.clone();
+      var morexxxoperators = 0;
+      if (x.getOperator(1 / 0) >= 10) {
+        morexxxoperators = x.getOperator(1 / 0) - 10;
+        x.setOperator(10, 1 / 0);
+      }
+      for (var i = 0; i < 100; ++i) {
+        if (x.lt(PowiainaNum.ZERO)) {
+          x = PowiainaNum.arrFrac(base, x);
+          --r;
+        } else if (x.lte(1)) {
+          return new PowiainaNum(r + x.toNumber() - 1 + morexxxoperators);
+        } else {
+          // 第1-4次迭代，进入此处
+          ++r;
+          x = x.omegalog(base.toNumber());
+        }
+      }
+      if (x.gt(10)) return new PowiainaNum(r + morexxxoperators);
+      return x.add(morexxxoperators);
+    }
+    /**
+     * return `base`{{`arrow2`}}`x` = `this` which `x` is.
+     *
+     * @param arrow2
+     * @returns
+     */
+  }, {
+    key: "expansion_log2",
+    value: function expansion_log2(arrow2) {
+      var x = this.clone();
+      var arrow = new PowiainaNum(arrow2);
+      var arrowsNum = arrow.toNumber();
+      if (arrow.gt(MSI)) {
+        throw new Error(powiainaNumError + "Not implemented");
+      }
+      if (!arrow.isInt() || arrow.lt(1)) return function () {
+        if (PowiainaNum.throwErrorOnResultNaN) throw new Error("NaN");
+        return PowiainaNum.NaN.clone();
+      };
+      if (arrow.eq(1)) return function (base) {
+        return x.expansion_log_inner(base);
+      };
+      if (x.isInfiNaN()) return function () {
+        return x;
+      };
+      return function (base) {
+        var depth = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : 0;
+        var b = new PowiainaNum(base);
+        if (b.isNaN()) return b;
+        if (b.isInfi()) return PowiainaNum.ZERO.clone();
+        if (x.isZero()) return PowiainaNum.ONE.clone();
+        if (x.eq(PowiainaNum.ONE)) return PowiainaNum.ZERO.clone();
+        if (x.eq(b)) return PowiainaNum.ONE.clone();
+        if (x.max(b).gt(PowiainaNum.arrowexpansMSI(arrowsNum + 1))) {
+          if (x.gt(b)) return x;
+          return PowiainaNum.ZERO.clone();
+        }
+        if (x.max(b).gt(PowiainaNum.arrowexpansMSI(arrowsNum))) {
+          if (x.gt(b)) {
+            x.setOperator(x.getOperator(arrowsNum, 2) - 1, arrowsNum, 2);
+            x.normalize();
+            return x.sub(x.getOperator(arrowsNum - 1, 2));
+          }
+        }
+        if (x.lt(PowiainaNum.ZERO.clone())) {
+          if (PowiainaNum.throwErrorOnResultNaN) throw new Error("NaN");
+          return PowiainaNum.NaN.clone();
+        }
+        // base^base^... = x? (? bases)
+        var r = 0;
+        // 计算x与base的差距
+        var distanceLayerOf = x.getOperator(arrowsNum, 2) - b.getOperator(arrowsNum, 2);
+        if (distanceLayerOf > 3) {
+          var l = distanceLayerOf - 3;
+          r += l;
+          x.setOperator(x.getOperator(arrowsNum, 2) - l, arrowsNum, 2);
+        }
+        // 假设b=3， x=1e19
+        for (var i = 0; i < 100; ++i) {
+          if (x.lt(PowiainaNum.ZERO)) {
+            x = x.expansionArrow(arrowsNum - 1)(base);
+            --r;
+          } else if (x.lte(1)) {
+            return new PowiainaNum(r + x.toNumber() - 1);
+          } else {
+            // 第1-4次迭代，进入此处
+            ++r;
+            x = x.expansion_log2(arrowsNum - 1)(base, depth + 1);
+          }
+        }
+        if (x.gt(10)) return new PowiainaNum(r);
+        if (PowiainaNum.throwErrorOnResultNaN) throw new Error("NaN");
+        return PowiainaNum.NaN.clone();
+      };
+    }
   }, {
     key: "multiExpansion",
     value: function multiExpansion(other) {
@@ -2590,18 +2811,44 @@ var PowiainaNum = /*#__PURE__*/function () {
     value: function oBase(operators) {
       return operators[0].repeat;
     }
+  }, {
+    key: "operatorLevel",
+    value: function operatorLevel(operator) {
+      if (operator == undefined) return [0, 0, 0];
+      if (!Array.isArray(operator)) return [operator.megota, operator.expans, operator.arrow];else {
+        return _toConsumableArray(operator);
+      }
+    }
+  }, {
+    key: "cmpOperatorLevel",
+    value: function cmpOperatorLevel(operator, operator2) {
+      return compareTuples(this.operatorLevel(operator), this.operatorLevel(operator2));
+    }
+  }, {
+    key: "higherOmega",
+    value: function higherOmega(operator) {
+      this.operatorLevel(operator);
+      if (!isFinite(operator.expans)) return this.operatorLevel(operator);else if (!isFinite(operator.arrow)) return this.operatorLevel(operator);else {
+        return [operator.megota, operator.expans, 1 / 0];
+      }
+    }
     /**
-     * Only works for operators level < ω.
+     * Only works for operators level < ω2.
      */
   }, {
     key: "omegacollect",
     value: function omegacollect(operators) {
-      debugger;
+      var _b;
       // const result = {
       //   bottom: NaN,
       //   top: NaN,
       // };
-      var maxWhile = 1000;
+      function upgrade2(base) {
+        operators[1].arrow++;
+        operators[0].repeat = operators[1].repeat + Math.log10(base);
+        operators[1].repeat = 1;
+      }
+      var maxWhile = 1000000;
       while (maxWhile--) {
         var base = PowiainaNum.oBase(operators);
         if (base >= 10) {
@@ -2609,26 +2856,53 @@ var PowiainaNum = /*#__PURE__*/function () {
           operators[0].repeat = Math.log10(base);
           PowiainaNum.opSetOperator(operators, PowiainaNum.opGetOperator(operators, 1, 1, 1) + 1, 1, 1, 1);
         } else {
-          if (operators.length <= 2 && operators[1].repeat == 1) {
+          if (operators.length <= 2 && ((_b = operators[1]) === null || _b === void 0 ? void 0 : _b.repeat) == 1) {
             return operators;
           }
           // Operator upgrade mode:
+          var nextisOmega = this.cmpOperatorLevel(this.higherOmega(operators[1]), operators[2]) <= 0;
+          // some operator will upgrade to 10{!}:
+          // first, the 3th operator is >=ω.
+          // second, the 2th operator's repeat is 1.
+          // third: the 2th operator's arrow >=3 and it's not 10{!}(for converting)
+          // fourth, base < 10
+          if (nextisOmega && operators[1].repeat == 1 && isFinite(operators[1].arrow) && operators[1].arrow >= 3) {
+            operators[0].repeat = operators[1].arrow - 1 + Math.log(operators[0].repeat / 2) / Math.log(5);
+            operators[1] = newOperator(1, 1 / 0, operators[1].expans, operators[1].megota);
+            mergeSameArrays({
+              array: operators
+            });
+            continue;
+          }
           // Check the -2th operator, is repeat >= 2?
-          if (operators[1].repeat >= 2) {
-            operators[1].arrow++;
-            operators[0].repeat = operators[1].repeat + Math.log10(base);
-            operators[1].repeat = 1;
-          } else if (base !== 1) {
-            operators[1].arrow++;
-            operators[0].repeat = operators[1].repeat + Math.log10(base);
-            operators[1].repeat = 1;
-          } else {
-            // -2th repeat = 1, and base = 1;
-            operators[1].arrow = operators[2].arrow;
+          else if (isFinite(operators[1].arrow)) {
+            // 如果下一个是omega，而且operators[1].arrow<3的话，强行提到arrow>=3
+            if (operators[1].repeat >= 2) {
+              upgrade2(base);
+            } else if (nextisOmega && operators[1].arrow < 3) {
+              upgrade2(base);
+            } else if (base !== 1) {
+              upgrade2(base);
+            } else if (this.cmpOperatorLevel(this.higherOmega(operators[1]), operators[2]) == 1) {
+              // -2th repeat = 1, and base = 1, 3rd operator is not higher.
+              operators[1].arrow = operators[2].arrow;
+            }
+            mergeSameArrays({
+              array: operators
+            });
+            continue;
+          } else if (!isFinite(operators[1].arrow)) {
+            // if an operator is 10{!}, upgrade to a higher level
+            // 10{!}3 = 10{1,2}(1+Math.log10(3))
+            var infRepeat = operators[1].repeat;
+            var baseAfter = infRepeat + Math.log10(base);
+            operators[1] = newOperator(1, 1, operators[1].expans + 1, operators[1].megota);
+            operators[0].repeat = baseAfter;
+            mergeSameArrays({
+              array: operators
+            });
+            continue;
           }
-          mergeSameArrays({
-            array: operators
-          });
         }
       }
       return operators;
@@ -2646,11 +2920,27 @@ var PowiainaNum = /*#__PURE__*/function () {
       var h = new PowiainaNum(height).clone();
       return new PowiainaNum(b).arrow(h.floor().add(1))(b.div(2).pow(h.sub(h.floor())).mul(2));
     }
+    /**
+     * base{{height}}base
+     */
+  }, {
+    key: "arrw2Frac",
+    value: function arrw2Frac(base, height) {
+      if (new PowiainaNum(height).lt(2)) return new PowiainaNum(base).expansionArrow(3)(height);
+      var b = new PowiainaNum(base).clone();
+      var h = new PowiainaNum(height).clone();
+      return new PowiainaNum(b).expansionArrow(h.floor().add(1))(b.div(2).pow(h.sub(h.floor())).mul(2));
+    }
   }, {
     key: "arrowMSI",
     value: function arrowMSI(arrowsNum) {
       return new PowiainaNum("10{".concat(arrowsNum, "}").concat(MSI));
     }
+  }, {
+    key: "arrowexpansMSI",
+    value: function arrowexpansMSI(arrowsNum) {
+      return new PowiainaNum("10{".concat(arrowsNum, ",2}").concat(MSI));
+    }
   }, {
     key: "hyper",
     value: function hyper(arr) {
@@ -3697,4 +3987,4 @@ PowiainaNum.blankArgumentConstructorReturnZero = false;
  */
 PowiainaNum.throwErrorOnResultNaN = false;
 
-export { arraySortFunction, PowiainaNum as default, mergeSameArrays };
+export { arraySortFunction, PowiainaNum as default, mergeSameArrays, newOperator };