Given a finitely generated module over a $\ZZ^d$-graded polynomial ring $R$, quasidegreesAsVariables gives a representation of the quasidegree set of $M$ using the variables of $R$. This method captures the plane arrangement of the quasidegree set of the module.
If the input is an ideal $I$, then quasidegreesAsVariables executes for the module $R/I$ where $R$ is the ring of $I$.
A synonym for this function is qav.
|
|
|
|
In the above example, the first element in the list \{1,\{x\}\} corresponds to a line in the $x$ direction with no shift. The element \{y,\{\}\} corresponds to a point shifted in the direction of the degree of $y$, the element \{x*y,\{\}\} corresponds to a point shifted in the direction of the degree $xy$, and the element \{y^2,\{\}\} corresponds to a point shifted in the direction of the degree of $y^2$.
The next example has a 2 dimensional quasidegree set.
|
|
|
|
The quasidegree set of $\QQ[x,y,z]/<y>$ with the standard $\ZZ^3$-grading is the (unshifted) $xz$-plane.
The object quasidegreesAsVariables is a method function.