Difference between revisions of "ApCoCoA-1:LinSyz.BettyNumbers"
(Added ApCoCoAServer note) |
(Updated description) |
||
| Line 1: | Line 1: | ||
<command> | <command> | ||
<title>LinSyz.BettyNumbers</title> | <title>LinSyz.BettyNumbers</title> | ||
| − | <short_description> | + | <short_description>compute Betty numbers of module gen. by linear forms</short_description> |
<syntax> | <syntax> | ||
| − | + | LinSyz.BettyNumbers(M:MODULE):LIST | |
</syntax> | </syntax> | ||
<description> | <description> | ||
{{ApCoCoAServer}} | {{ApCoCoAServer}} | ||
| − | This command computes all Betty | + | This command computes all Betty numbers 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. |
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. | 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. | ||
Revision as of 10:57, 9 December 2008
LinSyz.BettyNumbers
compute Betty numbers of module gen. by linear forms
Syntax
LinSyz.BettyNumbers(M:MODULE):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 all Betty numbers 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.
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
