seq = hfModuleAsExt(numValues,M,numgensR)
Given a module M over the ring of operators $k[x_1..x_c]$, the call $N = moduleAsExt(M,R)$ produces a module N over the ring R whose ext module is the exterior algebra on n=numgensR generators tensored with M. This script computes numValues values of the Hilbert function of $$ M \otimes \wedge k^n, $$ which should be equal to the total betti numbers of N.
|
|
|
|
|
|
|
|
|
The object hfModuleAsExt is a method function.