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()