eyeling 1.14.2 → 1.14.3

package/HANDBOOK.md

@@ -979,15 +979,7 @@ If the types don’t fit any supported case, the builtin fails.
 
 This is a pragmatic inversion, not a full algebra system.
 
-#### `math:bigExponentiation`
-
-**Shape:** `( $base $exp ) math:bigExponentiation $result`
-
-- Exact integer exponentiation only.
-- Requires integer `$base` and non-negative integer `$exp`.
-- Fails if the estimated output size exceeds Eyeling’s built-in safety cap.
-
-This builtin exists to avoid rule-level “repeat multiply” derivations that can explode memory for large exponents (e.g., the Ackermann example).
+The **BigInt exact-integer mode** exists specifically to avoid rule-level “repeat multiply” derivations that can explode memory for large exponents (e.g., the Ackermann example).
 
 #### Unary “math relations” (often invertible)
 

package/examples/ackermann.n3

@@ -39,11 +39,11 @@
     (?Y ?Z) math:product ?A.
 }.
 
-# exponentiation (x=3) — use BigInt exponentiation builtin to avoid blow-up
+# exponentiation (x=3) — use BigInt-capable math:exponentiation to avoid blow-up
 {
     (3 ?Y ?Z) :ackermann ?A.
 } <= {
-    (?Z ?Y) math:bigExponentiation ?A.
+    (?Z ?Y) math:exponentiation ?A.
 }.
 
 # exponentiation (x=3), tetration (x=4), pentation (x=5), hexation (x=6), etc

package/eyeling-builtins.ttl

@@ -101,9 +101,6 @@ math:rounded a ex:Builtin ; ex:kind ex:Function ;
 math:exponentiation a ex:Builtin ; ex:kind ex:Function ;
   rdfs:comment "Exponentiation. Forward: (base exponent) -> result. If both arguments are integer literals and exponent is non-negative, Eyeling uses exact BigInt exponentiation (with a safety cap on result size). Otherwise it falls back to Number exponentiation. Limited inverse: if base is numeric and exponent is a variable, may solve exponent via logs for positive base != 1 and positive result (Number mode only)." .
 
-math:bigExponentiation a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Exact integer exponentiation (BigInt-only). Shape: (base exponent) math:bigExponentiation result. Requires integer base and non-negative integer exponent; fails if the estimated result size exceeds Eyeling's safety cap." .
-
 math:absoluteValue a ex:Builtin ; ex:kind ex:Function ;
   rdfs:comment "Absolute value. Computes |s| and unifies/binds object; output datatype follows common numeric datatype selection." .
 

package/eyeling.js

@@ -1792,10 +1792,9 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
   }
 
   // math:exponentiation
-  // math:bigExponentiation (exact-integer BigInt-only variant)
-  if (pv === MATH_NS + 'exponentiation' || pv === MATH_NS + 'bigExponentiation') {
-    const onlyBigInt = pv === MATH_NS + 'bigExponentiation';
-
+  // Schema: ( $base $exp ) math:exponentiation $result
+  // Supports exact integer exponentiation via BigInt when both inputs are integers and exp >= 0.
+  if (pv === MATH_NS + 'exponentiation') {
     if (!(g.s instanceof ListTerm) || g.s.elems.length !== 2) return [];
     const baseTerm = g.s.elems[0];
     const expTerm = g.s.elems[1];
@@ -1832,9 +1831,6 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
       return s2 !== null ? [s2] : [];
     }
 
-    // bigExponentiation is intentionally strict.
-    if (onlyBigInt) return [];
-
     // 2) Numeric mode (Number): forward + limited inverse
     const a = parseNum(baseTerm);
     const b = a !== null ? parseNum(expTerm) : null;

package/lib/builtins.js

@@ -1780,10 +1780,9 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
   }
 
   // math:exponentiation
-  // math:bigExponentiation (exact-integer BigInt-only variant)
-  if (pv === MATH_NS + 'exponentiation' || pv === MATH_NS + 'bigExponentiation') {
-    const onlyBigInt = pv === MATH_NS + 'bigExponentiation';
-
+  // Schema: ( $base $exp ) math:exponentiation $result
+  // Supports exact integer exponentiation via BigInt when both inputs are integers and exp >= 0.
+  if (pv === MATH_NS + 'exponentiation') {
     if (!(g.s instanceof ListTerm) || g.s.elems.length !== 2) return [];
     const baseTerm = g.s.elems[0];
     const expTerm = g.s.elems[1];
@@ -1820,9 +1819,6 @@ function evalBuiltin(goal, subst, facts, backRules, depth, varGen, maxResults) {
       return s2 !== null ? [s2] : [];
     }
 
-    // bigExponentiation is intentionally strict.
-    if (onlyBigInt) return [];
-
     // 2) Numeric mode (Number): forward + limited inverse
     const a = parseNum(baseTerm);
     const b = a !== null ? parseNum(expTerm) : null;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.14.2",
+  "version": "1.14.3",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [