Changeset 98abec in git
 Timestamp:
 Aug 26, 2014, 11:26:56 AM (9 years ago)
 Branches:
 (u'spielwiese', '91e5db82acc17434e4062bcfa44e6efa7d41fd30')
 Children:
 8b7b108474a7f7dcc5bffc2636ab9027c6131d3d
 Parents:
 53e6c3ed92a09bfcbead81b6adcaa7ab3eed1a88
 gitauthor:
 Martin Lee <martinlee84@web.de>20140826 11:26:56+02:00
 gitcommitter:
 Martin Lee <martinlee84@web.de>20140826 12:29:12+02:00
 Location:
 factory
 Files:

 2 edited
Legend:
 Unmodified
 Added
 Removed

factory/cf_map_ext.cc
r53e6c3 r98abec 160 160 } 161 161 162 /// changes representation by primitive element to representation by residue163 /// classes modulo a Conway polynomial164 162 CanonicalForm GF2FalphaRep (const CanonicalForm& F, const Variable& alpha) 165 163 { … … 170 168 } 171 169 172 /// change representation by residue classes modulo a Conway polynomial173 /// to representation by primitive element174 170 CanonicalForm Falpha2GFRep (const CanonicalForm& F) 175 171 { … … 209 205 } 210 206 211 /// maps a polynomial over \f$ GF(p^{k}) \f$ to a polynomial over212 /// \f$ GF(p^{d}) \f$ , d needs to be a multiple of k213 207 CanonicalForm GFMapUp (const CanonicalForm & F, int k) 214 208 { … … 247 241 } 248 242 249 /// maps a polynomial over \f$ GF(p^{d}) \f$ to a polynomial over250 /// \f$ GF(p^{k})\f$ , d needs to be a multiple of k251 243 CanonicalForm GFMapDown (const CanonicalForm & F, int k) 252 244 { … … 260 252 } 261 253 254 /// map F in \f$ F_{p} (\alpha ) \f$ which is generated by G into some 255 /// \f$ F_{p}(\beta ) \f$ which is generated by H 262 256 static inline 263 257 CanonicalForm mapUp (const CanonicalForm& F, const CanonicalForm& G, … … 313 307 314 308 #ifdef HAVE_NTL 315 /// determine a primitive element of \f$ F_{p} (\alpha ) \f$, 316 /// \f$ \beta \f$ is a primitive element of a field which is isomorphic to 317 /// \f$ F_{p}(\alpha ) \f$ 318 CanonicalForm 319 primitiveElement (const Variable& alpha, Variable& beta, bool fail) 309 CanonicalForm 310 primitiveElement (const Variable& alpha, Variable& beta, bool& fail) 320 311 { 321 312 bool primitive= false; 
factory/cf_map_ext.h
r53e6c3 r98abec 22 22 CanonicalForm getItem (const CFList& list, const int& pos); 23 23 24 /// maps a polynomial over \f$ GF(p^{k}) \f$ to a polynomial over 25 /// \f$ GF(p^{d}) \f$ , d needs to be a multiple of k 24 26 CanonicalForm GFMapUp (const CanonicalForm & F, int k); 25 27 28 /// maps a polynomial over \f$ GF(p^{d}) \f$ to a polynomial over 29 /// \f$ GF(p^{k})\f$ , d needs to be a multiple of k 26 30 CanonicalForm GFMapDown (const CanonicalForm & F, int k); 27 31 32 /// map F from \f$ F_{p} (\alpha ) \f$ to \f$ F_{p}(\beta ) \f$. 33 /// We assume \f$ F_{p} (\alpha ) \subset F_{p}(\beta ) \f$. 28 34 CanonicalForm 29 mapUp (const CanonicalForm& F, const Variable& alpha, const Variable& beta, 30 const CanonicalForm& prim_elem, const CanonicalForm& im_prim_elem, 31 CFList& source, CFList& dest); 35 mapUp (const CanonicalForm& F, ///<[in] poly over \f$ F_{p} (\alpha ) \f$ 36 const Variable& alpha, ///<[in] alg. variable 37 const Variable& beta, ///<[in] alg. variable 38 const CanonicalForm& prim_elem, ///<[in] primitive element of \f$ F_{p} (\alpha ) \f$ 39 const CanonicalForm& im_prim_elem,///<[in] image of prim_elem in \f$ F_{p} (\beta ) \f$ 40 CFList& source, ///<[in,out] look up lists 41 CFList& dest ///<[in,out] look up lists 42 ); 32 43 44 /// map F from \f$ F_{p} (\beta ) \f$ to \f$ F_{p}(\alpha ) \f$. 45 /// We assume \f$ F_{p} (\alpha ) \subset F_{p}(\beta ) \f$ and F in 46 /// \f$ F_{p}(\alpha ) \f$. 33 47 CanonicalForm 34 mapDown (const CanonicalForm& F, const CanonicalForm& prim_elem, const 35 CanonicalForm& im_prim_elem, const Variable& alpha, CFList& source, 36 CFList& dest); 48 mapDown (const CanonicalForm& F, ///<[in] poly over \f$ F_{p} (\beta ) \f$ 49 const CanonicalForm& prim_elem, ///<[in] primitive element of \f$ F_{p} (\alpha ) \f$ 50 const CanonicalForm& im_prim_elem,///<[in] image of prim_elem in \f$ F_{p} (\beta ) \f$ 51 const Variable& alpha, ///<[in] alg. variable 52 CFList& source, ///<[in,out] look up lists 53 CFList& dest ///<[in,out] look up lists 54 ); 37 55 56 /// determine a primitive element of \f$ F_{p} (\alpha ) \f$, 57 /// \f$ \beta \f$ is a primitive element of a field which is isomorphic to 58 /// \f$ F_{p}(\alpha ) \f$ 38 59 CanonicalForm 39 primitiveElement (const Variable& alpha, Variable& beta, bool fail); 60 primitiveElement (const Variable& alpha, ///< [in] some algebraic variable 61 Variable& beta, ///< [in,out] s.a. 62 bool& fail ///< [in,out] failure due to integer 63 ///< factorization failure? 64 ); 40 65 66 /// compute the image of a primitive element of \f$ F_{p} (\alpha ) \f$ 67 /// in \f$ F_{p}(\beta ) \f$. 68 /// We assume \f$ F_{p} (\alpha ) \subset F_{p}(\beta ) \f$. 41 69 CanonicalForm 42 mapPrimElem (const CanonicalForm& prim_elem, const Variable& alpha, 43 const Variable& beta); 70 mapPrimElem (const CanonicalForm& prim_elem, ///< [in] primitive element 71 const Variable& alpha, ///< [in] algebraic variable 72 const Variable& beta ///< [in] algebraic variable 73 ); 44 74 45 CanonicalForm GF2FalphaRep (const CanonicalForm& F, const Variable& alpha); 75 /// changes representation by primitive element to representation by residue 76 /// classes modulo a Conway polynomial 77 CanonicalForm GF2FalphaRep (const CanonicalForm& F, ///< [in] some poly over GF 78 const Variable& alpha ///< [in] root of a Conway 79 ///< poly 80 ); 46 81 47 CanonicalForm Falpha2GFRep (const CanonicalForm& F); 82 /// change representation by residue classes modulo a Conway polynomial 83 /// to representation by primitive element 84 CanonicalForm Falpha2GFRep (const CanonicalForm& F ///<[in] some poly over 85 ///< F_p(alpha) where alpha 86 ///< is a root of a Conway 87 ///< poly 88 ); 48 89 49 /// map from \f$ F_p(\alpha) \f$ to \f$ F_p(\beta) \f$ such that 90 /// map from \f$ F_p(\alpha) \f$ to \f$ F_p(\beta) \f$ such that 50 91 /// \f$ F\in F_p(\alpha) \f$ is mapped onto \f$ \beta \f$ 51 92 /// 52 /// @return @a map returns the image of @a primElem such that the above 93 /// @return @a map returns the image of @a primElem such that the above 53 94 /// described properties hold 54 95 CanonicalForm 55 map (const CanonicalForm& primElem,///< [in] primitive element of 96 map (const CanonicalForm& primElem,///< [in] primitive element of 56 97 ///< \f$ F_p (\alpha) \f$ 57 98 const Variable& alpha, ///< [in] algebraic variable … … 68 109 /// @return @a findMinPoly computes the minimal polynomial of F 69 110 CanonicalForm 70 findMinPoly (const CanonicalForm& F, ///< [in] an element of 111 findMinPoly (const CanonicalForm& F, ///< [in] an element of 71 112 ///< \f$ F_p(\alpha)\backslash F_p \f$ 72 113 const Variable& alpha ///< [in] algebraic variable
Note: See TracChangeset
for help on using the changeset viewer.