My Project
|
ExtensionInfo contains information about extension. More...
#include "factory/ExtensionInfo.h"
Public Member Functions | |
ExtensionInfo (const bool extension) | |
as initial field, if extension is true we are in some GF More... | |
ExtensionInfo (const Variable &alpha, const Variable &beta, const CanonicalForm &gamma, const CanonicalForm &delta, const int nGFDegree, const char cGFName, const bool extension) | |
Construct an ExtensionInfo. More... | |
ExtensionInfo (const Variable &alpha, const Variable &beta, const CanonicalForm &gamma, const CanonicalForm &delta) | |
as initial field and switch to an extension given by alpha, needs primitive elements gamma and delta for maps between More... | |
ExtensionInfo (const Variable &alpha, const bool extension) | |
as initial field, if extension is false. Else initial field is More... | |
ExtensionInfo (const Variable &alpha) | |
ExtensionInfo (const int nGFDegree, const char cGFName, const bool extension) | |
GF as initial field. More... | |
Variable | getAlpha () const |
getter More... | |
Variable | getBeta () const |
getter More... | |
CanonicalForm | getGamma () const |
getter More... | |
CanonicalForm | getDelta () const |
getter More... | |
int | getGFDegree () const |
getter More... | |
char | getGFName () const |
getter More... | |
bool | isInExtension () const |
getter More... | |
Private Attributes | |
Variable | m_alpha |
an algebraic variable or Variable (1) More... | |
Variable | m_beta |
an algebraic variable or Variable (1) More... | |
CanonicalForm | m_gamma |
a primitive element of or 1 More... | |
CanonicalForm | m_delta |
a primitive element of or 1 More... | |
int | m_GFDegree |
GF degree or 1. More... | |
char | m_GFName |
name of GF variable More... | |
bool | m_extension |
indicates if we are in an extension of some initial field More... | |
ExtensionInfo contains information about extension.
If m_extension is true we are in an extension of some initial field. If the initial field is and we pass to then m_alpha is an algebraic variable, m_beta= Variable(1), m_gamma= m_delta= 1, m_GFDegree= 0, m_GFName= 'Z'. If we pass to some GF (p^k) then m_alpha= Variable (1), m_beta= Variable(1), m_gamma= m_delta= 1, m_GFDegree= 1, m_GFName= 'Z'.
If the initial field is , then m_beta= , m_alpha an algebraic variable defining an extension of , m_gamma is a primitive element of , m_delta is a primitive element of , m_GFDegree= 0, m_GFName= 'Z'.
If the initial field is GF(p^k), then m_alpha= Variable (1), m_beta= Variable (1), m_gamma= 1, m_delta= 1, m_GFDegree()= k, m_GFName= gf_name of the initial field.
If m_extension is false and the current field is then m_alpha= Variable (1), m_beta= Variable (1), m_gamma= 1, m_delta= 1, m_GFDegree= 1, m_GFName= 'Z'.
If the current field is then m_alpha is some algebraic variable, m_beta= Variable (1), m_gamma= 1, m_delta= 1, m_GFDegree= 0, m_GFName= 'Z'.
If the current field is GF then m_alpha= Variable (1), m_beta= Variable (1), m_gamma= 1, m_delta= 1, m_GFDegree= getGFDegree(), m_GFName= gf_name.
Definition at line 50 of file ExtensionInfo.h.
ExtensionInfo::ExtensionInfo | ( | const bool | extension | ) |
as initial field, if extension is true we are in some GF
[in] | extension | some bool |
Definition at line 19 of file ExtensionInfo.cc.
ExtensionInfo::ExtensionInfo | ( | const Variable & | alpha, |
const Variable & | beta, | ||
const CanonicalForm & | gamma, | ||
const CanonicalForm & | delta, | ||
const int | nGFDegree, | ||
const char | cGFName, | ||
const bool | extension | ||
) |
Construct an ExtensionInfo.
[in] | alpha | some algebraic variable |
[in] | beta | some algebraic variable |
[in] | gamma | some primitive element of |
[in] | delta | some primitive element of |
[in] | nGFDegree | GFDegree of initial field |
[in] | cGFName | name of GF variable of initial field |
[in] | extension | some bool |
Definition at line 30 of file ExtensionInfo.cc.
ExtensionInfo::ExtensionInfo | ( | const Variable & | alpha, |
const Variable & | beta, | ||
const CanonicalForm & | gamma, | ||
const CanonicalForm & | delta | ||
) |
as initial field and switch to an extension given by alpha, needs primitive elements gamma and delta for maps between
[in] | alpha | some algebraic variable |
[in] | beta | some algebraic variable |
[in] | gamma | some primitive element of |
[in] | delta | some primitive element of |
Definition at line 44 of file ExtensionInfo.cc.
as initial field, if extension is false. Else initial field is
[in] | alpha | some algebraic variable |
[in] | extension | some bool |
Definition at line 57 of file ExtensionInfo.cc.
[in] | alpha | some algebraic variable |
Definition at line 68 of file ExtensionInfo.cc.
GF as initial field.
[in] | nGFDegree | GF degree of initial field |
[in] | cGFName | name of GF variable |
[in] | extension | some bool |
Definition at line 79 of file ExtensionInfo.cc.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
private |
an algebraic variable or Variable (1)
Definition at line 54 of file ExtensionInfo.h.
|
private |
an algebraic variable or Variable (1)
Definition at line 56 of file ExtensionInfo.h.
|
private |
a primitive element of or 1
Definition at line 60 of file ExtensionInfo.h.
|
private |
indicates if we are in an extension of some initial field
Definition at line 66 of file ExtensionInfo.h.
|
private |
a primitive element of or 1
Definition at line 58 of file ExtensionInfo.h.
|
private |
GF degree or 1.
Definition at line 62 of file ExtensionInfo.h.
|
private |
name of GF variable
Definition at line 64 of file ExtensionInfo.h.