-- -*- M2-comint -*- hash: 14201900097959494796

i1 : R = QQ[a,b];

i2 : A2 = wordAlgebra(2, CoefficientRing => R);

i3 : T = a^2 * [1,1]_A2 + a * b * [1,2]_A2 + b^2 * [2,2]_A2

      2   2            2   2
o3 = b Lt  +a*bLt Lt +a Lt
         2       1  2     1

o3 : A2

i4 : tensorParametrization(T); wordFormat T

o4 : RingMap R <-- QQ[b      , b      , b      ]
                       [1, 2]   [1, 1]   [2, 2]

      2                        2
o5 = b  [2, 2] + a*b [1, 2] + a  [1, 1]

i6 : S = QQ[x,y,z];

i7 : vwtable = hashTable({(x,[1,1]),(y,[1,2]),(z,[2,2])})

o7 = HashTable{x => [1, 1]}
               y => [1, 2]
               z => [2, 2]

o7 : HashTable

i8 : m = tensorParametrization(T, VarWordTable => vwtable)

                  2        2
o8 = map (R, S, {a , a*b, b })

o8 : RingMap R <-- S

i9 : kernel m

            2
o9 = ideal(y  - x*z)

o9 : Ideal of S

i10 : 
