decomposeHomogeneousMA f
decomposeHomogeneousMA R
decomposeHomogeneousMA B
decomposeHomogeneousMA M
Let K[B] be the monomial algebra of the degree monoid of the target of f and let analogously K[A] for source of f. Assume that K[B] is finite as a K[A]-module.
The monomial algebra K[B] is decomposed as a direct sum of monomial ideals in K[A] with twists in ZZ.
If B or R with degrees B is specified then A is computed via findGeneratorsOfSubalgebra.
Note that the shift chosen by the function depends on the monomial ordering of K[A] (in the non-simplicial case).
|
|
|
|
|
|
|
The object decomposeHomogeneousMA is a method function with options.