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

From ApCoCoAWiki

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} = (\ | + | 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 19: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