"Source: Text/System/Par.text";
"Line: 793";
"Date: Mon May 29 16:04:52 2023";
"Main: Thu May 25 10:02:38 2023";
// original file: Text/System/Par.text, line: 793
// 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);
