i1 : ZZ/33331[t_0..t_4];

i2 : phi = rationalMap minors(2,matrix{{t_0..t_3},{t_1..t_4}});
o2 : RationalMap (quadratic rational map from PP^4 to PP^5)

i3 : describe phi
o3 = rational map defined by forms of degree 2
source variety: PP^4
target variety: PP^5
coefficient ring: ZZ/33331

i4 : I = image phi;
ZZ
o4 : Ideal of [x ..x ]
33331 0 5

i5 : describe phi
o5 = rational map defined by forms of degree 2
source variety: PP^4
target variety: PP^5
image: smooth quadric hypersurface in PP^5
dominance: false
birationality: false
coefficient ring: ZZ/33331

i6 : ? I
o6 = smooth quadric hypersurface in PP^5

i7 : phi!;
o7 : RationalMap (quadratic rational map from PP^4 to PP^5)

i8 : describe phi
o8 = rational map defined by forms of degree 2
source variety: PP^4
target variety: PP^5
image: smooth quadric hypersurface in PP^5
dominance: false
birationality: false
degree of map: 1
projective degrees: {1, 2, 4, 4, 2}
number of minimal representatives: 1
dimension base locus: 1
degree base locus: 4
coefficient ring: ZZ/33331
