"Source: Text/System/Par.text";
"Line: 815";
"Date: Thu Jul 13 10:19:10 2023";
"Main: Fri Sep 26 14:29:19 2025";
// original file: Text/System/Par.text, line: 815
// Example: H5E7 ()
print "Example: H5E7";
ei := GetEchoInput();
SetEchoInput(true);
B := HFESystem(2, 80, 100);
Universe(B);
SetNthreads(1);
time G := GroebnerBasis(B, 4: HFE, ReductionHeuristic := 1000);
[Sprint(f): f in G];
Variety(Ideal(G));
SetNthreads(4);
time G := GroebnerBasis(B, 4: HFE, ReductionHeuristic := 1000);
B := HFESystem(2, 200, 100);
Universe(B);
SetNthreads(1);
time G := GroebnerBasis(B, 4: HFE, ReductionHeuristic := 2500);
[Sprint(f): f in G];
Variety(Ideal(G));
SetNthreads(4);
time G := GroebnerBasis(B, 4: HFE, ReductionHeuristic := 2500);
B := HFESystem(2, 200, 100);
SetNthreads(1);
time G := GroebnerBasis(B, 4: HFE, ReductionHeuristic := 2500);
SetNthreads(24);
time G := GroebnerBasis(B, 4: HFE, ReductionHeuristic := 2500);
SetNthreads(1); SetGPU(true);
time G := GroebnerBasis(B, 4: HFE, ReductionHeuristic := 2500);
SetEchoInput(ei);
