From e3c752d82d9136d7e3f6d2bf74413bb674b0849b Mon Sep 17 00:00:00 2001 From: Francesco Minnocci Date: Mon, 25 Dec 2023 23:25:16 +0100 Subject: [PATCH] why am i pushing this --- solve.jl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/solve.jl b/solve.jl index 9a128d1..098639e 100644 --- a/solve.jl +++ b/solve.jl @@ -67,7 +67,7 @@ end # F = [x*y - 1, x^2 + y^2 - 4] # T = [x*y - 1, x^2 + y^2 - 2] -R = random_system(4, 2) +R = random_system(3, 5) println("System: ", R) # Parallel execution