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 |