ApCoCoALib:RingF16

From ApCoCoAWiki
Revision as of 08:58, 4 February 2008 by Dheldt (talk | contribs) (ApCoCoALib:F16 moved to ApCoCoALib:RingF16: The c++ class is called RingF16, not F16.)

This article is a stub. You can make this wiki more useful by adding information.

about

ApCoCoA will soon contain an implementation of the field The field is constructed via . The field's elements are represented as integers between 0 and 15. The corresponding mapping is the substitution homomorphism, mapping x to 2. Therefore we have e.g.

alternative representations

Instead of using , we could have also chosen another irreducible polynomial of degree 4. In total, there are three ireducible ones, namely If you have a system, which is based on one of the other irreducibly polynomials, you have to construct an isomorphism between the different representations of the field (which is unique). These isomorphisms can be constructed by mapping the irreducible polynomial's roots to the roots of x^4 + x^3 + 1, respecting the fields galois-group.

The irreducible polynomials and roots are:

[x^4 + x^3 + 1, [x^2, x, x^3 + x^2 + x, x^3 + 1]]
[x^4 + x + 1, [x^2, x, x^2 + 1, x + 1]]
[x^4 + x^3 + x^2 + x + 1, [x^3, x^2, x, x^3 + x^2 + x + 1]]

They were produced with the CoCoA4 code, explained here.