R = superRing(R1, R2)
Let $R_1$ and $R_2$ be Two Polynomial rings on different set of variables A superRing is a new polynomial ring with three sets of variables. One set comes from $R_1$ and the second one is the inverse of it.
For example, if we have x as a variable in $R_1$, then there is a new variable, say $inverseVariable_0$ which is the inverse of $x$. The third set of variables comes from $R_2$. We redefine this set to be a set of skew-symmetric variables. So superRing of $R_1$ and $R_2$ is a quotient ring, which has both invertible and skew symmetric variables. If the coefficient ring is a field, then we get a super algebra.
|
|
|
The object superRing is a method function.