Search results

PG := PositiveGrading4(G); Use Q[x[1..5]], Weights(PG);