hypercomplex-engine 0.0.4__tar.gz → 0.4.0__tar.gz

{hypercomplex_engine-0.0.4/hypercomplex_engine.egg-info → hypercomplex_engine-0.4.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: hypercomplex-engine
-Version: 0.0.4
+Version: 0.4.0
 Summary: Fast O(1)/O(n) multiplication engine and table generator for ordinary, split, and dual Cayley-Dickson algebras.
 Author-email: Maher Ben Abdessalem <ba.maher94@gmail.com>
 License: MIT License
@@ -490,7 +490,7 @@ print(result)
 |---|---|
 | `"integer"` | `+e5` |
 | `"graded"` | `+o13` |
-| `"latex"` | `+e_{13}` |
+| `"latex"` | `+e_{5}` |
 | `"latex_integer"` | `+e_{5}` |
 | `"latex_graded"` | `+o_{13}` |
 

{hypercomplex_engine-0.0.4 → hypercomplex_engine-0.4.0}/README.md

@@ -442,7 +442,7 @@ print(result)
 |---|---|
 | `"integer"` | `+e5` |
 | `"graded"` | `+o13` |
-| `"latex"` | `+e_{13}` |
+| `"latex"` | `+e_{5}` |
 | `"latex_integer"` | `+e_{5}` |
 | `"latex_graded"` | `+o_{13}` |
 

{hypercomplex_engine-0.0.4 → hypercomplex_engine-0.4.0}/hypercomplex/core/fast/fast_split.py

@@ -31,8 +31,8 @@ class FastSplit:
         t2 = (sign2, index2)
 
         dim:
-            Algebra exponent.
-            If None, it is inferred from the indices.
+            Algebra exponent (required; the result depends on it,
+            e.g. e2*e2 is +1 at dim=2 but -1 at dim>=3).
 
         Returns:
             (final_sign, index1 XOR index2)

{hypercomplex_engine-0.0.4 → hypercomplex_engine-0.4.0}/hypercomplex/facade.py

@@ -89,7 +89,6 @@ def _normalize_engine(engine: str) -> str:
     aliases = {
         "fast": "fast",
         "constant": "fast",
-        "fast": "fast",
         "bitwise": "fast",
         "o1":"fast",
 
@@ -254,12 +253,18 @@ def multiply(
         "holographic" O(n) descent, useful for verification
 
     dim:
-        Required for dual and dual_split.
-        Optional for split.
+        Required for split, dual and dual_split.
+        Not used for standard.
     """
     kind = _normalize_kind(kind)
     engine = _normalize_engine(engine)
 
+    # dim is part of the algebra's identity for split/dual kinds (e.g. e2*e2 is
+    # +e0 in split dim=2 but -e0 for every larger split algebra), so it is
+    # required, never inferred. Validate before anything else.
+    if kind in ("split", "dual", "dual_split") and dim is None:
+        raise ValueError(f"dim is required for {kind} multiplication")
+
     # Zero propagation
     if int(a[0]) == 0 or int(b[0]) == 0:
         if kind in ("dual", "dual_split"):
@@ -268,9 +273,6 @@ def multiply(
 
     # Dual inputs may be local 3-tuples: (sign, local_index, eps)
     if kind in ("dual", "dual_split"):
-        if dim is None:
-            raise ValueError("dim is required for dual multiplication")
-
         a = _as_dual_global(a, dim)
         b = _as_dual_global(b, dim)
 
@@ -298,8 +300,6 @@ def multiply(
             return _standard_holo.multiply(a, b)
 
         if kind == "split":
-            if dim is None:
-                dim = max(int(a[1]), int(b[1])).bit_length()
             return _split_holo.multiply(a, b, dim)
 
         if kind == "dual":

{hypercomplex_engine-0.0.4 → hypercomplex_engine-0.4.0/hypercomplex_engine.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: hypercomplex-engine
-Version: 0.0.4
+Version: 0.4.0
 Summary: Fast O(1)/O(n) multiplication engine and table generator for ordinary, split, and dual Cayley-Dickson algebras.
 Author-email: Maher Ben Abdessalem <ba.maher94@gmail.com>
 License: MIT License
@@ -490,7 +490,7 @@ print(result)
 |---|---|
 | `"integer"` | `+e5` |
 | `"graded"` | `+o13` |
-| `"latex"` | `+e_{13}` |
+| `"latex"` | `+e_{5}` |
 | `"latex_integer"` | `+e_{5}` |
 | `"latex_graded"` | `+o_{13}` |
 

{hypercomplex_engine-0.0.4 → hypercomplex_engine-0.4.0}/hypercomplex_engine.egg-info/SOURCES.txt

@@ -31,4 +31,5 @@ hypercomplex_engine.egg-info/requires.txt
 hypercomplex_engine.egg-info/top_level.txt
 tests/test_fast_mode.py
 tests/test_fixes_0_4.py
-tests/test_mega_mother.py
+tests/test_mega_mother.py
+tests/test_split_dim.py

{hypercomplex_engine-0.0.4 → hypercomplex_engine-0.4.0}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "hypercomplex-engine" 
-version = "0.0.4"
+version = "0.4.0"
 authors = [
   { name="Maher Ben Abdessalem", email="ba.maher94@gmail.com" },
 ]

hypercomplex_engine-0.4.0/tests/test_split_dim.py

@@ -0,0 +1,33 @@
+"""split/dual require an explicit dim; split rejects epsilon 3-tuples."""
+import pytest
+from hypercomplex import multiply
+
+
+@pytest.mark.parametrize("engine", ["fast", "holographic"])
+@pytest.mark.parametrize("kind", ["split", "dual", "dual_split"])
+def test_dim_is_required_and_message_names_the_kind(kind, engine):
+    with pytest.raises(ValueError, match=f"dim is required for {kind}"):
+        multiply(kind, (1, 1), (1, 1), engine=engine)
+
+
+@pytest.mark.parametrize("kind", ["split", "dual", "dual_split"])
+def test_missing_dim_is_reported_even_for_zero_elements(kind):
+    with pytest.raises(ValueError, match="dim is required"):
+        multiply(kind, (0, 1), (1, 2))
+
+
+@pytest.mark.parametrize("engine", ["fast", "holographic"])
+def test_split_result_depends_on_dim(engine):
+    assert multiply("split", (1, 2), (1, 2), dim=2, engine=engine) == (1, 0)
+    for dim in (3, 4, 8):
+        assert multiply("split", (1, 2), (1, 2), dim=dim, engine=engine) == (-1, 0)
+
+
+@pytest.mark.parametrize("eps", [0, 1])
+def test_split_rejects_epsilon_three_tuples_with_clear_message(eps):
+    with pytest.raises(ValueError, match="3-tuple"):
+        multiply("split", (1, 1, eps), (1, 2), dim=2)
+
+
+def test_standard_needs_no_dim():
+    assert multiply("standard", (1, 1), (1, 2)) == (1, 3)