File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -48,7 +48,7 @@ Pkg = "1.10, 1.11"
4848PrecompileTools = " 1.2"
4949Primes = " 0.5"
5050Random = " 1.10, 1.11"
51- RationalFunctionFields = " 0.2.3, 0.3 "
51+ RationalFunctionFields = " 0.3.1 "
5252SpecialFunctions = " 2"
5353SymbolicUtils = " 4"
5454Symbolics = " 7"
Original file line number Diff line number Diff line change @@ -38,12 +38,12 @@ import Groebner
3838
3939 # Part 1: mod p and specialized
4040 p = Nemo. Native. GF (2 ^ 62 + 135 )
41- StructuralIdentifiability. ParamPunPam. reduce_mod_p! (rff. mqs , p)
41+ StructuralIdentifiability. ParamPunPam. reduce_mod_p! (rff. oms , p)
4242 point = rand (
4343 p,
44- length (Nemo. gens (StructuralIdentifiability. ParamPunPam. parent_params (rff. mqs ))),
44+ length (Nemo. gens (StructuralIdentifiability. ParamPunPam. parent_params (rff. oms ))),
4545 )
46- eqs = StructuralIdentifiability. ParamPunPam. specialize_mod_p (rff. mqs , point)
46+ eqs = StructuralIdentifiability. ParamPunPam. specialize_mod_p (rff. oms , point)
4747 gb = Groebner. groebner (eqs, ordering = Groebner. DegRevLex ())
4848 # GB is linear
4949 @test length (gb) == length (gens (parent (eqs[1 ])))
@@ -53,7 +53,7 @@ import Groebner
5353 @test abs (length (str) - expected) / expected * 100 < 5
5454
5555 # Part 2: over Q
56- eqs = fractionfree_generators_raw (rff. mqs )[1 ]
56+ eqs = fractionfree_generators_raw (rff. oms )[1 ]
5757 expected = 14652203
5858 str = join (map (string, eqs), " ," )
5959 @info " " length (str)
You can’t perform that action at this time.
0 commit comments