-- -*- M2-comint -*- {* hash: -292746578 *}

i1 : R = QQ[a..d];

i2 : symmetricAlgebra R^3

o2 = R[p , p , p ]
        0   1   2

o2 : PolynomialRing

i3 : vars R

o3 = | a b c d |

             1       4
o3 : Matrix R  <--- R

i4 : symmetricAlgebra vars R

o4 = map(R[p ],R[p , p , p , p ],{a*p , b*p , c*p , d*p , a, b, c, d})
            0     0   1   2   3      0     0     0     0

o4 : RingMap R[p ] <--- R[p , p , p , p ]
                0          0   1   2   3

i5 : symmetricAlgebra transpose vars R

o5 = map(R[p , p , p , p ],R[p ],{a*p  + b*p  + c*p  + d*p , a, b, c, d})
            0   1   2   3     0      0      1      2      3

o5 : RingMap R[p , p , p , p ] <--- R[p ]
                0   1   2   3          0

i6 : a

o6 = a

o6 : R

i7 : p_0

o7 = p
      0

o7 : IndexedVariable

i8 : S = o2;

i9 : a

o9 = a

o9 : R

i10 : p_0

o10 = p
       0

o10 : S

i11 : symmetricAlgebra(R^3, Variables => {t,u,v})

o11 = R[t, u, v]

o11 : PolynomialRing

i12 : symmetricAlgebra(R^3, VariableBaseName => t)

o12 = R[t , t , t ]
         0   1   2

o12 : PolynomialRing

i13 : use R

o13 = R

o13 : PolynomialRing

i14 : symmetricAlgebra(R^1/(a,b^3))

          R[p ]
             0
o14 = ------------
              3
      (a*p , b p )
          0     0

o14 : QuotientRing

i15 :