Difference between revisions of "ApCoCoA-1:CharP.GBasisF2"
From ApCoCoAWiki
m (fixing formula) |
(Added ApCoCoAServer note) |
||
| Line 6: | Line 6: | ||
</syntax> | </syntax> | ||
<description> | <description> | ||
| + | {{ApCoCoAServer}} | ||
| + | |||
This command computes a Groebner basis in the field <formula> \mathbb{F}_{2} = (\mathbb{Z}_{\setminus(2)} </formula>. It uses the ApCoCoA Server and the ApCoCoALib's class [[ApCoCoALib:RingF2|RingF2]]. | This command computes a Groebner basis in the field <formula> \mathbb{F}_{2} = (\mathbb{Z}_{\setminus(2)} </formula>. It uses the ApCoCoA Server and the ApCoCoALib's class [[ApCoCoALib:RingF2|RingF2]]. | ||
Revision as of 14:05, 14 November 2008
Char2.GBasisF2
computing a gbasis of a given ideal in <formula>\mathbb{F}_{2}</formula>
Syntax
$char2.GBasisF2(Ideal):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 a Groebner basis in the field <formula> \mathbb{F}_{2} = (\mathbb{Z}_{\setminus(2)} </formula>. It uses the ApCoCoA Server and the ApCoCoALib's class RingF2.
The command's input is a an Ideal in a Ring over Z, where the elements 0,..., 1 represent the field's elements. Details on this representation can be found here.
See also
