Difference between revisions of "ApCoCoA-1:CharP.GBasisF2"

From ApCoCoAWiki
(adding a description.)
m (fixing formula)
Line 6: Line 6:
 
</syntax>
 
</syntax>
 
     <description>
 
     <description>
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} = (\smathbb{Z}_{\setminus(2)} </formula>. It uses the ApCoCoA Server and the ApCoCoALib's class [[ApCoCoALib:RingF2|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 [[ApCoCoA:Representation_of_finite_fields|here]].
 
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 [[ApCoCoA:Representation_of_finite_fields|here]].

Revision as of 19:57, 30 March 2008

Char2.GBasisF2

computing a gbasis of a given ideal in <formula>\mathbb{F}_{2}</formula>

Syntax

$char2.GBasisF2(Ideal):List

Description

This command computes a Groebner basis in the field <formula> \mathbb{F}_{2} = (\smathbb{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

GBasis

char2.GBasisF4

char2.GBasisF8

char2.GBasisF16

char2.GBasisF32

char2.GBasisF64

char2.GBasisF128

char2.GBasisF256

char2.GBasisF512

char2.GBasisF1024

char2.GBasisF2048

char2.GBasisF4096

char2.GBasisModSquares