Introduction Uniform Distribution Classical Examples Construction Irreducible Polynomials Numerical Integraion Pricing Theory References

 

A Note on the Construction of Irreducible Polynomials

Polynomials as Lists

For internal computations, polynomials are maintained as lists, such that the zero order coefficient corresponds to the first list element.

[Graphics:../Images/QRDemonstration_gr_312.gif]
[Graphics:../Images/QRDemonstration_gr_313.gif]
[Graphics:../Images/QRDemonstration_gr_314.gif]
[Graphics:../Images/QRDemonstration_gr_315.gif]
[Graphics:../Images/QRDemonstration_gr_316.gif]
[Graphics:../Images/QRDemonstration_gr_317.gif]
[Graphics:../Images/QRDemonstration_gr_318.gif]

The Polynomial [Graphics:../Images/QRDemonstration_gr_319.gif]

To calculate sufficiently many irreducible polynomials we use a well-known fact about polynomials over finite fields: For every finte field [Graphics:../Images/QRDemonstration_gr_320.gif] and for all [Graphics:../Images/QRDemonstration_gr_321.gif],

[Graphics:../Images/QRDemonstration_gr_322.gif],

where the product is extended over all monic irreducible polynomials [Graphics:../Images/QRDemonstration_gr_323.gif] for which [Graphics:../Images/QRDemonstration_gr_324.gif] divides [Graphics:../Images/QRDemonstration_gr_325.gif]. Selecting [Graphics:../Images/QRDemonstration_gr_326.gif] to contain the proper prime factors we get the disired list of monic pairwise irreducible polynomials.
Mathematica supports factoring polynomials over prime field, so the above approach works fine for [Graphics:../Images/QRDemonstration_gr_327.gif] prime. For example to get all the monic irreducible polynomials of degree 1,2,3 in [Graphics:../Images/QRDemonstration_gr_328.gif] factor [Graphics:../Images/QRDemonstration_gr_329.gif] in [Graphics:../Images/QRDemonstration_gr_330.gif]:

[Graphics:../Images/QRDemonstration_gr_331.gif]
[Graphics:../Images/QRDemonstration_gr_332.gif]
1 "x" [Graphics:../Images/QRDemonstration_gr_333.gif] [Graphics:../Images/QRDemonstration_gr_334.gif] [Graphics:../Images/QRDemonstration_gr_335.gif]
0 [Graphics:../Images/QRDemonstration_gr_336.gif] "" ""
[Graphics:../Images/QRDemonstration_gr_337.gif] [Graphics:../Images/QRDemonstration_gr_338.gif] "" ""
[Graphics:../Images/QRDemonstration_gr_339.gif] [Graphics:../Images/QRDemonstration_gr_340.gif] "" ""
[Graphics:../Images/QRDemonstration_gr_341.gif] 0 [Graphics:../Images/QRDemonstration_gr_342.gif] ""
[Graphics:../Images/QRDemonstration_gr_343.gif] [Graphics:../Images/QRDemonstration_gr_344.gif] [Graphics:../Images/QRDemonstration_gr_345.gif] ""
[Graphics:../Images/QRDemonstration_gr_346.gif] [Graphics:../Images/QRDemonstration_gr_347.gif] [Graphics:../Images/QRDemonstration_gr_348.gif] ""
[Graphics:../Images/QRDemonstration_gr_349.gif] [Graphics:../Images/QRDemonstration_gr_350.gif] 0 [Graphics:../Images/QRDemonstration_gr_351.gif]
[Graphics:../Images/QRDemonstration_gr_352.gif] [Graphics:../Images/QRDemonstration_gr_353.gif] 0 [Graphics:../Images/QRDemonstration_gr_354.gif]
[Graphics:../Images/QRDemonstration_gr_355.gif] 0 [Graphics:../Images/QRDemonstration_gr_356.gif] [Graphics:../Images/QRDemonstration_gr_357.gif]
[Graphics:../Images/QRDemonstration_gr_358.gif] [Graphics:../Images/QRDemonstration_gr_359.gif] [Graphics:../Images/QRDemonstration_gr_360.gif] [Graphics:../Images/QRDemonstration_gr_361.gif]

Converted by Mathematica November 18, 1998

 

 

Introduction Uniform Distribution Classical Examples Construction Irreducible Polynomials Numerical Integraion Pricing Theory References