start modelization

2026-04-20 09:54:36 +02:00
parent 108d600235
commit b39a1d3780
2 changed files with 41 additions and 0 deletions
@@ -0,0 +1,17 @@
+from sage.all import *
+
+F = GF(2)
+
+names = (
+    [f"x{i}{j}" for i in range(5) for j in range(8)] +
+    [f"r{i}{j}" for i in range(5) for j in range(8)] +
+    [f"R{i}{j}" for i in range(8) for j in range(8)]
+)
+
+S = PolynomialRing(F, names)
+v = S.gens()
+
+x_bits = [list(v[i*8:(i+1)*8]) for i in range(5)]
+r_bits = [list(v[40 + i*8 : 40 + (i+1)*8]) for i in range(5)]
+R_bits = [list(v[80 + i*8 : 80 + (i+1)*8]) for i in range(8)]
+