![]() |
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 |
getter
Definition at line 111 of file ExtensionInfo.h.
|
inline |
getter
Definition at line 118 of file ExtensionInfo.h.
|
inline |
getter
Definition at line 132 of file ExtensionInfo.h.
|
inline |
getter
Definition at line 125 of file ExtensionInfo.h.
|
inline |
|
inline |
|
inline |
getter
Definition at line 153 of file ExtensionInfo.h.
|
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.