Changeset 55608a7 in git for factory/cf_map_ext.h
 Timestamp:
 May 19, 2011, 3:44:04 PM (12 years ago)
 Branches:
 (u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
 Children:
 20721265ad8d95578883f26318500530eacc7f96
 Parents:
 b4f7ebdb67074ac439d1df267fda83171f69d3b8
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

factory/cf_map_ext.h
rb4f7eb r55608a7 20 20 21 21 #include <config.h> 22 23 int findItem (const CFList& list, const CanonicalForm& item); 24 25 CanonicalForm getItem (const CFList& list, const int& pos); 22 26 23 27 CanonicalForm GFMapUp (const CanonicalForm & F, int k); … … 46 50 CanonicalForm Falpha2GFRep (const CanonicalForm& F); 47 51 48 #ifdef HAVE_NTL 52 /// map from \f$ F_p(\alpha) \f$ to \f$ F_p(\beta) \f$ such that 53 /// \f$ F\in\F_p(\alpha) \f$ is mapped onto \f$ \beta \f$ 54 /// 55 /// @return @a map returns the image of @a primElem such that the above 56 /// described properties hold 57 CanonicalForm 58 map (const CanonicalForm& primElem,///< [in] primitive element of 59 ///< \f$ F_p (\alpha) \f$ 60 const Variable& alpha, ///< [in] algebraic variable 61 const CanonicalForm& F, ///< [in] an element of \f$ F_p (\alpha) \f$, 62 ///< whose minimal polynomial defines a field 63 ///< extension of \f$ F_p \f$ of degree 64 ///< \f$ \[F_p (\alpha):F_p\] \f$ 65 const Variable& beta ///< [in] algebraic variable, root of \a F's 66 ///< minimal polynomial 67 ); 68 49 69 /// compute minimal polynomial of \f$ F\in\F_p(\alpha)\backslash\F_p \f$ via NTL 50 70 /// … … 55 75 const Variable& alpha ///< [in] algebraic variable 56 76 ); 77 57 78 #endif 58 #endif
Note: See TracChangeset
for help on using the changeset viewer.