Commit e01c70fc authored by Charles Bouillaguet's avatar Charles Bouillaguet
Browse files

more random systems

parent 6544fab3
for n in range(32, 81):
def doit(n, m):
R = BooleanPolynomialRing(n, 'x')
# planted solution
......@@ -15,16 +15,18 @@ for n in range(32, 81):
f = v * Mq * v + (Ml*v)[0] + K.random_element()
return f
# n random polynomials
for _ in range(n):
# m random polynomials
for _ in range(m):
f = random_quad_poly(R)
f += f(*x)
I.append(f)
with open(f"random_{n}_quad.in", 'w') as f:
with open(f"random_{n}_{m}_quad.in", 'w') as f:
# print polynomials in desired format
f.write(",".join(map(str, R.gens())) + "\n")
f.write(f"# planted solution: {x}\n")
for p in I:
f.write(f'{p}\n')
for n in range(70, 80):
doit(n, 80)
\ No newline at end of file
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This source diff could not be displayed because it is too large. You can view the blob instead.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment