hypercomplex-engine 0.0.4__py3-none-any.whl → 0.4.0__py3-none-any.whl

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/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.dist-info → hypercomplex_engine-0.4.0.dist-info}/METADATA

@@ -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.dist-info → hypercomplex_engine-0.4.0.dist-info}/RECORD

@@ -1,5 +1,5 @@
 hypercomplex/__init__.py,sha256=DM_jeWSzhDkdz8KboGrVQVqVaj6xkr8k22C_uNRRxr8,1010
-hypercomplex/facade.py,sha256=HpGZ2roT-VIEfI0NcApVBB0rO0Odrc-vh_rsatFkSnw,9041
+hypercomplex/facade.py,sha256=qneXgwLehlvec4f18jFQ_VnsTYmSiUoyswLqlE0nOes,9195
 hypercomplex/core/__init__.py,sha256=7cD5SJFbAewuVMIvKnQ6tb7JwcmpGQktSvGbN5n8dIM,668
 hypercomplex/core/basis_element.py,sha256=TnPb1xLICv0TK0AfTW_I8_8T2TavktKTq4MEPLWnyU8,1402
 hypercomplex/core/basis_notation.py,sha256=K17IUXEio7KmY3pvpFdDFI2MsLs11-E5Z5Cp10CS84Y,4887
@@ -7,7 +7,7 @@ hypercomplex/core/validation.py,sha256=_W23VmbWZh0OB7pIG4Pbm--N75Vdomh3hbHCRVXTT
 hypercomplex/core/fast/__init__.py,sha256=6KsWo1dhNlT69jT_Bi8-khOrNFX9cDs98987TGTXo4w,173
 hypercomplex/core/fast/bit_utils.py,sha256=aqBjPX2srWym6AjxZqTzt998-in_-5VAxNUiQXUFAVw,385
 hypercomplex/core/fast/fast_dual.py,sha256=8y7U5pV2JIhMYtsiuLAaei977VUPo6DVx48kGH6DPoE,5223
-hypercomplex/core/fast/fast_split.py,sha256=l7UHhXmuv7Rj4zMfDEwKr6OTB70FBusDnYhdkf61-zY,2998
+hypercomplex/core/fast/fast_split.py,sha256=Wdr9pd9zXA_mFzlMxVv8LpPwDZJFP-XPVa0uQIEs3jA,3037
 hypercomplex/core/fast/fast_standard.py,sha256=S4ujHlp0Q_Z07jFKbpmFzrqYvf-zZTrIGm_LLwTwQUE,3306
 hypercomplex/core/holographic/__init__.py,sha256=TGMyPs6dyeaQ9I--rFooBOrKzkex73IbwzQtL7Q0i04,200
 hypercomplex/core/holographic/dual.py,sha256=6ntw2Uwz6hI18ogHrsC3e2XmZrkTb2qQy8hbMWqoV4E,2761
@@ -21,8 +21,8 @@ hypercomplex/core/table_builder/standard.py,sha256=3kyg4TLCG_LKhC8lT95hZBFmOee0W
 hypercomplex/printer/__init__.py,sha256=6EZOUBYb9TDgfqrFpnIfPS1bbPFZ0dMX6RCPDZepL6M,129
 hypercomplex/printer/cd_format.py,sha256=X_cotGumJlRMuJO5cbsnI8FA9Py12TGYftPlUdx-9xg,5731
 hypercomplex/printer/cd_table_printer.py,sha256=uQlSmiTYiJkLZ4wC0ezXm7RSCYlldva0YCF2reNfKq4,4882
-hypercomplex_engine-0.0.4.dist-info/licenses/LICENSE,sha256=guj-B90dY9uDtG1POm34JUQQ0HU3YE47dq8RmVY4znI,1066
-hypercomplex_engine-0.0.4.dist-info/METADATA,sha256=YMXATQV5XTfimwwtKwZRpwTvbhV1ujByABAxRE2rHyE,19939
-hypercomplex_engine-0.0.4.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
-hypercomplex_engine-0.0.4.dist-info/top_level.txt,sha256=WTtGtCnGtWsHvFBLdcsO6VRbm4wa1kU3yV-HrypIdwE,13
-hypercomplex_engine-0.0.4.dist-info/RECORD,,
+hypercomplex_engine-0.4.0.dist-info/licenses/LICENSE,sha256=guj-B90dY9uDtG1POm34JUQQ0HU3YE47dq8RmVY4znI,1066
+hypercomplex_engine-0.4.0.dist-info/METADATA,sha256=D1LIPbrrZ5azxrhQVngsB3Rhx0W6MCLzzMpkqosMx5A,19938
+hypercomplex_engine-0.4.0.dist-info/WHEEL,sha256=YVMoNqKzERt-wjUZwJ33xBGAwnFl-4cqbYkTtWa4itE,91
+hypercomplex_engine-0.4.0.dist-info/top_level.txt,sha256=WTtGtCnGtWsHvFBLdcsO6VRbm4wa1kU3yV-HrypIdwE,13
+hypercomplex_engine-0.4.0.dist-info/RECORD,,