This class adds the necessary requirements allowing the construction of an extension of a LinBox field.
|
Public Types |
| typedef BaseField::Element | TT |
typedef Signed_Trait< TT
>::unsigned_type | UTT |
| typedef TT | Rep |
| typedef GivaroField< BaseField > | Self_t |
| typedef Rep | Element |
| typedef UTT | Residu_t |
Public Member Functions |
| | GivaroField (const BaseField &bf) |
| Rep & | amxy (Rep &r, const Rep a, const Rep b, const Rep c) const |
| bool | areNEqual (const Rep a, const Rep b) const |
| UTT | residu () const |
| UTT | characteristic () const |
| UTT | cardinality () const |
| UTT | exponent () const |
| UTT | size () const |
| template<class RandIter> Rep & | random (RandIter &g, Rep &r) const |
| template<class RandIter> Rep & | random (RandIter &g, Rep &r, long s) const |
| template<class RandIter> Rep & | random (RandIter &g, Rep &r, const Rep &b) const |
| template<class RandIter> Rep & | nonzerorandom (RandIter &g, Rep &r) const |
| template<class RandIter> Rep & | nonzerorandom (RandIter &g, Rep &r, long s) const |
| template<class RandIter> Rep & | nonzerorandom (RandIter &g, Rep &r, const Rep &b) const |
Data Fields |
| Element | zero |
| Element | one |