toDual
toDual(d,f)
-- given a 1 by n matrix f
over a polynomial
ring R and an integer d such that the d-th power of each variable is in
the image of f, computes Hom(R/image f, E)
, where
E is the injective envelope of the coefficient field of R.
This function mimics the script <l_to_dual
of Macaulay, and
is probably going to be changed substantially.
See also fromDual.
Go to main index.
Go to concepts index.