Change Details

# run from the sage dir sage group_prover.sage sage weierstrass_prover.sage

Run from the sage dir sage group_prover.sage sage weierstrass_prover.sage

# runRun from the sage dir sage group_prover.sage sage weierstrass_prover.sage