@johnhenry/math 0.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +165 -0
- package/dist/Bivector4.d.ts +52 -0
- package/dist/Bivector4.d.ts.map +1 -0
- package/dist/Bivector4.js +105 -0
- package/dist/Bivector4.js.map +1 -0
- package/dist/CellGraph.d.ts +259 -0
- package/dist/CellGraph.d.ts.map +1 -0
- package/dist/CellGraph.js +637 -0
- package/dist/CellGraph.js.map +1 -0
- package/dist/Clifford4Internal.d.ts +35 -0
- package/dist/Clifford4Internal.d.ts.map +1 -0
- package/dist/Clifford4Internal.js +86 -0
- package/dist/Clifford4Internal.js.map +1 -0
- package/dist/Combinatorics.d.ts +61 -0
- package/dist/Combinatorics.d.ts.map +1 -0
- package/dist/Combinatorics.js +186 -0
- package/dist/Combinatorics.js.map +1 -0
- package/dist/CombinatoricsGenerators.d.ts +44 -0
- package/dist/CombinatoricsGenerators.d.ts.map +1 -0
- package/dist/CombinatoricsGenerators.js +148 -0
- package/dist/CombinatoricsGenerators.js.map +1 -0
- package/dist/ComplexMath.d.ts +46 -0
- package/dist/ComplexMath.d.ts.map +1 -0
- package/dist/ComplexMath.js +98 -0
- package/dist/ComplexMath.js.map +1 -0
- package/dist/ComplexNumber.d.ts +174 -0
- package/dist/ComplexNumber.d.ts.map +1 -0
- package/dist/ComplexNumber.js +443 -0
- package/dist/ComplexNumber.js.map +1 -0
- package/dist/Cycle.d.ts +42 -0
- package/dist/Cycle.d.ts.map +1 -0
- package/dist/Cycle.js +120 -0
- package/dist/Cycle.js.map +1 -0
- package/dist/Decimal.d.ts +45 -0
- package/dist/Decimal.d.ts.map +1 -0
- package/dist/Decimal.js +135 -0
- package/dist/Decimal.js.map +1 -0
- package/dist/Distributions.d.ts +55 -0
- package/dist/Distributions.d.ts.map +1 -0
- package/dist/Distributions.js +222 -0
- package/dist/Distributions.js.map +1 -0
- package/dist/DualNumber.d.ts +42 -0
- package/dist/DualNumber.d.ts.map +1 -0
- package/dist/DualNumber.js +91 -0
- package/dist/DualNumber.js.map +1 -0
- package/dist/Environment.d.ts +44 -0
- package/dist/Environment.d.ts.map +1 -0
- package/dist/Environment.js +129 -0
- package/dist/Environment.js.map +1 -0
- package/dist/Expression.d.ts +19 -0
- package/dist/Expression.d.ts.map +1 -0
- package/dist/Expression.js +43 -0
- package/dist/Expression.js.map +1 -0
- package/dist/FFT.d.ts +21 -0
- package/dist/FFT.d.ts.map +1 -0
- package/dist/FFT.js +136 -0
- package/dist/FFT.js.map +1 -0
- package/dist/GeometricAlgebra4.d.ts +73 -0
- package/dist/GeometricAlgebra4.d.ts.map +1 -0
- package/dist/GeometricAlgebra4.js +115 -0
- package/dist/GeometricAlgebra4.js.map +1 -0
- package/dist/Geometry.d.ts +41 -0
- package/dist/Geometry.d.ts.map +1 -0
- package/dist/Geometry.js +167 -0
- package/dist/Geometry.js.map +1 -0
- package/dist/Graph.d.ts +72 -0
- package/dist/Graph.d.ts.map +1 -0
- package/dist/Graph.js +337 -0
- package/dist/Graph.js.map +1 -0
- package/dist/Graph3DUtils.d.ts +80 -0
- package/dist/Graph3DUtils.d.ts.map +1 -0
- package/dist/Graph3DUtils.js +156 -0
- package/dist/Graph3DUtils.js.map +1 -0
- package/dist/GraphUtils.d.ts +67 -0
- package/dist/GraphUtils.d.ts.map +1 -0
- package/dist/GraphUtils.js +72 -0
- package/dist/GraphUtils.js.map +1 -0
- package/dist/GroupTheory.d.ts +73 -0
- package/dist/GroupTheory.d.ts.map +1 -0
- package/dist/GroupTheory.js +194 -0
- package/dist/GroupTheory.js.map +1 -0
- package/dist/IntUtils.d.ts +33 -0
- package/dist/IntUtils.d.ts.map +1 -0
- package/dist/IntUtils.js +185 -0
- package/dist/IntUtils.js.map +1 -0
- package/dist/Interval.d.ts +44 -0
- package/dist/Interval.d.ts.map +1 -0
- package/dist/Interval.js +165 -0
- package/dist/Interval.js.map +1 -0
- package/dist/Lattice.d.ts +48 -0
- package/dist/Lattice.d.ts.map +1 -0
- package/dist/Lattice.js +65 -0
- package/dist/Lattice.js.map +1 -0
- package/dist/Logic.d.ts +22 -0
- package/dist/Logic.d.ts.map +1 -0
- package/dist/Logic.js +34 -0
- package/dist/Logic.js.map +1 -0
- package/dist/MatrixMath.d.ts +71 -0
- package/dist/MatrixMath.d.ts.map +1 -0
- package/dist/MatrixMath.js +302 -0
- package/dist/MatrixMath.js.map +1 -0
- package/dist/NumberTheory.d.ts +49 -0
- package/dist/NumberTheory.d.ts.map +1 -0
- package/dist/NumberTheory.js +230 -0
- package/dist/NumberTheory.js.map +1 -0
- package/dist/Numerical.d.ts +85 -0
- package/dist/Numerical.d.ts.map +1 -0
- package/dist/Numerical.js +343 -0
- package/dist/Numerical.js.map +1 -0
- package/dist/Permutation.d.ts +43 -0
- package/dist/Permutation.d.ts.map +1 -0
- package/dist/Permutation.js +142 -0
- package/dist/Permutation.js.map +1 -0
- package/dist/Polygon.d.ts +64 -0
- package/dist/Polygon.d.ts.map +1 -0
- package/dist/Polygon.js +221 -0
- package/dist/Polygon.js.map +1 -0
- package/dist/PolynomialRing.d.ts +74 -0
- package/dist/PolynomialRing.d.ts.map +1 -0
- package/dist/PolynomialRing.js +231 -0
- package/dist/PolynomialRing.js.map +1 -0
- package/dist/Quaternion.d.ts +37 -0
- package/dist/Quaternion.d.ts.map +1 -0
- package/dist/Quaternion.js +106 -0
- package/dist/Quaternion.js.map +1 -0
- package/dist/Rational.d.ts +34 -0
- package/dist/Rational.d.ts.map +1 -0
- package/dist/Rational.js +136 -0
- package/dist/Rational.js.map +1 -0
- package/dist/RealMath.d.ts +112 -0
- package/dist/RealMath.d.ts.map +1 -0
- package/dist/RealMath.js +262 -0
- package/dist/RealMath.js.map +1 -0
- package/dist/Rotor4.d.ts +180 -0
- package/dist/Rotor4.d.ts.map +1 -0
- package/dist/Rotor4.js +388 -0
- package/dist/Rotor4.js.map +1 -0
- package/dist/SpecialFunctions.d.ts +32 -0
- package/dist/SpecialFunctions.d.ts.map +1 -0
- package/dist/SpecialFunctions.js +161 -0
- package/dist/SpecialFunctions.js.map +1 -0
- package/dist/SpecialOperator.d.ts +21 -0
- package/dist/SpecialOperator.d.ts.map +1 -0
- package/dist/SpecialOperator.js +26 -0
- package/dist/SpecialOperator.js.map +1 -0
- package/dist/Statistics.d.ts +50 -0
- package/dist/Statistics.d.ts.map +1 -0
- package/dist/Statistics.js +131 -0
- package/dist/Statistics.js.map +1 -0
- package/dist/StringEvaluator.d.ts +48 -0
- package/dist/StringEvaluator.d.ts.map +1 -0
- package/dist/StringEvaluator.js +190 -0
- package/dist/StringEvaluator.js.map +1 -0
- package/dist/Structure.d.ts +130 -0
- package/dist/Structure.d.ts.map +1 -0
- package/dist/Structure.js +394 -0
- package/dist/Structure.js.map +1 -0
- package/dist/Symbolic.d.ts +501 -0
- package/dist/Symbolic.d.ts.map +1 -0
- package/dist/Symbolic.js +4077 -0
- package/dist/Symbolic.js.map +1 -0
- package/dist/Type.d.ts +31 -0
- package/dist/Type.d.ts.map +1 -0
- package/dist/Type.js +47 -0
- package/dist/Type.js.map +1 -0
- package/dist/Utilities.d.ts +27 -0
- package/dist/Utilities.d.ts.map +1 -0
- package/dist/Utilities.js +47 -0
- package/dist/Utilities.js.map +1 -0
- package/dist/Vec4.d.ts +39 -0
- package/dist/Vec4.d.ts.map +1 -0
- package/dist/Vec4.js +82 -0
- package/dist/Vec4.js.map +1 -0
- package/dist/Vector.d.ts +83 -0
- package/dist/Vector.d.ts.map +1 -0
- package/dist/Vector.js +173 -0
- package/dist/Vector.js.map +1 -0
- package/dist/VectorCalculus.d.ts +42 -0
- package/dist/VectorCalculus.d.ts.map +1 -0
- package/dist/VectorCalculus.js +82 -0
- package/dist/VectorCalculus.js.map +1 -0
- package/dist/VectorUtils.d.ts +172 -0
- package/dist/VectorUtils.d.ts.map +1 -0
- package/dist/VectorUtils.js +706 -0
- package/dist/VectorUtils.js.map +1 -0
- package/dist/differentiation-rules.d.ts +21 -0
- package/dist/differentiation-rules.d.ts.map +1 -0
- package/dist/differentiation-rules.js +52 -0
- package/dist/differentiation-rules.js.map +1 -0
- package/dist/index.d.ts +52 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +66 -0
- package/dist/index.js.map +1 -0
- package/package.json +68 -0
- package/src/Bivector4.ts +136 -0
- package/src/CellGraph.ts +669 -0
- package/src/Clifford4Internal.ts +90 -0
- package/src/Combinatorics.ts +183 -0
- package/src/CombinatoricsGenerators.ts +144 -0
- package/src/ComplexMath.ts +162 -0
- package/src/ComplexNumber.ts +491 -0
- package/src/Cycle.ts +126 -0
- package/src/Decimal.ts +145 -0
- package/src/Distributions.ts +269 -0
- package/src/DualNumber.ts +105 -0
- package/src/Environment.ts +127 -0
- package/src/Expression.ts +48 -0
- package/src/FFT.ts +146 -0
- package/src/GeometricAlgebra4.ts +157 -0
- package/src/Geometry.ts +173 -0
- package/src/Graph.ts +337 -0
- package/src/Graph3DUtils.ts +269 -0
- package/src/GraphUtils.ts +159 -0
- package/src/GroupTheory.ts +214 -0
- package/src/IntUtils.ts +200 -0
- package/src/Interval.ts +171 -0
- package/src/Lattice.ts +87 -0
- package/src/Logic.ts +38 -0
- package/src/MatrixMath.ts +326 -0
- package/src/NumberTheory.ts +228 -0
- package/src/Numerical.ts +390 -0
- package/src/Permutation.ts +148 -0
- package/src/Polygon.ts +229 -0
- package/src/PolynomialRing.ts +242 -0
- package/src/Quaternion.ts +125 -0
- package/src/Rational.ts +148 -0
- package/src/RealMath.ts +346 -0
- package/src/Rotor4.ts +440 -0
- package/src/SpecialFunctions.ts +152 -0
- package/src/SpecialOperator.ts +28 -0
- package/src/Statistics.ts +170 -0
- package/src/StringEvaluator.ts +208 -0
- package/src/Structure.ts +481 -0
- package/src/Symbolic.ts +4313 -0
- package/src/Type.ts +48 -0
- package/src/Utilities.ts +49 -0
- package/src/Vec4.ts +98 -0
- package/src/Vector.ts +189 -0
- package/src/VectorCalculus.ts +87 -0
- package/src/VectorUtils.ts +797 -0
- package/src/differentiation-rules.ts +73 -0
- package/src/index.ts +140 -0
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"VectorUtils.js","sourceRoot":"","sources":["../src/VectorUtils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AA4BrC,MAAM,OAAO,WAAW;IACtB,2EAA2E;IAE3E,MAAM,CAAC,QAAQ,CAAC,CAAU;QACxB,OAAO,CAAC,YAAY,MAAM,CAAC;IAC7B,CAAC;IAED,MAAM,CAAC,WAAW,CAAC,CAAU;QAC3B,OAAO,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,CAAC;IAChC,CAAC;IAED;;;;;;;;OAQG;IACH,MAAM,CAAC,kBAAkB,CACvB,MAAuB,EACvB,kBAAsC,WAAW,CAAC,QAAQ;QAE1D,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,eAAe,CAAC,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;QACtC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,gFAAgF;IAChF,MAAM,CAAC,QAAQ,CAAI,MAAiB,EAAE,OAAU,EAAE,gBAAwC;QACxF,IAAI,CAAC,gBAAgB;YAAE,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACjE,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC;gBAAE,OAAO,IAAI,CAAC;QAChD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,wDAAwD;IACxD,MAAM,CAAC,MAAM,CAAI,KAAgB,EAAE,IAAe;QAChD,OAAO,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,CAAC;IAED,0DAA0D;IAC1D,MAAM,CAAC,OAAO,CAAI,KAAgB,EAAE,IAAe;QACjD,OAAO,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC;IACpD,CAAC;IAED,MAAM,CAAC,qBAAqB,CAAC,MAAuB,EAAE,eAAoC;QACxF,OAAO,CAAC,WAAW,CAAC,kBAAkB,CAAC,MAAM,EAAE,eAAe,IAAI,WAAW,CAAC,QAAQ,CAAC,CAAC;IAC1F,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,MAAuB,EAAE,eAAoC;QACzE,OAAO,WAAW,CAAC,qBAAqB,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACpE,CAAC;IAED,2EAA2E;IAE3E,mEAAmE;IACnE,MAAM,CAAC,kBAAkB,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,EAAE,IAAI,GAAG,CAAC;QACvD,MAAM,GAAG,GAAG,IAAI,MAAM,EAAU,CAAC;QACjC,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACb,IAAI,KAAK,GAAG,KAAK;gBAAE,KAAK,GAAG,KAAK,CAAC;YACjC,OAAO,KAAK,IAAI,KAAK,EAAE,CAAC;gBACtB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAChB,KAAK,IAAI,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACpB,IAAI,KAAK,GAAG,KAAK;gBAAE,KAAK,GAAG,KAAK,CAAC;YACjC,OAAO,KAAK,IAAI,KAAK,EAAE,CAAC;gBACtB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAChB,KAAK,IAAI,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,uEAAuE;IACvE,MAAM,CAAC,gBAAgB,CAAC,KAAa,EAAE,KAAa,EAAE,IAAY;QAChE,OAAO,WAAW,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;IAC9E,CAAC;IAED,oEAAoE;IACpE,MAAM,CAAC,iBAAiB,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,EAAE,IAAI,GAAG,CAAC;QACvD,MAAM,GAAG,GAAG,IAAI,MAAM,EAAU,CAAC;QACjC,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,KAAK,GAAG,KAAK,CAAC;YACrD,OAAO,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAChB,KAAK,IAAI,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;YAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,KAAK,GAAG,KAAK,CAAC;YACrD,OAAO,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAChB,KAAK,IAAI,IAAI,CAAC;YAChB,CAAC;QACH,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,0CAA0C;IAC1C,MAAM,CAAC,cAAc,CAAI,MAAM,GAAG,CAAC,EAAE,CAAI;QACvC,MAAM,GAAG,GAAG,IAAI,MAAM,EAAK,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,OAAO,GAAG,CAAC;IACb,CAAC;IAED,mCAAmC;IACnC,MAAM,CAAC,SAAS,CAAI,KAAkB;QACpC,OAAO,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC;IAED;;;OAGG;IACH,MAAM,CAAC,KAAK,CAAC,UAAmB,IAAI,EAAE,UAAmB,IAAI;QAC3D,IAAI,OAAO,YAAY,MAAM,IAAI,OAAO,YAAY,MAAM,EAAE,CAAC;YAC3D,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,OAAO,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,OAAO,YAAY,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACnB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,IAAI,OAAO,YAAY,MAAM,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;YAC7B,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,wCAAwC;YACrE,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,iBAAiB,CACtB,KAAmB,EACnB,OAA0B,EAC1B,YAAiD,EACjD,IAAI,GAAG,KAAK;QAEZ,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACpC,IAAI,IAAI,EAAE,CAAC;YACT,kEAAkE;YAClE,iEAAiE;YACjE,qEAAqE;YACrE,qEAAqE;YACrE,+BAA+B;YAC/B,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QACpD,CAAC;aAAM,CAAC;YACN,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;YAC1B,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;gBAC1B,MAAM,CAAC,KAAK,EAAE,CAAC;gBACf,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAM,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,kFAAkF;IAClF,MAAM,CAAC,IAAI,CAAC,OAAgB,EAAE,KAAK,GAAG,CAAC;QACrC,IAAI,KAAK,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAChC,MAAM,GAAG,GAAG,IAAI,MAAM,EAAW,CAAC;QAClC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClB,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,QAAQ,CAAC,SAAS,GAAG,CAAC;QAC3B,IAAI,YAAoB,CAAC;QACzB,QAAQ,SAAS,EAAE,CAAC;YAClB,KAAK,CAAC;gBACJ,YAAY,GAAG,OAAO,CAAC;gBACvB,MAAM;YACR,KAAK,CAAC;gBACJ,YAAY,GAAG,OAAO,CAAC;gBACvB,MAAM;YACR,KAAK,CAAC;gBACJ,YAAY,GAAG,OAAO,CAAC;gBACvB,MAAM;YACR;gBACE,YAAY,GAAG,OAAO,CAAC;QAC3B,CAAC;QACD,OAAO,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAClG,CAAC;IAED,2EAA2E;IAE3E,sEAAsE;IACtE,MAAM,CAAC,WAAW,CAAI,CAAkB,EAAE,cAAgC;QACxE,MAAM,GAAG,GAAG,IAAI,MAAM,CAAI,CAAC,CAAC,MAAM,CAAC,CAAC;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;QAChE,OAAO,GAAG,CAAC;IACb,CAAC;IAED,8CAA8C;IAC9C,MAAM,CAAC,SAAS,CAAO,MAAiB,EAAE,cAA2B;QACnE,MAAM,GAAG,GAAG,IAAI,MAAM,EAAK,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,4CAA4C;IAC5C,MAAM,CAAC,OAAO,CAAI,MAAuB,EAAE,OAAU;QACnD,MAAM,GAAG,GAAG,IAAI,MAAM,EAAK,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,OAAO,GAAG,CAAC;IACb,CAAC;IAED,+EAA+E;IAC/E,MAAM,CAAC,iBAAiB,CACtB,MAAuB,EACvB,cAAuC,EACvC,mBAAuC,WAAW,CAAC,WAAW;QAE9D,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,MAAM,CAAC,EAAE,CAAC;gBACpD,GAAG,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,iBAAiB,CAAC,EAAE,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,0DAA0D;IAC1D,MAAM,CAAC,eAAe,CACpB,MAAuB,EACvB,OAAgB,EAChB,mBAAuC,WAAW,CAAC,WAAW;QAE9D,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;YAClB,IAAI,gBAAgB,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,YAAY,MAAM,CAAC,EAAE,CAAC;gBACpD,GAAG,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;YACnB,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,eAAe,CAAC,EAAE,EAAE,OAAO,EAAE,gBAAgB,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,uEAAuE;IACvE,MAAM,CAAC,IAAI,CAAI,MAAiB,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC;QACnD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC3B,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC;QACvC,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACrB,OAAO,GAAG,CAAC;IACb,CAAC;IAED,oEAAoE;IACpE,MAAM,CAAC,cAAc,CAAI,MAAiB,EAAE,GAAG,MAAW;QACxD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAM,CAAC,EAAE,CAAC;gBACjC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;gBACrB,CAAC,EAAE,CAAC;YACN,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,mDAAmD;IACnD,MAAM,CAAC,MAAM,CAAI,MAAiB,EAAE,cAA4B;QAC9D,MAAM,GAAG,GAAG,IAAI,MAAM,EAAK,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,IAAI,cAAc,CAAC,CAAC,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3D,OAAO,GAAG,CAAC;IACb,CAAC;IAED,gDAAgD;IAChD,MAAM,CAAC,KAAK,CAAI,IAAe;QAC7B,MAAM,KAAK,GAAG,IAAI,MAAM,EAAK,CAAC;QAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAEpC,0EAA0E;QAC1E,0EAA0E;QAC1E,wCAAwC;QACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAa,CAAC;QACpC,MAAM,KAAK,GAAQ,EAAE,CAAC;QACtB,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACrC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,UAAU,GAAG,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAW,CAAC;YAC/C,IAAI,UAAU,GAAG,SAAS;gBAAE,SAAS,GAAG,UAAU,CAAC;QACrD,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,yEAAyE;IACzE,MAAM,CAAC,OAAO,CAAC,MAAuB;QACpC,qEAAqE;QACrE,yEAAyE;QACzE,mEAAmE;QACnE,iEAAiE;QACjE,MAAM,GAAG,GAAG,IAAI,MAAM,EAAW,CAAC;QAClC,MAAM,IAAI,GAAG,CAAC,CAAkB,EAAQ,EAAE;YACxC,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;gBACnB,IAAI,EAAE,YAAY,MAAM,EAAE,CAAC;oBACzB,IAAI,CAAC,EAAE,CAAC,CAAC;gBACX,CAAC;qBAAM,CAAC;oBACN,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,CAAC;QACb,OAAO,GAAG,CAAC;IACb,CAAC;IAED,yEAAyE;IACzE,MAAM,CAAC,SAAS,CAAC,MAAuB;QACtC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,MAAM,EAAW,CAAC;QACtD,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC;YAAE,OAAO,MAAM,CAAC,KAAK,EAAE,CAAC;QAE1D,yEAAyE;QACzE,wEAAwE;QACxE,uEAAuE;QACvE,yEAAyE;QACzE,0DAA0D;QAC1D,MAAM,GAAG,GAAG,IAAI,MAAM,EAAW,CAAC;QAClC,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,IAAI,EAAE,YAAY,MAAM,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,IAAI,EAAE;oBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,6EAA6E;IAC7E,MAAM,CAAC,eAAe,CAAC,MAAuB,EAAE,KAAK,GAAG,CAAC;QACvD,IAAI,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;QACpE,0EAA0E;QAC1E,qEAAqE;QACrE,0EAA0E;QAC1E,iEAAiE;QACjE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;YAAE,GAAG,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACjE,OAAO,GAAG,CAAC;IACb,CAAC;IAED,4EAA4E;IAC5E,MAAM,CAAC,OAAO,CAAC,MAAuB;QACpC,OAAO,WAAW,CAAC,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC7D,CAAC;IAED,2CAA2C;IAC3C,MAAM,CAAC,aAAa,CAAC,MAAuB,EAAE,KAAK,GAAG,CAAC;QACrD,IAAI,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;YAAE,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC/D,OAAO,GAAG,CAAC;IACb,CAAC;IAED,2EAA2E;IAE3E,mEAAmE;IACnE,MAAM,CAAC,MAAM,CAAI,MAAiB,EAAE,SAAoB,EAAE,KAAK,GAAG,CAAC,CAAC;QAClE,IAAI,KAAK,GAAG,CAAC;YAAE,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;QACrC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC1C,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC,CAAM,CAAC,CAAC;QAC9C,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,OAAO,CACZ,KAAgB,EAChB,IAAe,EACf,eAAgC,EAChC,YAAgB;QAEhB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,IAAI,MAAM,CAAY,GAAG,CAAC,CAAC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;YAC9B,MAAM,IAAI,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YAC7B,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;gBACjB,GAAG,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,CAAM,EAAE,IAAI,CAAC,CAAC,CAAM,CAAC,CAAC;YACxD,CAAC;iBAAM,IAAI,IAAI,EAAE,CAAC;gBAChB,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAE,KAAK,CAAC,CAAC,CAAO,CAAC;YACvE,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC,CAAO,CAAC;YACtE,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,2EAA2E;IAE3E,MAAM,CAAC,MAAM,CAAC,IAAqB;QACjC,OAAO,IAAI,CAAC,MAAM,CAAC;IACrB,CAAC;IAED,4EAA4E;IAC5E,MAAM,CAAC,QAAQ,CAAI,MAAiB,EAAE,eAAgC,EAAE,gBAA0B,IAAI;QACpG,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,aAAa,CAAC;QAC5C,IAAI,GAAG,GAAG,IAAI,CAAC,CAAC,CAAM,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,GAAG,eAAe,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAM,CAAC,CAAC;QAC/E,OAAO,GAAG,CAAC;IACb,CAAC;IAED,kDAAkD;IAClD,MAAM,CAAC,OAAO,CAAI,MAAiB,EAAE,cAA4B;QAC/D,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,IAAI,cAAc,CAAC,CAAC,CAAC;gBAAE,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,6DAA6D;IAC7D,MAAM,CAAC,KAAK,CAAI,MAAiB,EAAE,YAAe;QAChD,OAAO,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC;IAChE,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,kBAAkB,CAAI,MAAiB,EAAE,cAA4B;QAC1E,MAAM,WAAW,GAAa,CAAC,CAAC,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;gBACtB,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YACxC,CAAC;iBAAM,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrD,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;QACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC;YAAE,WAAW,CAAC,GAAG,EAAE,CAAC;QAC3F,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,2CAA2C;IAC3C,MAAM,CAAC,aAAa,CAAC,MAAuB,EAAE,YAAY,GAAG,CAAC;QAC5D,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC;YAAE,OAAO,YAAY,CAAC;QACxD,OAAO,WAAW,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC;IAED,2EAA2E;IAE3E,kDAAkD;IAClD,MAAM,CAAU,YAAY,GAAG,KAAK,CAAC;IAErC,sEAAsE;IACtE,MAAM,CAAC,QAAQ,CAAC,MAAuB;QACrC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QACjD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,CAAC,YAAY,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;gBAAE,OAAO,KAAK,CAAC;QAClE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,MAAuB;QAClC,OAAQ,MAAM,CAAC,CAAC,CAAqB,CAAC,MAAM,CAAC;IAC/C,CAAC;IAED,MAAM,CAAC,MAAM,CAAC,MAAuB;QACnC,OAAO,MAAM,CAAC,MAAM,CAAC;IACvB,CAAC;IAED,kDAAkD;IAClD,MAAM,CAAC,cAAc,CAAI,MAAM,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,CAAI;QAClD,MAAM,GAAG,GAAG,IAAI,MAAM,EAAa,CAAC;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,MAAM,GAAG,GAAG,IAAI,MAAM,EAAK,CAAC;YAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5C,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,4EAA4E;IAC5E,MAAM,CAAC,gBAAgB,CAAI,MAAM,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,GAAM,EAAE,IAAO;QAC/D,MAAM,QAAQ,GAAG,WAAW,CAAC,cAAc,CAAI,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QACpE,OAAO,WAAW,CAAC,iBAAiB,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,4CAA4C;IAC5C,MAAM,CAAC,iBAAiB,CAAI,MAAiB;QAC3C,MAAM,GAAG,GAAG,IAAI,MAAM,EAAa,CAAC;QACpC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjB,OAAO,GAAG,CAAC;IACb,CAAC;IAED,+CAA+C;IAC/C,MAAM,CAAC,oBAAoB,CAAI,MAAiB;QAC9C,OAAO,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC;IACtE,CAAC;IAED,+DAA+D;IAC/D,MAAM,CAAC,iBAAiB,CAAI,CAAkB,EAAE,eAA0C;QACxF,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAA0B,CAAC;QAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,GAAG,CAAC,CAAC,CAAe,CAAC,CAAC,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,qDAAqD;IACrD,MAAM,CAAC,aAAa,CAAI,CAAkB,EAAE,OAAU;QACpD,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAA0B,CAAC;QAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;gBAAG,GAAG,CAAC,CAAC,CAAe,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;QACtF,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,0BAA0B;IAC1B,MAAM,CAAC,SAAS,CAAI,MAAiB;QACnC,MAAM,GAAG,GAAG,IAAI,MAAM,EAAa,CAAC;QACpC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAI,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACxG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAClD,GAAG,CAAC,CAAC,CAAe,CAAC,CAAC,CAAC,GAAI,MAAM,CAAC,CAAC,CAAe,CAAC,CAAC,CAAM,CAAC;YAC9D,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,wDAAwD;IACxD,MAAM,CAAC,MAAM,CAAI,CAAY,EAAE,KAAK,GAAG,CAAC;QACtC,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAc,CAAC;IACjD,CAAC;IAED,2DAA2D;IAC3D,MAAM,CAAC,SAAS,CAAI,CAAY,EAAE,KAAK,GAAG,CAAC;QACzC,OAAO,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACpF,CAAC;IAED,MAAM,CAAC,UAAU,CAAI,CAAY,EAAE,KAAK,GAAG,CAAC;QAC1C,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACtB,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QACzB,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,CAAC,aAAa,CAAI,CAAY,EAAE,KAAK,GAAG,CAAC;QAC7C,OAAO,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,UAAU,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IACxF,CAAC;IAED,MAAM,CAAC,WAAW,CAAI,MAAiB,EAAE,QAAmB,EAAE,KAAK,GAAG,CAAC,CAAC;QACtE,OAAO,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAc,EAAE,KAAK,CAAC,CAAC;IACpF,CAAC;IAED,MAAM,CAAC,cAAc,CAAI,MAAiB,EAAE,QAAmB,EAAE,KAAK,GAAG,CAAC,CAAC;QACzE,OAAO,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,WAAW,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;IACxG,CAAC;IAED,MAAM,CAAC,SAAS,CAAI,OAAkB,EAAE,OAAkB;QACxD,OAAO,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE,OAAO,CAAc,CAAC;IAC1D,CAAC;IAED,MAAM,CAAC,YAAY,CAAI,OAAkB,EAAE,OAAkB;QAC3D,OAAO,WAAW,CAAC,SAAS,CAC1B,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,CAAc,CACnG,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,MAAM,CAAI,MAAiB,EAAE,SAAoB,EAAE,KAAK,GAAG,CAAC;QACjE,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC3B,GAAG,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACjC,OAAO,GAAG,CAAC;IACb,CAAC;IAED,MAAM,CAAC,SAAS,CAAI,MAAiB,EAAE,SAAoB,EAAE,KAAK,GAAG,CAAC;QACpE,OAAO,WAAW,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IACpG,CAAC;IAED,wEAAwE;IACxE,MAAM,CAAC,UAAU,CAAI,MAAiB,EAAE,KAAgB,EAAE,CAAS,EAAE,CAAS;QAC5E,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;QAC3B,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;YAClE,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;gBACjE,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,MAAM,CAA0B,CAAC;gBACrD,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,GAAG,MAAM,EAAE,CAAC;oBACnC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAI,KAAK,CAAC,MAAM,CAAe,CAAC,MAAM,CAAM,CAAC;gBAC9D,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,qEAAqE;IACrE,MAAM,CAAC,UAAU,CAAI,CAAoB;QACvC,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAE/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,SAAS,IAAI,WAAW,CAAC,MAAM,CAAE,CAAC,CAAC,CAAC,CAAuB,CAAC,CAAC,CAAc,CAAC,CAAC;QACzG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,QAAQ,IAAI,WAAW,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,CAAuB,CAAC,CAAC,CAAc,CAAC,CAAC;QAEvG,MAAM,MAAM,GAAG,WAAW,CAAC,cAAc,CAAI,SAAS,EAAE,QAAQ,EAAE,IAAoB,CAAC,CAAC;QACxF,IAAI,aAAa,GAAG,CAAC,CAAC;QACtB,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,IAAI,aAAa,GAAe,CAAC,CAAC,CAAC,CAAuB,CAAC,CAAC,CAAc,CAAC;QAC3E,OAAO,aAAa,GAAG,SAAS,EAAE,CAAC;YACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC3B,aAAa,GAAI,CAAC,CAAC,CAAC,CAAuB,CAAC,CAAC,CAAc,CAAC;oBAC5D,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;wBAC1E,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;4BACxE,MAAM,CAAC,aAAa,GAAG,MAAM,CAAe,CAAC,YAAY,GAAG,MAAM,CAAC,GAClE,aAAa,CAAC,MAAM,CACrB,CAAC,MAAM,CAAM,CAAC;wBACjB,CAAC;oBACH,CAAC;oBACD,YAAY,IAAI,WAAW,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;gBACnD,CAAC;gBACD,YAAY,GAAG,CAAC,CAAC;gBACjB,aAAa,IAAI,WAAW,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,6EAA6E;IAC7E,MAAM,CAAC,GAAG,CACR,MAAiB,EACjB,UAAoB,IAAI,EACxB,OAAO,GAAG,IAAI,EACd,OAAO,GAAG,IAAI,EACd,GAAG,GAAG,IAAI,EACV,MAAM,GAAG,IAAI,EACb,IAAI,GAAG,IAAI,EACX,KAAK,GAAG,IAAI;QAEZ,IAAI,GAAG,GAAG,MAAM,CAAC,KAAK,EAAe,CAAC;QACtC,IAAI,aAAwB,CAAC;QAE7B,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,WAAW,GAAG,CAAC,CAAC;YACpB,OAAO,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7C,aAAa,GAAG,WAAW,CAAC,cAAc,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,OAAY,CAAC,CAAC;gBACjF,GAAG,GAAG,WAAW,CAAC,WAAW,CAAC,GAAG,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;gBAC/D,WAAW,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,WAAW,GAAG,CAAC,CAAC;YACpB,OAAO,WAAW,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC5C,aAAa,GAAG,WAAW,CAAC,cAAc,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,OAAY,CAAC,CAAC;gBAClF,GAAG,GAAG,WAAW,CAAC,cAAc,CAAC,GAAG,EAAE,aAAa,EAAE,WAAW,CAAC,CAAC;gBAClE,WAAW,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QACD,IAAI,GAAG;YAAE,GAAG,GAAG,WAAW,CAAC,WAAW,CAAC,GAAG,EAAE,WAAW,CAAC,cAAc,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,OAAY,CAAC,EAAE,CAAC,CAAC,CAAC;QACjH,IAAI,MAAM;YACR,GAAG,GAAG,WAAW,CAAC,WAAW,CAAC,GAAG,EAAE,WAAW,CAAC,cAAc,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,OAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3G,IAAI,IAAI;YACN,GAAG,GAAG,WAAW,CAAC,cAAc,CAAC,GAAG,EAAE,WAAW,CAAC,cAAc,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,OAAY,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9G,IAAI,KAAK;YACP,GAAG,GAAG,WAAW,CAAC,cAAc,CAAC,GAAG,EAAE,WAAW,CAAC,cAAc,CAAC,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,OAAY,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/G,OAAO,GAAG,CAAC;IACb,CAAC;IAED,gEAAgE;IAChE,MAAM,CAAC,QAAQ,CAAI,CAAY,EAAE,GAAG,GAAG,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,MAAM,EAAK,CAAC;QAC7B,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE;gBAAE,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAe,CAAC,CAAC,GAAG,GAAG,CAAM,CAAC,CAAC;QACpG,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;gBAAE,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAe,CAAC,CAAC,CAAM,CAAC,CAAC;QACjG,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gEAAgE;IAChE,MAAM,CAAC,aAAa,CAAI,CAAY,EAAE,GAAG,GAAG,CAAC;QAC3C,MAAM,IAAI,GAAG,IAAI,MAAM,EAAK,CAAC;QAC7B,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;YACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;gBACpD,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,CAAe,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,CAAM,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC;YACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnD,IAAI,CAAC,IAAI,CAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAe,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAM,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,6DAA6D;IAC7D,MAAM,CAAC,YAAY,CACjB,MAAuB,EACvB,QAAQ,GAAG,CAAC,EACZ,MAAM,GAAG,CAAC,EACV,SAAS,GAAG,GAAG,EACf,WAAW,GAAG,GAAG,EACjB,YAAY,GAAG,GAAG,EAClB,YAAY,GAAG,GAAG,EAClB,cAAc,GAAG,GAAG,EACpB,cAAc,GAAG,GAAG;QAEpB,2EAA2E;QAC3E,MAAM,KAAK,GAAe,EAAE,CAAC;QAC7B,IAAI,KAAK,GAAG,QAAQ,CAAC;QACrB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACpD,MAAM,GAAG,GAAa,EAAE,CAAC;YACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnD,MAAM,GAAG,GAAI,MAAM,CAAC,CAAC,CAAqB,CAAC,CAAC,CAAC,CAAC;gBAC9C,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/C,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACd,IAAI,QAAQ,GAAG,CAAC,IAAI,KAAK,GAAG,GAAG,CAAC,MAAM;oBAAE,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC;YAC7D,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,CAAC;QAED,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;YACjB,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;gBACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACpC,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAW,CAAC;oBAC9B,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;wBACjB,IAAI,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;wBACnD,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;wBACrD,IAAI,MAAM,GAAG,CAAC;4BAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;wBAC1D,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;oBAC7D,CAAC;yBAAM,CAAC;wBACN,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;oBAClD,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,WAAW,GAAG,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,YAAY,CAAC,CAAC;QACxF,MAAM,UAAU,GAAG,GAAG,YAAY,KAAK,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,OAAO,cAAc,GAAG,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,cAAc,CAAC;IACvE,CAAC"}
|
|
@@ -0,0 +1,21 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Data-driven derivative rules for single-argument elementary functions --
|
|
3
|
+
* the `func` `Expr` variant (`sin`, `exp`, `asinh`, etc.). This is the
|
|
4
|
+
* "declarative rewrite-rule table" from the Woxi-study design note
|
|
5
|
+
* (github.com/johnhenry/math#15): each `FuncName` maps to a pure function
|
|
6
|
+
* from (the function's argument `u`, its already-differentiated form `du`)
|
|
7
|
+
* to d/dx[f(u)]. The chain-rule wrapping itself (computing `du` and
|
|
8
|
+
* dispatching on `e.name`) stays in Symbolic.ts, since that's structural
|
|
9
|
+
* recursion over the `Expr` union, not a per-function identity.
|
|
10
|
+
*
|
|
11
|
+
* Keeping this as a `Record<FuncName, ...>` rather than a `switch` means:
|
|
12
|
+
* adding/fixing one function's derivative touches one line here, not the
|
|
13
|
+
* differentiation engine; TypeScript enforces every `FuncName` has an entry
|
|
14
|
+
* (no `throw new Error("Unhandled function")` needed); and each rule is
|
|
15
|
+
* independently unit-testable (see differentiation-rules.test.ts).
|
|
16
|
+
*/
|
|
17
|
+
import type { Expr, FuncName } from "./Symbolic.ts";
|
|
18
|
+
/** d/dx[f(u)] given `u` and `du` (= du/dx, already computed by the caller). */
|
|
19
|
+
export type FuncDerivativeRule = (u: Expr, du: Expr) => Expr;
|
|
20
|
+
export declare const FUNC_DERIVATIVE_RULES: Record<FuncName, FuncDerivativeRule>;
|
|
21
|
+
//# sourceMappingURL=differentiation-rules.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"differentiation-rules.d.ts","sourceRoot":"","sources":["../src/differentiation-rules.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAWpD,+EAA+E;AAC/E,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,KAAK,IAAI,CAAC;AAE7D,eAAO,MAAM,qBAAqB,EAAE,MAAM,CAAC,QAAQ,EAAE,kBAAkB,CA0CtE,CAAC"}
|
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
const num = (value) => ({ type: "const", value });
|
|
2
|
+
const add = (left, right) => ({ type: "add", left, right });
|
|
3
|
+
const sub = (left, right) => ({ type: "sub", left, right });
|
|
4
|
+
const mul = (left, right) => ({ type: "mul", left, right });
|
|
5
|
+
const div = (left, right) => ({ type: "div", left, right });
|
|
6
|
+
const pow = (base, exp) => ({ type: "pow", base, exp });
|
|
7
|
+
const neg = (arg) => ({ type: "neg", arg });
|
|
8
|
+
const fn = (name, arg) => ({ type: "func", name, arg });
|
|
9
|
+
export const FUNC_DERIVATIVE_RULES = {
|
|
10
|
+
sin: (u, du) => mul(fn("cos", u), du),
|
|
11
|
+
cos: (u, du) => neg(mul(fn("sin", u), du)),
|
|
12
|
+
tan: (u, du) => div(du, pow(fn("cos", u), num(2))),
|
|
13
|
+
exp: (u, du) => mul(fn("exp", u), du),
|
|
14
|
+
ln: (u, du) => div(du, u),
|
|
15
|
+
sqrt: (u, du) => div(du, mul(num(2), fn("sqrt", u))),
|
|
16
|
+
asin: (u, du) => div(du, fn("sqrt", sub(num(1), pow(u, num(2))))),
|
|
17
|
+
acos: (u, du) => neg(div(du, fn("sqrt", sub(num(1), pow(u, num(2)))))),
|
|
18
|
+
atan: (u, du) => div(du, add(num(1), pow(u, num(2)))),
|
|
19
|
+
sinh: (u, du) => mul(fn("cosh", u), du),
|
|
20
|
+
cosh: (u, du) => mul(fn("sinh", u), du),
|
|
21
|
+
tanh: (u, du) => div(du, pow(fn("cosh", u), num(2))),
|
|
22
|
+
cot: (u, du) => neg(mul(pow(fn("csc", u), num(2)), du)),
|
|
23
|
+
sec: (u, du) => mul(mul(fn("sec", u), fn("tan", u)), du),
|
|
24
|
+
csc: (u, du) => neg(mul(mul(fn("csc", u), fn("cot", u)), du)),
|
|
25
|
+
asinh: (u, du) => div(du, fn("sqrt", add(pow(u, num(2)), num(1)))),
|
|
26
|
+
acosh: (u, du) => div(du, fn("sqrt", sub(pow(u, num(2)), num(1)))),
|
|
27
|
+
atanh: (u, du) => div(du, sub(num(1), pow(u, num(2)))),
|
|
28
|
+
coth: (u, du) => neg(mul(pow(fn("csch", u), num(2)), du)),
|
|
29
|
+
sech: (u, du) => neg(mul(mul(fn("sech", u), fn("tanh", u)), du)),
|
|
30
|
+
csch: (u, du) => neg(mul(mul(fn("csch", u), fn("coth", u)), du)),
|
|
31
|
+
acot: (u, du) => neg(div(du, add(num(1), pow(u, num(2))))),
|
|
32
|
+
asec: (u, du) => div(du, mul(fn("abs", u), fn("sqrt", sub(pow(u, num(2)), num(1))))),
|
|
33
|
+
acsc: (u, du) => neg(div(du, mul(fn("abs", u), fn("sqrt", sub(pow(u, num(2)), num(1)))))),
|
|
34
|
+
acoth: (u, du) => div(du, sub(num(1), pow(u, num(2)))),
|
|
35
|
+
asech: (u, du) => neg(div(du, mul(u, fn("sqrt", sub(num(1), pow(u, num(2))))))),
|
|
36
|
+
acsch: (u, du) => neg(div(du, mul(fn("abs", u), fn("sqrt", add(num(1), pow(u, num(2))))))),
|
|
37
|
+
abs: (u, du) => mul(fn("sign", u), du),
|
|
38
|
+
log10: (u, du) => div(du, mul(u, fn("ln", num(10)))),
|
|
39
|
+
log2: (u, du) => div(du, mul(u, fn("ln", num(2)))),
|
|
40
|
+
cbrt: (u, du) => div(du, mul(num(3), pow(fn("cbrt", u), num(2)))),
|
|
41
|
+
floor: () => num(0),
|
|
42
|
+
ceil: () => num(0),
|
|
43
|
+
round: () => num(0),
|
|
44
|
+
sign: () => num(0),
|
|
45
|
+
trunc: () => num(0),
|
|
46
|
+
expm1: (u, du) => mul(fn("exp", u), du),
|
|
47
|
+
log1p: (u, du) => div(du, add(num(1), u)),
|
|
48
|
+
sigmoid: (u, du) => mul(mul(fn("sigmoid", u), sub(num(1), fn("sigmoid", u))), du),
|
|
49
|
+
erf: (u, du) => mul(mul(div(num(2), fn("sqrt", num(Math.PI))), fn("exp", neg(pow(u, num(2))))), du),
|
|
50
|
+
relu: (u, du) => mul(div(add(num(1), fn("sign", u)), num(2)), du),
|
|
51
|
+
};
|
|
52
|
+
//# sourceMappingURL=differentiation-rules.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"differentiation-rules.js","sourceRoot":"","sources":["../src/differentiation-rules.ts"],"names":[],"mappings":"AAkBA,MAAM,GAAG,GAAG,CAAC,KAAa,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;AAChE,MAAM,GAAG,GAAG,CAAC,IAAU,EAAE,KAAW,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC9E,MAAM,GAAG,GAAG,CAAC,IAAU,EAAE,KAAW,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC9E,MAAM,GAAG,GAAG,CAAC,IAAU,EAAE,KAAW,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC9E,MAAM,GAAG,GAAG,CAAC,IAAU,EAAE,KAAW,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC9E,MAAM,GAAG,GAAG,CAAC,IAAU,EAAE,GAAS,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAC1E,MAAM,GAAG,GAAG,CAAC,GAAS,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;AACxD,MAAM,EAAE,GAAG,CAAC,IAAc,EAAE,GAAS,EAAQ,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAK9E,MAAM,CAAC,MAAM,qBAAqB,GAAyC;IACzE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IACrC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1C,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IACrC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACzB,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IACvC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IACvC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACxD,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7D,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpF,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzF,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IACtC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnB,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClB,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnB,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAClB,KAAK,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACnB,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;IACvC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzC,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACjF,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACnG,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;CAClE,CAAC"}
|
package/dist/index.d.ts
ADDED
|
@@ -0,0 +1,52 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @johnhenry/math — advanced college-level mathematics for TypeScript.
|
|
3
|
+
*
|
|
4
|
+
* A modern, tested TypeScript port of the Mallory ActionScript 3 library.
|
|
5
|
+
*/
|
|
6
|
+
export { Bivector4 } from "./Bivector4.ts";
|
|
7
|
+
export { CellGraph, type CellRole, CircularDependencyError, structuralEqual } from "./CellGraph.ts";
|
|
8
|
+
export { Combinatorics } from "./Combinatorics.ts";
|
|
9
|
+
export { combinations, combinationsWithReplacement, permutations, product, } from "./CombinatoricsGenerators.ts";
|
|
10
|
+
export * as ComplexMath from "./ComplexMath.ts";
|
|
11
|
+
export { ComplexNumber } from "./ComplexNumber.ts";
|
|
12
|
+
export { Cycle } from "./Cycle.ts";
|
|
13
|
+
export { Decimal } from "./Decimal.ts";
|
|
14
|
+
export { type ContinuousDistribution, type DiscreteDistribution, Distributions, HypothesisTests, type TestResult, } from "./Distributions.ts";
|
|
15
|
+
export { DualNumber } from "./DualNumber.ts";
|
|
16
|
+
export { FUNC_DERIVATIVE_RULES, type FuncDerivativeRule } from "./differentiation-rules.ts";
|
|
17
|
+
export { Environment } from "./Environment.ts";
|
|
18
|
+
export { Expression } from "./Expression.ts";
|
|
19
|
+
export { FFT } from "./FFT.ts";
|
|
20
|
+
export { type BivectorGeometricProduct, commutatorProduct, dotProduct as dotProduct4, dual as dual4, geometricProductBivectors, geometricProductVectors, leftContraction, type VectorGeometricProduct, wedgeProduct as wedgeProduct4, } from "./GeometricAlgebra4.ts";
|
|
21
|
+
export { Geometry, type Point, Transform2D } from "./Geometry.ts";
|
|
22
|
+
export { type Edge, Graph } from "./Graph.ts";
|
|
23
|
+
export { type Face, Graph3DUtils, type Material, type Mesh, type Placement3D, type Vec3, } from "./Graph3DUtils.ts";
|
|
24
|
+
export { type BarPlacement2D, type FillStyle, GraphUtils, type Path2D, type PathCommand, type Placement2D, type StrokeStyle, } from "./GraphUtils.ts";
|
|
25
|
+
export { GroupTheory } from "./GroupTheory.ts";
|
|
26
|
+
export { Interval } from "./Interval.ts";
|
|
27
|
+
export { IntUtils } from "./IntUtils.ts";
|
|
28
|
+
export { HEX_AXIAL_DIRECTIONS, type HexDirection, hexNeighbor, hexNeighbors, type TriDirection, type TriOrientation, triNeighbor, triNeighbors, triOrientation, } from "./Lattice.ts";
|
|
29
|
+
export { Logic } from "./Logic.ts";
|
|
30
|
+
export { type EigenResult, type LUResult, MatrixMath, type QRResult, type SVDResult, } from "./MatrixMath.ts";
|
|
31
|
+
export { NumberTheory } from "./NumberTheory.ts";
|
|
32
|
+
export { type LevenbergMarquardtResult, Numerical, type ODEStep } from "./Numerical.ts";
|
|
33
|
+
export { Permutation } from "./Permutation.ts";
|
|
34
|
+
export { Polygon } from "./Polygon.ts";
|
|
35
|
+
export { PolynomialRing, parsePolynomial, polynomialToString } from "./PolynomialRing.ts";
|
|
36
|
+
export { Quaternion } from "./Quaternion.ts";
|
|
37
|
+
export { Rational } from "./Rational.ts";
|
|
38
|
+
export * as RealMath from "./RealMath.ts";
|
|
39
|
+
export { Rotor4 } from "./Rotor4.ts";
|
|
40
|
+
export { SpecialFunctions } from "./SpecialFunctions.ts";
|
|
41
|
+
export { SpecialOperator } from "./SpecialOperator.ts";
|
|
42
|
+
export * as Statistics from "./Statistics.ts";
|
|
43
|
+
export { StringEvaluator } from "./StringEvaluator.ts";
|
|
44
|
+
export { Structure, type StructureOptions } from "./Structure.ts";
|
|
45
|
+
export { type Assumption, type BinaryFuncName, type CmpOp, DegenerateOdeError, type DifferentiationStep, type Expr, FUNCTION_NAMES, type FuncName, InfiniteSolutionsError, IntegrationSingularityError, NoClosedFormError, NonLinearSystemError, NotIntegrableError, NotSeparableError, type OdeClosedFormResult, ProductNotDifferentiableError, SeriesDivergesError, SingularSystemError, Symbolic, SystemDidNotConvergeError, UndeclaredVariableError, } from "./Symbolic.ts";
|
|
46
|
+
export { Type, TypeTag } from "./Type.ts";
|
|
47
|
+
export { Utilities } from "./Utilities.ts";
|
|
48
|
+
export { Vec4 } from "./Vec4.ts";
|
|
49
|
+
export { Vector } from "./Vector.ts";
|
|
50
|
+
export { VectorCalculus } from "./VectorCalculus.ts";
|
|
51
|
+
export { type Matrix, VectorUtils } from "./VectorUtils.ts";
|
|
52
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAI3C,OAAO,EAAE,SAAS,EAAE,KAAK,QAAQ,EAAE,uBAAuB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAEpG,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,YAAY,EACZ,2BAA2B,EAC3B,YAAY,EACZ,OAAO,GACR,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EACL,KAAK,sBAAsB,EAC3B,KAAK,oBAAoB,EACzB,aAAa,EACb,eAAe,EACf,KAAK,UAAU,GAChB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAAE,KAAK,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAE5F,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EACL,KAAK,wBAAwB,EAC7B,iBAAiB,EACjB,UAAU,IAAI,WAAW,EACzB,IAAI,IAAI,KAAK,EACb,yBAAyB,EACzB,uBAAuB,EACvB,eAAe,EACf,KAAK,sBAAsB,EAC3B,YAAY,IAAI,aAAa,GAC9B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,QAAQ,EAAE,KAAK,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EACL,KAAK,IAAI,EACT,YAAY,EACZ,KAAK,QAAQ,EACb,KAAK,IAAI,EACT,KAAK,WAAW,EAChB,KAAK,IAAI,GACV,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,SAAS,EACd,UAAU,EACV,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,WAAW,GACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EACL,oBAAoB,EACpB,KAAK,YAAY,EACjB,WAAW,EACX,YAAY,EACZ,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,WAAW,EACX,YAAY,EACZ,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,QAAQ,EACb,UAAU,EACV,KAAK,QAAQ,EACb,KAAK,SAAS,GACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,KAAK,wBAAwB,EAAE,SAAS,EAAE,KAAK,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,OAAO,EAAE,SAAS,EAAE,KAAK,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EACL,KAAK,UAAU,EACf,KAAK,cAAc,EACnB,KAAK,KAAK,EACV,kBAAkB,EAClB,KAAK,mBAAmB,EACxB,KAAK,IAAI,EACT,cAAc,EACd,KAAK,QAAQ,EACb,sBAAsB,EACtB,2BAA2B,EAC3B,iBAAiB,EACjB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,KAAK,mBAAmB,EACxB,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,QAAQ,EACR,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD,OAAO,EAAE,KAAK,MAAM,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC"}
|
package/dist/index.js
ADDED
|
@@ -0,0 +1,66 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* @johnhenry/math — advanced college-level mathematics for TypeScript.
|
|
3
|
+
*
|
|
4
|
+
* A modern, tested TypeScript port of the Mallory ActionScript 3 library.
|
|
5
|
+
*/
|
|
6
|
+
// 4D geometric algebra (vectors, bivectors, rotors) -- see report/MIEGAKURE_REPORT.md
|
|
7
|
+
// in johnhenry/miegakure-archive for the design context this was built for.
|
|
8
|
+
export { Bivector4 } from "./Bivector4.js";
|
|
9
|
+
// Reactive, pull-based dependency graph -- promoted from johnhenry/mallory
|
|
10
|
+
// (its src/lib/cell-graph.ts), which math-grapher also vendored a frozen
|
|
11
|
+
// copy of; both now import it from here instead. See johnhenry/math#56.
|
|
12
|
+
export { CellGraph, CircularDependencyError, structuralEqual } from "./CellGraph.js";
|
|
13
|
+
// Counting mathematics
|
|
14
|
+
export { Combinatorics } from "./Combinatorics.js";
|
|
15
|
+
export { combinations, combinationsWithReplacement, permutations, product, } from "./CombinatoricsGenerators.js";
|
|
16
|
+
export * as ComplexMath from "./ComplexMath.js";
|
|
17
|
+
export { ComplexNumber } from "./ComplexNumber.js";
|
|
18
|
+
export { Cycle } from "./Cycle.js";
|
|
19
|
+
export { Decimal } from "./Decimal.js";
|
|
20
|
+
export { Distributions, HypothesisTests, } from "./Distributions.js";
|
|
21
|
+
export { DualNumber } from "./DualNumber.js";
|
|
22
|
+
export { FUNC_DERIVATIVE_RULES } from "./differentiation-rules.js";
|
|
23
|
+
// Expression evaluation
|
|
24
|
+
export { Environment } from "./Environment.js";
|
|
25
|
+
export { Expression } from "./Expression.js";
|
|
26
|
+
export { FFT } from "./FFT.js";
|
|
27
|
+
export { commutatorProduct, dotProduct as dotProduct4, dual as dual4, geometricProductBivectors, geometricProductVectors, leftContraction, wedgeProduct as wedgeProduct4, } from "./GeometricAlgebra4.js";
|
|
28
|
+
export { Geometry, Transform2D } from "./Geometry.js";
|
|
29
|
+
export { Graph } from "./Graph.js";
|
|
30
|
+
export { Graph3DUtils, } from "./Graph3DUtils.js";
|
|
31
|
+
// Graphing (renderer-agnostic geometry)
|
|
32
|
+
export { GraphUtils, } from "./GraphUtils.js";
|
|
33
|
+
export { GroupTheory } from "./GroupTheory.js";
|
|
34
|
+
// Combinatorics & number theory
|
|
35
|
+
export { Interval } from "./Interval.js";
|
|
36
|
+
export { IntUtils } from "./IntUtils.js";
|
|
37
|
+
export { HEX_AXIAL_DIRECTIONS, hexNeighbor, hexNeighbors, triNeighbor, triNeighbors, triOrientation, } from "./Lattice.js";
|
|
38
|
+
export { Logic } from "./Logic.js";
|
|
39
|
+
export { MatrixMath, } from "./MatrixMath.js";
|
|
40
|
+
export { NumberTheory } from "./NumberTheory.js";
|
|
41
|
+
export { Numerical } from "./Numerical.js";
|
|
42
|
+
export { Permutation } from "./Permutation.js";
|
|
43
|
+
export { Polygon } from "./Polygon.js";
|
|
44
|
+
export { PolynomialRing, parsePolynomial, polynomialToString } from "./PolynomialRing.js";
|
|
45
|
+
export { Quaternion } from "./Quaternion.js";
|
|
46
|
+
export { Rational } from "./Rational.js";
|
|
47
|
+
// Numeric cores
|
|
48
|
+
export * as RealMath from "./RealMath.js";
|
|
49
|
+
export { Rotor4 } from "./Rotor4.js";
|
|
50
|
+
export { SpecialFunctions } from "./SpecialFunctions.js";
|
|
51
|
+
export { SpecialOperator } from "./SpecialOperator.js";
|
|
52
|
+
export * as Statistics from "./Statistics.js";
|
|
53
|
+
export { StringEvaluator } from "./StringEvaluator.js";
|
|
54
|
+
// Algebraic structures & geometry
|
|
55
|
+
export { Structure } from "./Structure.js";
|
|
56
|
+
export { DegenerateOdeError, FUNCTION_NAMES, InfiniteSolutionsError, IntegrationSingularityError, NoClosedFormError, NonLinearSystemError, NotIntegrableError, NotSeparableError, ProductNotDifferentiableError, SeriesDivergesError, SingularSystemError, Symbolic, SystemDidNotConvergeError, UndeclaredVariableError, } from "./Symbolic.js";
|
|
57
|
+
export { Type, TypeTag } from "./Type.js";
|
|
58
|
+
// Utilities & leaves
|
|
59
|
+
export { Utilities } from "./Utilities.js";
|
|
60
|
+
export { Vec4 } from "./Vec4.js";
|
|
61
|
+
// Foundations
|
|
62
|
+
export { Vector } from "./Vector.js";
|
|
63
|
+
export { VectorCalculus } from "./VectorCalculus.js";
|
|
64
|
+
// Linear algebra
|
|
65
|
+
export { VectorUtils } from "./VectorUtils.js";
|
|
66
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,sFAAsF;AACtF,4EAA4E;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,2EAA2E;AAC3E,yEAAyE;AACzE,wEAAwE;AACxE,OAAO,EAAE,SAAS,EAAiB,uBAAuB,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACpG,uBAAuB;AACvB,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EACL,YAAY,EACZ,2BAA2B,EAC3B,YAAY,EACZ,OAAO,GACR,MAAM,8BAA8B,CAAC;AACtC,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAGL,aAAa,EACb,eAAe,GAEhB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,qBAAqB,EAA2B,MAAM,4BAA4B,CAAC;AAC5F,wBAAwB;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAEL,iBAAiB,EACjB,UAAU,IAAI,WAAW,EACzB,IAAI,IAAI,KAAK,EACb,yBAAyB,EACzB,uBAAuB,EACvB,eAAe,EAEf,YAAY,IAAI,aAAa,GAC9B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,QAAQ,EAAc,WAAW,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,EAAa,KAAK,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAEL,YAAY,GAKb,MAAM,mBAAmB,CAAC;AAC3B,wCAAwC;AACxC,OAAO,EAGL,UAAU,GAKX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,gCAAgC;AAChC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EACL,oBAAoB,EAEpB,WAAW,EACX,YAAY,EAGZ,WAAW,EACX,YAAY,EACZ,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAGL,UAAU,GAGX,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAiC,SAAS,EAAgB,MAAM,gBAAgB,CAAC;AACxF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,gBAAgB;AAChB,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvD,kCAAkC;AAClC,OAAO,EAAE,SAAS,EAAyB,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAIL,kBAAkB,EAGlB,cAAc,EAEd,sBAAsB,EACtB,2BAA2B,EAC3B,iBAAiB,EACjB,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EAEjB,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,QAAQ,EACR,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,qBAAqB;AACrB,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,cAAc;AACd,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AACrC,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrD,iBAAiB;AACjB,OAAO,EAAe,WAAW,EAAE,MAAM,kBAAkB,CAAC"}
|
package/package.json
ADDED
|
@@ -0,0 +1,68 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "@johnhenry/math",
|
|
3
|
+
"version": "0.0.0",
|
|
4
|
+
"publishConfig": {
|
|
5
|
+
"access": "public",
|
|
6
|
+
"provenance": true
|
|
7
|
+
},
|
|
8
|
+
"description": "Advanced college-level mathematics library \u2014 a modern TypeScript port of the Mallory ActionScript 3 library.",
|
|
9
|
+
"type": "module",
|
|
10
|
+
"exports": {
|
|
11
|
+
".": {
|
|
12
|
+
"types": "./dist/index.d.ts",
|
|
13
|
+
"import": "./dist/index.js"
|
|
14
|
+
}
|
|
15
|
+
},
|
|
16
|
+
"sideEffects": false,
|
|
17
|
+
"files": [
|
|
18
|
+
"dist",
|
|
19
|
+
"src",
|
|
20
|
+
"README.md"
|
|
21
|
+
],
|
|
22
|
+
"scripts": {
|
|
23
|
+
"prepare": "npm run build",
|
|
24
|
+
"build": "tsc -p tsconfig.json",
|
|
25
|
+
"typecheck": "tsc -p tsconfig.json --noEmit",
|
|
26
|
+
"test": "node --test --experimental-strip-types 'test/**/*.test.ts'",
|
|
27
|
+
"test:coverage": "node --test --experimental-test-coverage --experimental-strip-types 'test/**/*.test.ts'",
|
|
28
|
+
"test:build": "npm run build && node scripts/smoke.mjs",
|
|
29
|
+
"lint": "biome lint .",
|
|
30
|
+
"format": "biome format --write .",
|
|
31
|
+
"check": "biome check .",
|
|
32
|
+
"check:fix": "biome check --write .",
|
|
33
|
+
"docs": "typedoc",
|
|
34
|
+
"prepublishOnly": "npm run typecheck && npm run check && npm test && npm run build"
|
|
35
|
+
},
|
|
36
|
+
"keywords": [
|
|
37
|
+
"math",
|
|
38
|
+
"mathematics",
|
|
39
|
+
"complex-numbers",
|
|
40
|
+
"linear-algebra",
|
|
41
|
+
"matrix",
|
|
42
|
+
"permutation",
|
|
43
|
+
"group-theory",
|
|
44
|
+
"finite-field",
|
|
45
|
+
"polynomial",
|
|
46
|
+
"expression-parser"
|
|
47
|
+
],
|
|
48
|
+
"author": "John Henry <john@iamjohnhenry.com>",
|
|
49
|
+
"license": "MIT",
|
|
50
|
+
"repository": {
|
|
51
|
+
"type": "git",
|
|
52
|
+
"url": "git+https://github.com/johnhenry/math.git",
|
|
53
|
+
"directory": "packages/math"
|
|
54
|
+
},
|
|
55
|
+
"bugs": {
|
|
56
|
+
"url": "https://github.com/johnhenry/math/issues"
|
|
57
|
+
},
|
|
58
|
+
"homepage": "https://github.com/johnhenry/math#readme",
|
|
59
|
+
"devDependencies": {
|
|
60
|
+
"@biomejs/biome": "^2.5.1",
|
|
61
|
+
"fast-check": "^4.8.0",
|
|
62
|
+
"typedoc": "^0.28.19",
|
|
63
|
+
"typescript": "^5.9.3"
|
|
64
|
+
},
|
|
65
|
+
"engines": {
|
|
66
|
+
"node": ">=22.6.0"
|
|
67
|
+
}
|
|
68
|
+
}
|
package/src/Bivector4.ts
ADDED
|
@@ -0,0 +1,136 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Bivector4 — an oriented 2-plane in 4D space, i.e. an element of grade 2 in
|
|
3
|
+
* Cl(4,0). Basis: `e12, e13, e14, e23, e24, e34` (6 components — in general nD
|
|
4
|
+
* there are `n(n-1)/2` independent 2-planes: 1 in 2D, 3 in 3D, 6 in 4D).
|
|
5
|
+
*
|
|
6
|
+
* In 3D, angular velocity/momentum/torque are conventionally written as
|
|
7
|
+
* *vectors* via the cross product, but that only works because 3D vectors
|
|
8
|
+
* happen to have the same dimension (3) as 3D bivectors — a coincidence
|
|
9
|
+
* unique to 3D. In 4D (and in general) these quantities are properly
|
|
10
|
+
* bivectors, not vectors: see {@link Rotor4} for how a bivector generates a
|
|
11
|
+
* rotation, and the physics package for angular velocity/momentum as
|
|
12
|
+
* Bivector4.
|
|
13
|
+
*/
|
|
14
|
+
export class Bivector4 {
|
|
15
|
+
/** e12 component — the xy rotation plane. */
|
|
16
|
+
readonly xy: number;
|
|
17
|
+
/** e13 component — the xz rotation plane. */
|
|
18
|
+
readonly xz: number;
|
|
19
|
+
/** e14 component — the xw rotation plane. */
|
|
20
|
+
readonly xw: number;
|
|
21
|
+
/** e23 component — the yz rotation plane. */
|
|
22
|
+
readonly yz: number;
|
|
23
|
+
/** e24 component — the yw rotation plane. */
|
|
24
|
+
readonly yw: number;
|
|
25
|
+
/** e34 component — the zw rotation plane. */
|
|
26
|
+
readonly zw: number;
|
|
27
|
+
|
|
28
|
+
static readonly Zero = new Bivector4(0, 0, 0, 0, 0, 0);
|
|
29
|
+
|
|
30
|
+
constructor(xy = 0, xz = 0, xw = 0, yz = 0, yw = 0, zw = 0) {
|
|
31
|
+
this.xy = xy;
|
|
32
|
+
this.xz = xz;
|
|
33
|
+
this.xw = xw;
|
|
34
|
+
this.yz = yz;
|
|
35
|
+
this.yw = yw;
|
|
36
|
+
this.zw = zw;
|
|
37
|
+
}
|
|
38
|
+
|
|
39
|
+
add(b: Bivector4): Bivector4 {
|
|
40
|
+
return new Bivector4(
|
|
41
|
+
this.xy + b.xy,
|
|
42
|
+
this.xz + b.xz,
|
|
43
|
+
this.xw + b.xw,
|
|
44
|
+
this.yz + b.yz,
|
|
45
|
+
this.yw + b.yw,
|
|
46
|
+
this.zw + b.zw,
|
|
47
|
+
);
|
|
48
|
+
}
|
|
49
|
+
|
|
50
|
+
subtract(b: Bivector4): Bivector4 {
|
|
51
|
+
return new Bivector4(
|
|
52
|
+
this.xy - b.xy,
|
|
53
|
+
this.xz - b.xz,
|
|
54
|
+
this.xw - b.xw,
|
|
55
|
+
this.yz - b.yz,
|
|
56
|
+
this.yw - b.yw,
|
|
57
|
+
this.zw - b.zw,
|
|
58
|
+
);
|
|
59
|
+
}
|
|
60
|
+
|
|
61
|
+
scale(s: number): Bivector4 {
|
|
62
|
+
return new Bivector4(this.xy * s, this.xz * s, this.xw * s, this.yz * s, this.yw * s, this.zw * s);
|
|
63
|
+
}
|
|
64
|
+
|
|
65
|
+
negate(): Bivector4 {
|
|
66
|
+
return this.scale(-1);
|
|
67
|
+
}
|
|
68
|
+
|
|
69
|
+
/** Component-wise inner product (the basis bivectors e12..e34 are mutually orthonormal, so this is just the Euclidean dot product of components). */
|
|
70
|
+
dot(b: Bivector4): number {
|
|
71
|
+
return this.xy * b.xy + this.xz * b.xz + this.xw * b.xw + this.yz * b.yz + this.yw * b.yw + this.zw * b.zw;
|
|
72
|
+
}
|
|
73
|
+
|
|
74
|
+
get magnitude(): number {
|
|
75
|
+
return Math.sqrt(this.dot(this));
|
|
76
|
+
}
|
|
77
|
+
|
|
78
|
+
get magnitudeSquared(): number {
|
|
79
|
+
return this.dot(this);
|
|
80
|
+
}
|
|
81
|
+
|
|
82
|
+
normalize(): Bivector4 {
|
|
83
|
+
const m = this.magnitude;
|
|
84
|
+
if (m === 0) throw new Error("Cannot normalize the zero bivector.");
|
|
85
|
+
return this.scale(1 / m);
|
|
86
|
+
}
|
|
87
|
+
|
|
88
|
+
/**
|
|
89
|
+
* True when this bivector is *simple* (a.k.a. a blade): it represents
|
|
90
|
+
* rotation in a single 2-plane, like every 3D bivector always does. A 4D
|
|
91
|
+
* bivector is simple iff its self-wedge `B ∧ B` vanishes (equivalently,
|
|
92
|
+
* `B * B` — the geometric product with itself — has no pseudoscalar part).
|
|
93
|
+
* Non-simple ("compound") bivectors are the ones responsible for 4D's
|
|
94
|
+
* double rotations — see {@link Rotor4}.
|
|
95
|
+
*/
|
|
96
|
+
isSimple(epsilon = 1e-9): boolean {
|
|
97
|
+
// B ∧ B for a bivector reduces to twice the Pfaffian-like pairing of
|
|
98
|
+
// opposite basis planes: (xy*zw - xz*yw + xw*yz), matching the
|
|
99
|
+
// pseudoscalar component produced by the geometric product B*B.
|
|
100
|
+
const pfaffian = this.xy * this.zw - this.xz * this.yw + this.xw * this.yz;
|
|
101
|
+
return Math.abs(pfaffian) <= epsilon;
|
|
102
|
+
}
|
|
103
|
+
|
|
104
|
+
equals(b: Bivector4, epsilon = 0): boolean {
|
|
105
|
+
if (epsilon === 0) {
|
|
106
|
+
return (
|
|
107
|
+
this.xy === b.xy &&
|
|
108
|
+
this.xz === b.xz &&
|
|
109
|
+
this.xw === b.xw &&
|
|
110
|
+
this.yz === b.yz &&
|
|
111
|
+
this.yw === b.yw &&
|
|
112
|
+
this.zw === b.zw
|
|
113
|
+
);
|
|
114
|
+
}
|
|
115
|
+
return (
|
|
116
|
+
Math.abs(this.xy - b.xy) <= epsilon &&
|
|
117
|
+
Math.abs(this.xz - b.xz) <= epsilon &&
|
|
118
|
+
Math.abs(this.xw - b.xw) <= epsilon &&
|
|
119
|
+
Math.abs(this.yz - b.yz) <= epsilon &&
|
|
120
|
+
Math.abs(this.yw - b.yw) <= epsilon &&
|
|
121
|
+
Math.abs(this.zw - b.zw) <= epsilon
|
|
122
|
+
);
|
|
123
|
+
}
|
|
124
|
+
|
|
125
|
+
toArray(): [number, number, number, number, number, number] {
|
|
126
|
+
return [this.xy, this.xz, this.xw, this.yz, this.yw, this.zw];
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
static fromArray(a: readonly [number, number, number, number, number, number]): Bivector4 {
|
|
130
|
+
return new Bivector4(a[0], a[1], a[2], a[3], a[4], a[5]);
|
|
131
|
+
}
|
|
132
|
+
|
|
133
|
+
toString(): string {
|
|
134
|
+
return `${this.xy}e12 + ${this.xz}e13 + ${this.xw}e14 + ${this.yz}e23 + ${this.yw}e24 + ${this.zw}e34`;
|
|
135
|
+
}
|
|
136
|
+
}
|