-- -*- M2-comint -*- hash: 16963697643381942784

i1 : phi = specialQuadraticTransformation 7;

o1 : RationalMap (quadratic birational map from PP^8 to 8-dimensional subvariety of PP^10)

i2 : phi' = super phi;

o2 : RationalMap (quadratic rational map from PP^8 to PP^10)

i3 : describe phi

o3 = rational map defined by forms of degree 2
     source variety: PP^8
     target variety: complete intersection of type (2,2) in PP^10
     dominance: true
     birationality: true
     projective degrees: {1, 2, 4, 8, 16, 22, 20, 12, 4}
     number of minimal representatives: 1
     dimension base locus: 3
     degree base locus: 10
     coefficient ring: QQ

i4 : describe phi'

o4 = rational map defined by forms of degree 2
     source variety: PP^8
     target variety: PP^10
     image: complete intersection of type (2,2) in PP^10
     dominance: false
     birationality: false
     degree of map: 1
     projective degrees: {1, 2, 4, 8, 16, 22, 20, 12, 4}
     number of minimal representatives: 1
     dimension base locus: 3
     degree base locus: 10
     coefficient ring: QQ

i5 : describe rationalMap(phi',Dominant=>true)

o5 = rational map defined by forms of degree 2
     source variety: PP^8
     target variety: complete intersection of type (2,2) in PP^10
     dominance: true
     birationality: true
     projective degrees: {1, 2, 4, 8, 16, 22, 20, 12, 4}
     number of minimal representatives: 1
     dimension base locus: 3
     degree base locus: 10
     coefficient ring: QQ

i6 : 
