ApCoCoA-1:LinSyz.Resolution

From ApCoCoAWiki
Revision as of 10:54, 9 December 2008 by Skaspar (talk | contribs) (Updated description)

LinSyz.Resolution

compute syzygy modules of module gen. by linear forms

Syntax

LinSyz.Resolution(M:MODULE,N:INT):LIST

Description

Please note: The function(s) explained on this page is/are using the ApCoCoAServer. You will have to start the ApCoCoAServer in order to use

it/them.

This command computes the resolution of a given module, which is generated by vectors consisting of linear forms. Be aware of the fact that this is very new and may contain bugs! Also the linear forms may not have any constant component, so if your system has some, you have to homogenize the system first via introducing a new indeterminate.

If the second parameter is set to 0, all syzygy modules will be computed. otherwise, if the second parameter is n, the first n syzygy modules will be computed.

The first set in the resulting lists contains the '0-th' syzygy module and consists of the interreduced generators!

See also

LinSyz.BettyNumber

LinSyz.BettyNumbers

LinSyz.SyzModule