avoiding magma internal errors

assaferan · Jun 22, 2023 · 0e416b4 · 0e416b4
1 parent df9f600
commit 0e416b4
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/Tests/MagmaFormula.m b/Tests/MagmaFormula.m
@@ -5,8 +5,12 @@ procedure testPariVSMagma(N,k)
     System(cmd);
     fname := Sprintf("./data/traces_%o_%o.m", k, N);
     r := Read(fname);
-    return_cmd := Sprintf("return traces_%o, tracesAL_%o;", N, N);
-    traces_full, traces_AL := eval(r cat return_cmd);
+    al_start := Index(r, "tracesAL");
+    r := r[al_start..#r];
+    start := Index(r, "[") + 1;
+    fin := Index(r, "]") - 1;
+    r := r[start..fin];
+    traces_AL := [StringToInteger(x) : x in Split(r, ",")];
     traces_magma := [TraceFormulaGamma0AL(n, N, k) : n in [1..1000]];
     assert traces_magma eq traces_AL[2..1001];
     return;