search for:

fromDual f -- given a 1 by n matrix f over a polynomial ring R, computes g so that Hom(R/image g, E) corresponds to f, where E is the injective envelope of the coefficient field of R.

This function mimics the script <l_from_dual of Macaulay, and is probably going to be changed substantially.

See also:

search for: