From 4a9b66faae8bf362849b961ac2bf5dedc079c6ce Mon Sep 17 00:00:00 2001 From: ericmarin Date: Sat, 21 Mar 2026 13:08:17 +0100 Subject: added MatMul and Flatten. Now Inpla produces a balanced tree of TermAdd --- proof.norg | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'proof.norg') diff --git a/proof.norg b/proof.norg index 2a0f768..7f35c1e 100644 --- a/proof.norg +++ b/proof.norg @@ -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 -- cgit v1.2.3