Merge branch 'master' into bench-jncf_2025

data/linear/resultants-1-5/all/1.json

+{
+  "system": [
+    "t*((-2.79891813836058e-18 + 6.31738111566627e-18*I)*x_0^37 + (4.98687638577781e-18 + 5.52752439341035e-18*I)*x_0^36 + (2.47479443755454e-17 + 1.27935775521074e-17*I)*x_0^35 + (1.30737519427275e-17 - 8.45920326987727e-18*I)*x_0^34 + (1.20277279853836e-17 - 1.86247341563130e-17*I)*x_0^33 + (1.31064565169129e-17 + 9.55738229256473e-19*I)*x_0^32 + (-8.44207859199565e-18 + 3.32354882888502e-18*I)*x_0^31 + (-5.27649144928246 - 5.34347982013996*I)*x_0^25 + (-5.08905387460626 + 24.5351805095988*I)*x_0^24 + (65.9619253185910 + 29.0318399421530*I)*x_0^23 + (84.1311269566780 - 107.550600180362*I)*x_0^22 + (-117.325159133441 - 244.147846170444*I)*x_0^21 + (-252.034362263471 - 40.2714792951167*I)*x_0^20 + (-283.987742219147 + 485.943661729028*I)*x_0^19 + (91.2192980166729 + 5.66789037433649*I)*x_0^18 + (703.692963436963 - 433.938649965381*I)*x_0^17 + (-669.170255814652 + 151.637903768967*I)*x_0^16 + (-1379.54088837760 - 404.325280170439*I)*x_0^15 + (418.698751879404 + 230.071503015318*I)*x_0^14 + (-38.0140457773867 + 454.900064657779*I)*x_0^13 + (249.063158023732 - 1266.65801977103*I)*x_0^12 + (85.1029224667164 + 1095.45901419574*I)*x_0^11 + (-3291.74060235678 - 56.9418601002699*I)*x_0^10 + (622.883006753614 - 4021.11913919146*I)*x_0^9 + (3941.57215820148 + 725.008579316472*I)*x_0^8 + (-955.257081912321 + 2570.57317144989*I)*x_0^7 + (-1277.51907816242 - 1070.11162595615*I)*x_0^6 + (773.005780520714 - 394.626032112275*I)*x_0^5 + (-33.8452706173561 + 463.121423369518*I)*x_0^4 + (-129.616623099915 - 121.831282434230*I)*x_0^3 + (81.4907954108995 - 29.0587570789028*I)*x_0^2 + (-6.43533267617720 + 38.1665206763139*I)*x_0 - 6.74119071375694 - 6.56854481190433*I) + (1 - t)*((1.3140919537957634 + I*-0.5295851879330614)*(x_0^37 - 1))"
+  ],
+  "variables": [
+    "x_0"
+  ],
+  "parameters": [
+    "t"
+  ],
+  "path": [
+    [
+      "0.0"
+    ],
+    [
+      "1.0"
+    ]
+  ],
+  "fiber": [
+    [
+      "1.00000000000000"
+    ],
+    [
+      "0.985615910347708 + 0.169000820321849*I"
+    ],
+    [
+      "0.942877445461084 + 0.333139794742058*I"
+    ],
+    [
+      "0.873014113161188 + 0.487694943813635*I"
+    ],
+    [
+      "0.778035754318440 + 0.628219997295642*I"
+    ],
+    [
+      "0.660674723390081 + 0.750672305252724*I"
+    ],
+    [
+      "0.524307283557232 + 0.851529137733311*I"
+    ],
+    [
+      "0.372856477780309 + 0.927889027296509*I"
+    ],
+    [
+      "0.210679269995726 + 0.977555238947686*I"
+    ],
+    [
+      "0.0424412031961482 + 0.999098966204682*I"
+    ],
+    [
+      "-0.127017819746879 + 0.991900435258877*I"
+    ],
+    [
+      "-0.292822771276550 + 0.956166734739251*I"
+    ],
+    [
+      "-0.450203744817673 + 0.892925858149568*I"
+    ],
+    [
+      "-0.594633176304287 + 0.803997130366941*I"
+    ],
+    [
+      "-0.721956093954524 + 0.691938868977546*I"
+    ],
+    [
+      "-0.828509649243842 + 0.559974786137595*I"
+    ],
+    [
+      "-0.911228490388136 + 0.411901248243992*I"
+    ],
+    [
+      "-0.967732946933499 + 0.251978061385125*I"
+    ],
+    [
+      "-0.996397488542527 + 0.0848059244755091*I"
+    ],
+    [
+      "-0.996397488542526 - 0.0848059244755097*I"
+    ],
+    [
+      "-0.967732946933499 - 0.251978061385125*I"
+    ],
+    [
+      "-0.911228490388136 - 0.411901248243992*I"
+    ],
+    [
+      "-0.828509649243842 - 0.559974786137595*I"
+    ],
+    [
+      "-0.721956093954524 - 0.691938868977546*I"
+    ],
+    [
+      "-0.594633176304286 - 0.803997130366941*I"
+    ],
+    [
+      "-0.450203744817674 - 0.892925858149568*I"
+    ],
+    [
+      "-0.292822771276550 - 0.956166734739251*I"
+    ],
+    [
+      "-0.127017819746878 - 0.991900435258877*I"
+    ],
+    [
+      "0.0424412031961482 - 0.999098966204682*I"
+    ],
+    [
+      "0.210679269995726 - 0.977555238947686*I"
+    ],
+    [
+      "0.372856477780308 - 0.927889027296509*I"
+    ],
+    [
+      "0.524307283557232 - 0.851529137733311*I"
+    ],
+    [
+      "0.660674723390082 - 0.750672305252724*I"
+    ],
+    [
+      "0.778035754318440 - 0.628219997295642*I"
+    ],
+    [
+      "0.873014113161188 - 0.487694943813634*I"
+    ],
+    [
+      "0.942877445461084 - 0.333139794742057*I"
+    ],
+    [
+      "0.985615910347708 - 0.169000820321849*I"
+    ]
+  ]
+}
\ No newline at end of file

gen.sage

@@ -146,6 +146,7 @@ class ResultantsCtx(Name, System):
     n_ctx: None
     d_ctx: None
     degrees: None
+    structure_ctx = StructureCtx("factorized")
 
     def get_degrees(self):
         return self.degrees
@@ -161,9 +162,12 @@ class ResultantsCtx(Name, System):
         self.system = dense_ctx.system
 
         assert "y" not in variables
+        n = self.n_ctx.value
+        d = self.d_ctx.value
+        
         Cpy = PolynomialRing(CC, names=["y"] + variables)
-        f = Cpy.random_element(degree=self.d_ctx.value, terms=1000)
-        g = Cpy.random_element(degree=self.d_ctx.value, terms=1000)
+        f = Cpy.random_element(degree=self.d_ctx.value, terms=binomial(n + 1 + d, d))
+        g = Cpy.random_element(degree=self.d_ctx.value, terms=binomial(n + 1 + d, d))
         h = g.resultant(f, Cpy.gens()[0])
         self.system[0] = self.ring(h)
         self.degrees = [f.degree() for f in self.system]