diff options
| author | ericmarin <maarin.eric@gmail.com> | 2026-03-21 13:08:17 +0100 |
|---|---|---|
| committer | ericmarin <maarin.eric@gmail.com> | 2026-03-21 13:08:17 +0100 |
| commit | 4a9b66faae8bf362849b961ac2bf5dedc079c6ce (patch) | |
| tree | 1d8b745248e4a0a40b86df2802e570d4c4e14807 /proof.norg | |
| parent | e2abe9d9ec649b849cc39b516c1db1b4fa592003 (diff) | |
| download | vein-4a9b66faae8bf362849b961ac2bf5dedc079c6ce.tar.gz vein-4a9b66faae8bf362849b961ac2bf5dedc079c6ce.zip | |
added MatMul and Flatten. Now Inpla produces a balanced tree of TermAdd
Diffstat (limited to 'proof.norg')
| -rw-r--r-- | proof.norg | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -46,6 +46,12 @@ version: 1.1.1 By grouping the operations we get: /Y = alpha * A * B + beta * C/ +** Flatten + Just identity mapping + +** MatMul + Equal to Gemm with alpha=1 and beta=0 + * Proof for the Interaction Rules ** Materialize The Materialize agent transforms a Linear agent into a tree of explicit mathematical operations |