Difference between revisions of "ApCoCoA:LinSyz.Resolution"

From CoCoAWiki
(fixing a key and referring to LinSyz.SyzModule.)
(adding remark about returning reduced generators.)
Line 8: Line 8:
 
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 make the system homogeneous first via introducing a new indeterminate.
 
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 make the system homogeneous first via introducing a new indeterminate.
  
If the second paramer is set to 0, all syzygy moduls will be computed. otherwise, if the second parameter is n, the first n syzygy moduls will be computed  
+
If the second paramer is set to 0, all syzygy moduls will be computed. otherwise, if the second parameter is n, the first n syzygy moduls will be computed.
 +
 
 +
the first set in the resulting lists contains the '0-th' syzygy modul and consists of the interreduced generators!
 
     </description>
 
     </description>
 
     <seealso>
 
     <seealso>

Revision as of 11:24, 22 July 2008

LinSyz.Resolution

computing the Syzygy moduls for a Module, generated by linear forms

Syntax

$linsyz.Resolution(Module,Int):List

Description

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 make the system homogeneous first via introducing a new indeterminate.

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

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

See also

ApCoCoA:LinSyz.BettyNumber

ApCoCoA:LinSyz.BettyNumbers

ApCoCoA:LinSyz.SyzModule