From 7568810cc79602840953f8b3f132ec28eb2dadef Mon Sep 17 00:00:00 2001 From: Sam Hadow Date: Tue, 30 Jun 2026 12:35:15 +0200 Subject: [PATCH] print number of monomials --- src/tea3/cli.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/tea3/cli.py b/src/tea3/cli.py index a977625..69e2938 100644 --- a/src/tea3/cli.py +++ b/src/tea3/cli.py @@ -29,7 +29,8 @@ def run_classic_cli(): for r in regs: for b in bits: poly = model.R_bits[r][b] - print(f"R_bits[{r}][{b}] =") + print(f"R_bits[{r}][{b}]") + print(len(poly.monomials()), "monomials") print(pretty_print(poly)) print() @@ -107,7 +108,8 @@ def run_advanced_cli(): for r in regs: for b in bits: poly = model.R_bits[r][b] - print(f"R_bits[{r}][{b}] =") + print(f"R_bits[{r}][{b}]") + print(len(poly.monomials()), "monomials") print(pretty_print(poly)) print()