![]() |
My Project
debian-1:4.1.1-p2+ds-4build3
|
#include "config.h"
#include "cf_assert.h"
#include "debug.h"
#include "canonicalform.h"
#include "cf_util.h"
#include "imm.h"
#include "cf_iter.h"
#include "NTLconvert.h"
#include "cf_cyclo.h"
#include "cf_map_ext.h"
Go to the source code of this file.
Functions | |
int | findItem (const CFList &list, const CanonicalForm &item) |
helper function More... | |
CanonicalForm | getItem (const CFList &list, const int &pos) |
helper function More... | |
static CanonicalForm | mapUp (const Variable &alpha, const Variable &beta) |
![]() ![]() ![]() | |
static CanonicalForm | mapDown (const CanonicalForm &F, const Variable &alpha, const CanonicalForm &G, CFList &source, CFList &dest) |
the CanonicalForm G is the output of map_up, returns F considered as an element over ![]() ![]() ![]() | |
static CanonicalForm | GF2FalphaHelper (const CanonicalForm &F, const Variable &alpha) |
helper function More... | |
CanonicalForm | GF2FalphaRep (const CanonicalForm &F, const Variable &alpha) |
changes representation by primitive element to representation by residue classes modulo a Conway polynomial More... | |
CanonicalForm | Falpha2GFRep (const CanonicalForm &F) |
change representation by residue classes modulo a Conway polynomial to representation by primitive element More... | |
static CanonicalForm | GFPowUp (const CanonicalForm &F, int k) |
GF_map_up helper. More... | |
CanonicalForm | GFMapUp (const CanonicalForm &F, int k) |
maps a polynomial over ![]() ![]() | |
static CanonicalForm | GFPowDown (const CanonicalForm &F, int k) |
GFMapDown helper. More... | |
CanonicalForm | GFMapDown (const CanonicalForm &F, int k) |
maps a polynomial over ![]() ![]() | |
static CanonicalForm | mapUp (const CanonicalForm &F, const CanonicalForm &G, const Variable &alpha, const CanonicalForm &H, CFList &source, CFList &dest) |
map F in ![]() ![]() | |
CanonicalForm | primitiveElement (const Variable &alpha, Variable &beta, bool &fail) |
determine a primitive element of ![]() ![]() ![]() | |
CanonicalForm | mapDown (const CanonicalForm &F, const CanonicalForm &prim_elem, const CanonicalForm &im_prim_elem, const Variable &alpha, CFList &source, CFList &dest) |
map F from ![]() ![]() ![]() ![]() | |
CanonicalForm | mapUp (const CanonicalForm &F, const Variable &alpha, const Variable &, const CanonicalForm &prim_elem, const CanonicalForm &im_prim_elem, CFList &source, CFList &dest) |
map F from ![]() ![]() ![]() | |
CanonicalForm | mapPrimElem (const CanonicalForm &primElem, const Variable &alpha, const Variable &beta) |
compute the image of a primitive element of ![]() ![]() ![]() | |
CanonicalForm | map (const CanonicalForm &primElem, const Variable &alpha, const CanonicalForm &F, const Variable &beta) |
map from ![]() ![]() ![]() ![]() | |
CanonicalForm | findMinPoly (const CanonicalForm &F, const Variable &alpha) |
compute minimal polynomial of ![]() | |
This file implements functions to map between extensions of finite fields
Definition in file cf_map_ext.cc.
CanonicalForm Falpha2GFRep | ( | const CanonicalForm & | F | ) |
change representation by residue classes modulo a Conway polynomial to representation by primitive element
Definition at line 170 of file cf_map_ext.cc.
int findItem | ( | const CFList & | list, |
const CanonicalForm & | item | ||
) |
helper function
Definition at line 37 of file cf_map_ext.cc.
CanonicalForm findMinPoly | ( | const CanonicalForm & | F, |
const Variable & | alpha | ||
) |
compute minimal polynomial of via NTL
Definition at line 434 of file cf_map_ext.cc.
CanonicalForm getItem | ( | const CFList & | list, |
const int & | pos | ||
) |
|
inlinestatic |
CanonicalForm GF2FalphaRep | ( | const CanonicalForm & | F, |
const Variable & | alpha | ||
) |
changes representation by primitive element to representation by residue classes modulo a Conway polynomial
Definition at line 162 of file cf_map_ext.cc.
CanonicalForm GFMapDown | ( | const CanonicalForm & | F, |
int | k | ||
) |
maps a polynomial over to a polynomial over
, d needs to be a multiple of k
Definition at line 243 of file cf_map_ext.cc.
CanonicalForm GFMapUp | ( | const CanonicalForm & | F, |
int | k | ||
) |
maps a polynomial over to a polynomial over
, d needs to be a multiple of k
Definition at line 207 of file cf_map_ext.cc.
|
inlinestatic |
|
inlinestatic |
GF_map_up helper.
Definition at line 196 of file cf_map_ext.cc.
CanonicalForm map | ( | const CanonicalForm & | primElem, |
const Variable & | alpha, | ||
const CanonicalForm & | F, | ||
const Variable & | beta | ||
) |
map from to
such that
is mapped onto
Definition at line 400 of file cf_map_ext.cc.
CanonicalForm mapDown | ( | const CanonicalForm & | F, |
const CanonicalForm & | prim_elem, | ||
const CanonicalForm & | im_prim_elem, | ||
const Variable & | alpha, | ||
CFList & | source, | ||
CFList & | dest | ||
) |
map F from to
. We assume
and F in
.
Definition at line 358 of file cf_map_ext.cc.
|
inlinestatic |
the CanonicalForm G is the output of map_up, returns F considered as an element over , WARNING: make sure coefficients of F are really elements of a subfield of
which is isomorphic to
Definition at line 90 of file cf_map_ext.cc.
CanonicalForm mapPrimElem | ( | const CanonicalForm & | primElem, |
const Variable & | alpha, | ||
const Variable & | beta | ||
) |
compute the image of a primitive element of in
. We assume
.
Definition at line 377 of file cf_map_ext.cc.
|
inlinestatic |
map F in which is generated by G into some
which is generated by H
Definition at line 257 of file cf_map_ext.cc.
CanonicalForm mapUp | ( | const CanonicalForm & | F, |
const Variable & | alpha, | ||
const Variable & | , | ||
const CanonicalForm & | prim_elem, | ||
const CanonicalForm & | im_prim_elem, | ||
CFList & | source, | ||
CFList & | dest | ||
) |
|
inlinestatic |
CanonicalForm primitiveElement | ( | const Variable & | alpha, |
Variable & | beta, | ||
bool & | fail | ||
) |
determine a primitive element of ,
is a primitive element of a field which is isomorphic to
Definition at line 310 of file cf_map_ext.cc.