Difference between revisions of "ApCoCoA:LinSyz.BettyNumbers"

From CoCoAWiki
(referring to LinSyz.SyzModule.)
(adding remark about returning the number of indeterminates.)
Line 7: Line 7:
 
     <description>
 
     <description>
 
This command computes all Betty number 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 all Betty number 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.
 +
 +
The first indeterminate returned contains the number of generators, such that this command does not produce conflicts with LinSyz.Resolution, which returns the interreduced generators first.
 
     </description>
 
     </description>
 
     <seealso>
 
     <seealso>

Revision as of 11:26, 22 July 2008

LinSyz.BettyNumbers

computing the Betty Numbers for a Module, generated by linear forms

Syntax

$linsyz.BettyNumbers(Module):List

Description

This command computes all Betty number 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.

The first indeterminate returned contains the number of generators, such that this command does not produce conflicts with LinSyz.Resolution, which returns the interreduced generators first.

See also

ApCoCoA:LinSyz.BettyNumber

ApCoCoA:LinSyz.Resolution

ApCoCoA:LinSyz.SyzModule