Commit f0019618 authored by Gonzalo Tornaría's avatar Gonzalo Tornaría

add option check_frob

parent 642fcfb3
......@@ -378,7 +378,8 @@ end intrinsic;
intrinsic ModPrimes(m :: Modularity, R2 :: FldNum,
proj :: Map, phi :: Map
: debug := false, keep_going := false, PrimeBound := 500,
no_order := false, only_order := false) -> []
no_order := false, only_order := false,
check_frob := false) -> []
{ .. }
//F := AbsoluteField(R2);
//f2 := DefiningPolynomial(F);
......@@ -414,6 +415,13 @@ intrinsic ModPrimes(m :: Modularity, R2 :: FldNum,
continue;
end if;
all_classes := fc[pat];
if check_frob then
frob := FrobeniusElement(R2, p);
assert &or [ IsConjugate(Domain(proj), c, frob)
: c in all_classes ];
all_classes := [ frob ];
end if;
bad_classes := [ c : c in all_classes | tr(phi(c)) eq 0 ];
if bad_classes eq [] then
if debug then
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment