Difference between revisions of "ApCoCoA:CharP.GBasisF2"

From CoCoAWiki
m (fixing formula)
m (fixing formula)
Line 6: Line 6:
 
</syntax>
 
</syntax>
 
     <description>
 
     <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 [[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]].  
  
 
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 21:58, 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} = (\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

ApCoCoA:GBasis

ApCoCoA:char2.GBasisF4

ApCoCoA:char2.GBasisF8

ApCoCoA:char2.GBasisF16

ApCoCoA:char2.GBasisF32

ApCoCoA:char2.GBasisF64

ApCoCoA:char2.GBasisF128

ApCoCoA:char2.GBasisF256

ApCoCoA:char2.GBasisF512

ApCoCoA:char2.GBasisF1024

ApCoCoA:char2.GBasisF2048

ApCoCoA:char2.GBasisF4096

ApCoCoA:char2.GBasisModSquares