/*
OBSOLETE!!!!

See now files:

    save
    restore

[OLD:]
To do restore case (assumed -r already passed), start magma with:

    RESTORE:=true
*/

R := 0;
ps := 0;
pis := 0;

"a:", assigned RESTORE;

if assigned RESTORE and eval RESTORE then
    //restore "/tmp/testsave";
    //System("rm -f /tmp/testsave");

    "Do restore";

    assert #SecondaryInvariants(R) eq 5;
    assert #PrimaryInvariants(R) eq 4;

    C := Coefficients(PowerSeriesRing(IntegerRing())!HilbertSeries(R));
    assert C[1..10] eq [ 1, 1, 3, 5, 10, 14, 22, 30, 43, 55];

    ps;
    pis;

    "Done";
    quit;
end if;

R := InvariantRing(CyclicGroup(4), GF(2));
P := PrimaryInvariants(R);
S := SecondaryInvariants(R);

//ps := Set(PrimaryInvariants(R));
//pis := {@ f: f in PrimaryInvariants(R) @};

I := {@ "x" @};

save "/tmp/testsave";
//error "done";
