@@ -74,7 +74,7 @@ function rational_curve_parametrization(
7474 val = rand (- bif_bound: bif_bound, 2 )
7575 end
7676 Fnew = vcat (F, val[1 ]* gens (R)[N- 1 ] + val[2 ])
77- @time new_lucky_prime = _generate_lucky_primes (Fnew, one (ZZ)<< 30 , one (ZZ)<< 31 - 1 , 1 ) |> first
77+ new_lucky_prime = _generate_lucky_primes (Fnew, one (ZZ)<< 30 , one (ZZ)<< 31 - 1 , 1 ) |> first
7878 local INEW = Ideal (change_base_ring .(Ref (GF (new_lucky_prime)), Fnew))
7979 @assert (dimension (INEW) == 0 && hilbert_degree (INEW) == DEG, " The curve is not in generic position" )
8080 end end
@@ -185,11 +185,11 @@ function _add_genvars(
185185 if N+ ngenvars < length (cfs_lfs[i])
186186 error (" Too many coeffs ($(length (cfs_lfs[i])) >$(N+ ngenvars) ) for the $(i) th linear form" )
187187 else
188- append! (cfs_lfs[i], rand (ZZ .(setdiff (- 100 : 100 ,0 )), N+ ngenvars - length (cfs_lfs[i])))
188+ append! (cfs_lfs[i], rand (ZZ .(setdiff (- range : range ,0 )), N+ ngenvars - length (cfs_lfs[i])))
189189 end
190190 end
191191 # Add missing linear forms if needed
192- append! (cfs_lfs, [rand (ZZ .(setdiff (- 100 : 100 ,0 )), N+ ngenvars) for _ in 1 : ngenvars- length (cfs_lfs)])
192+ append! (cfs_lfs, [rand (ZZ .(setdiff (- range : range ,0 )), N+ ngenvars) for _ in 1 : ngenvars- length (cfs_lfs)])
193193 # Construct and append linear forms
194194 append! (Fnew, [transpose (cfs_lf) * all_vars for cfs_lf in cfs_lfs])
195195
0 commit comments