Difference between revisions of "ApCoCoALib:RingF16"

From ApCoCoAWiki
m (ApCoCoALib:F16 moved to ApCoCoALib:RingF16: The c++ class is called RingF16, not F16.)
(update wtr. the implementation of F16.)
Line 2: Line 2:
  
 
==about==
 
==about==
ApCoCoA will soon contain an implementation of the field <math>\mathbb{F}_{16}</math>
+
ApCoCoALib  contains an implementation of the field <math>\mathbb{F}_{16}</math>
 
The field is constructed via  <math>\mathbb{F}_{16} = \mathbb{F}[x]/(x^4 + x^3 + 1)</math>.  
 
The field is constructed via  <math>\mathbb{F}_{16} = \mathbb{F}[x]/(x^4 + x^3 + 1)</math>.  
 
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. <math>x^3 + x + 1 \mapsto 2^3 + 2^1 + 2^0 = 8 + 2  + 1 = 11</math>
 
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. <math>x^3 + x + 1 \mapsto 2^3 + 2^1 + 2^0 = 8 + 2  + 1 = 11</math>
  
==alternative representations==
+
This implementation is contained in the files RingF16,[CH]. A new instance can be created with the command:
Instead of using <math>x^4 + x^3 + 1 </math>, we could have also chosen another irreducible polynomial of degree 4.
+
ApCoCoA::AlgebraicCore::NewRingF16();
In total, there are three ireducible ones, namely <math>\{x^4 + x^3 + 1,x^4 + x^3 + 1, x^4 + x^3 + x^2 + x + 1 \}</math>
 
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:
+
An example, describing how to use RingF16, especially together with ring homomorphisms can be found in ApCoCoALib's example directory. It is named ex-RingF16.C
[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 [[HowTo:construct_fields|here]].
 
  
 
[[Category:ApCoCoALib_Manual]]
 
[[Category:ApCoCoALib_Manual]]

Revision as of 09:03, 4 February 2008

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

about

ApCoCoALib contains 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.

This implementation is contained in the files RingF16,[CH]. A new instance can be created with the command:

ApCoCoA::AlgebraicCore::NewRingF16();

An example, describing how to use RingF16, especially together with ring homomorphisms can be found in ApCoCoALib's example directory. It is named ex-RingF16.C