pimath 0.0.91 → 0.0.93

package/.eslintrc.js

@@ -1,24 +1,24 @@
-module.exports = {
-    "env": {
-        "browser": true,
-        "es6": true
-    },
-    "extends": [
-        "eslint:recommended",
-        "plugin:@typescript-eslint/eslint-recommended"
-    ],
-    "globals": {
-        "Atomics": "readonly",
-        "SharedArrayBuffer": "readonly"
-    },
-    "parser": "@typescript-eslint/parser",
-    "parserOptions": {
-        "ecmaVersion": 2018,
-        "sourceType": "module"
-    },
-    "plugins": [
-        "@typescript-eslint"
-    ],
-    "rules": {
-    }
+module.exports = {
+    "env": {
+        "browser": true,
+        "es6": true
+    },
+    "extends": [
+        "eslint:recommended",
+        "plugin:@typescript-eslint/eslint-recommended"
+    ],
+    "globals": {
+        "Atomics": "readonly",
+        "SharedArrayBuffer": "readonly"
+    },
+    "parser": "@typescript-eslint/parser",
+    "parserOptions": {
+        "ecmaVersion": 2018,
+        "sourceType": "module"
+    },
+    "plugins": [
+        "@typescript-eslint"
+    ],
+    "rules": {
+    }
 };

package/dist/pi.js

@@ -1700,6 +1700,26 @@ class Monom {
             }
             return r;
         };
+        this.evaluateAsNumeric = (values) => {
+            let r = this.coefficient.value;
+            if (typeof values === 'number') {
+                let tmpValues = {};
+                tmpValues[this.variables[0]] = values;
+                return this.evaluateAsNumeric(tmpValues);
+            }
+            if (typeof values === 'object') {
+                if (this.variables.length === 0) {
+                    return this.coefficient.value;
+                }
+                for (let L in this._literal) {
+                    if (values[L] === undefined) {
+                        return 0;
+                    }
+                    r *= values[L] ** (this._literal[L].value);
+                }
+            }
+            return r;
+        };
         /**
          * Derivative the monom
          * @param letter
@@ -2680,6 +2700,13 @@ class Polynom {
             });
             return r;
         };
+        this.evaluateAsNumeric = (values) => {
+            let r = 0;
+            this._monoms.forEach(monom => {
+                r += monom.evaluateAsNumeric(values);
+            });
+            return r;
+        };
         this.derivative = (letter) => {
             let dP = new Polynom();
             for (let m of this._monoms) {
@@ -3481,6 +3508,9 @@ class Rational {
             let N = this._numerator.evaluate(values), D = this._denominator.evaluate(values);
             return N.divide(D);
         };
+        this.evaluateAsNumeric = (values) => {
+            return this._numerator.evaluateAsNumeric(values) / this._denominator.evaluateAsNumeric(values);
+        };
         this.study = () => {
             return new rationalStudy_1.RationalStudy(this);
         };
@@ -3533,7 +3563,7 @@ exports.Rational = Rational;
  * @module Polynom
  */
 Object.defineProperty(exports, "__esModule", ({ value: true }));
-exports.Study = exports.TABLE_OF_SIGNS = exports.FUNCTION_EXTREMA = exports.ASYMPTOTE = exports.ZEROTYPE = void 0;
+exports.Study = exports.TABLE_OF_SIGNS = exports.FUNCTION_EXTREMA = exports.ASYMPTOTE_POSITION = exports.ASYMPTOTE = exports.ZEROTYPE = void 0;
 const fraction_1 = __webpack_require__(506);
 const numexp_1 = __webpack_require__(735);
 var ZEROTYPE;
@@ -3549,6 +3579,13 @@ var ASYMPTOTE;
     ASYMPTOTE["SLOPE"] = "ao";
     ASYMPTOTE["HOLE"] = "hole";
 })(ASYMPTOTE = exports.ASYMPTOTE || (exports.ASYMPTOTE = {}));
+var ASYMPTOTE_POSITION;
+(function (ASYMPTOTE_POSITION) {
+    ASYMPTOTE_POSITION["LT"] = "LT";
+    ASYMPTOTE_POSITION["RT"] = "RT";
+    ASYMPTOTE_POSITION["LB"] = "LB";
+    ASYMPTOTE_POSITION["RB"] = "RB";
+})(ASYMPTOTE_POSITION = exports.ASYMPTOTE_POSITION || (exports.ASYMPTOTE_POSITION = {}));
 var FUNCTION_EXTREMA;
 (function (FUNCTION_EXTREMA) {
     FUNCTION_EXTREMA["MIN"] = "min";
@@ -3560,7 +3597,7 @@ var TABLE_OF_SIGNS;
 (function (TABLE_OF_SIGNS) {
     TABLE_OF_SIGNS["SIGNS"] = "signs";
     TABLE_OF_SIGNS["GROWS"] = "grows";
-    TABLE_OF_SIGNS["VARIATIONS"] = "variatins";
+    TABLE_OF_SIGNS["VARIATIONS"] = "variations";
 })(TABLE_OF_SIGNS = exports.TABLE_OF_SIGNS || (exports.TABLE_OF_SIGNS = {}));
 /**
  * The study class is a "function study" class that will get:
@@ -3890,8 +3927,7 @@ class RationalStudy extends study_1.Study {
     }
     ;
     makeSigns() {
-        let tos = this._getSigns(this.fx, this.zeroes);
-        return tos;
+        return this._getSigns(this.fx, this.zeroes);
     }
     ;
     makeAsymptotes() {
@@ -3900,8 +3936,8 @@ class RationalStudy extends study_1.Study {
         let asymptotes = [];
         this.zeroes.filter(x => x.type === study_1.ZEROTYPE.DEFENCE).forEach(zero => {
             // Check if it's a hole or an asymptote
-            // TODO: Check for a hole ! Means calculate the limits !
             let Ztype = study_1.ASYMPTOTE.VERTICAL, tex = `x=${zero.tex}`;
+            // Check if it's a hole: the reduced polynom should not be null
             if (zero.exact instanceof fraction_1.Fraction) {
                 if (reduced.denominator.evaluate(zero.exact).isNotZero()) {
                     Ztype = study_1.ASYMPTOTE.HOLE;
@@ -3914,14 +3950,45 @@ class RationalStudy extends study_1.Study {
                     tex = `(${zero.tex};${reduced.evaluate(zero.value).tex})`;
                 }
             }
+            // Get the position before and after the asymptote.
+            const delta = 0.000001;
+            let before = this.fx.evaluateAsNumeric(zero.value - delta), after = this.fx.evaluateAsNumeric(zero.value + delta), position = [], pm = "";
+            if (after < -10000) {
+                position.push(study_1.ASYMPTOTE_POSITION.RB);
+                pm += "m";
+            }
+            else if (after > 10000) {
+                position.push(study_1.ASYMPTOTE_POSITION.RT);
+                pm += "p";
+            }
+            if (before < -10000) {
+                position.push(study_1.ASYMPTOTE_POSITION.LB);
+                pm += "m";
+            }
+            else if (before > 10000) {
+                position.push(study_1.ASYMPTOTE_POSITION.LT);
+                pm += "p";
+            }
+            // Left and right are to infinity
+            // TODO: handle the case were one side of the asymptote isn't infinity (not possible in rational study?!)
+            if (pm === "pp") {
+                pm = "+";
+            }
+            else if (pm === "mm") {
+                pm = "-";
+            }
+            else {
+                pm = `\\${pm}`;
+            }
             asymptotes.push({
                 fx: null,
                 type: Ztype,
                 tex: tex,
                 zero: zero,
-                limits: `\\lim_{x\\to${zero.tex} }\\ f(x) = \\pm\\infty`,
+                limits: `\\lim_{x\\to${zero.tex} }\\ f(x) = ${pm}\\infty`,
                 deltaX: null,
-                tableOfSign: null
+                tableOfSign: null,
+                position
             });
         });
         // Sloped asymptote
@@ -3929,6 +3996,7 @@ class RationalStudy extends study_1.Study {
         if (NDegree.isEqual(DDegree)) {
             let H = this.fx.numerator.monomByDegree().coefficient.clone().divide(this.fx.denominator.monomByDegree().coefficient), Htex = H.tex;
             let { reminder } = reduced.euclidian(), deltaX = new rational_1.Rational(reminder, reduced.denominator);
+            // Determine the position above or below on the left / right of the asymptote.
             asymptotes.push({
                 fx: new polynom_1.Polynom(H),
                 type: study_1.ASYMPTOTE.HORIZONTAL,
@@ -3936,7 +4004,8 @@ class RationalStudy extends study_1.Study {
                 zero: null,
                 limits: `\\lim_{x\\to\\infty}\\ f(x) = ${Htex}`,
                 deltaX,
-                tableOfSign: this._getSigns(deltaX)
+                tableOfSign: this._getSigns(deltaX),
+                position: this._getHorizontalAsymptoteRelativePositon(deltaX)
             });
         }
         else if (DDegree.greater(NDegree)) {
@@ -3947,7 +4016,8 @@ class RationalStudy extends study_1.Study {
                 zero: null,
                 limits: `\\lim_{x\\to\\infty}\\ f(x) = ${0}`,
                 deltaX: null,
-                tableOfSign: null
+                tableOfSign: null,
+                position: this._getHorizontalAsymptoteRelativePositon(this.fx)
             });
         }
         else if (NDegree.value - 1 === DDegree.value) {
@@ -3960,12 +4030,29 @@ class RationalStudy extends study_1.Study {
                 zero: null,
                 limits: ``,
                 deltaX: new rational_1.Rational(reminder, reduced.denominator),
-                tableOfSign: this._getSigns(deltaX)
+                tableOfSign: this._getSigns(deltaX),
+                position: this._getHorizontalAsymptoteRelativePositon(deltaX)
             });
         }
         return asymptotes;
     }
     ;
+    _getHorizontalAsymptoteRelativePositon(deltaX, delta = 1000000) {
+        let position = [], before = deltaX.evaluateAsNumeric(-delta), after = deltaX.evaluateAsNumeric(delta);
+        if (before >= 0) {
+            position.push(study_1.ASYMPTOTE_POSITION.LT);
+        }
+        else {
+            position.push(study_1.ASYMPTOTE_POSITION.LB);
+        }
+        if (after >= 0) {
+            position.push(study_1.ASYMPTOTE_POSITION.RT);
+        }
+        else {
+            position.push(study_1.ASYMPTOTE_POSITION.RB);
+        }
+        return position;
+    }
     makeDerivative() {
         let dx = this.fx.clone().derivative(), tos = this._getSigns(dx, this._getZeroes(dx), study_1.TABLE_OF_SIGNS.GROWS);
         let result = this.makeGrowsResult(tos);