precomputedModelInP3xP3xP3xP3 -- load the precomputed ideal of the model of F(Q) in P3xP3xP3xP3

i1 : kk = QQ

o1 = QQ

o1 : Ring

i2 : I=precomputedModelInP3xP3xP3xP3(kk);

o2 : Ideal of QQ[b   , b   , b   , b   , b   , b   , b   , b   , b   , b   , b   , b   , b   , b   , b   , b   ]
                  0,0   0,1   0,2   0,3   1,0   1,1   1,2   1,3   2,0   2,1   2,2   2,3   3,0   3,1   3,2   3,3

i3 : isHomogeneous I

o3 = true

i4 : tally degrees ring I

o4 = Tally{{0, 0, 0, 1, 0, 0, 2, 1} => 1}
           {0, 0, 0, 1, 0, 1, 0, 2} => 1
           {0, 0, 0, 1, 0, 1, 1, 1} => 1
           {0, 0, 0, 1, 0, 2, 1, 0} => 1
           {0, 0, 1, 0, 0, 0, 2, 1} => 1
           {0, 0, 1, 0, 1, 0, 0, 2} => 1
           {0, 0, 1, 0, 1, 0, 1, 1} => 1
           {0, 0, 1, 0, 2, 0, 1, 0} => 1
           {0, 1, 0, 0, 0, 1, 0, 2} => 1
           {0, 1, 0, 0, 1, 1, 0, 1} => 1
           {0, 1, 0, 0, 1, 2, 0, 0} => 1
           {0, 1, 0, 0, 2, 0, 0, 1} => 1
           {1, 0, 0, 0, 0, 1, 2, 0} => 1
           {1, 0, 0, 0, 1, 1, 1, 0} => 1
           {1, 0, 0, 0, 1, 2, 0, 0} => 1
           {1, 0, 0, 0, 2, 0, 1, 0} => 1

o4 : Tally

i5 : numgens I

o5 = 104