From 80dd2a420a7b1ea61da82e202772d6bf36ef2866 Mon Sep 17 00:00:00 2001
From: Francesco Minnocci <ad17fmin@uwcad.it>
Date: Mon, 25 Dec 2023 23:55:49 +0100
Subject: [PATCH] experiments

---
 random-poly.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/random-poly.jl b/random-poly.jl
index c1bdba7..7683ba5 100644
--- a/random-poly.jl
+++ b/random-poly.jl
@@ -19,7 +19,7 @@ module RandomPoly
   # of degree d_i randomly chosen between 1 and max_degree
   function random_system(m, max_degree)
     d = rand(1:max_degree, m)
-    println("Degrees: ", d)
+    println("Expected number of real zeros: ", sqrt(prod(d)))
     random_polys = [random_poly(d[i], m) for i in 1:m]
 
     return random_polys