a list, a doubly nested list of the defining polynomials of the map Phi
Description
i1 : Phi = inverse first graph segreEmbedding PP_(ZZ/13)^{1,2,1};
o1 : MultirationalMap (birational map from PP^1 x PP^2 x PP^1 to 4-dimensional subvariety of PP^1 x PP^2 x PP^1 x PP^11)