print number of monomials

2026-06-30 12:35:15 +02:00
parent 4104d81b06
commit 7568810cc7
1 changed files with 4 additions and 2 deletions
@@ -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()