Changeset 55608a7 in git for factory/cf_map_ext.h

Timestamp:

May 19, 2011, 3:44:04 PM (12 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')

Children:

20721265ad8d95578883f26318500530eacc7f96

Parents:

b4f7ebdb67074ac439d1df267fda83171f69d3b8

Message:

added new functionality to map between extension


git-svn-id: file:///usr/local/Singular/svn/trunk@14232 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/cf_map_ext.h (modified) (3 diffs)

factory/cf_map_ext.h

@@ -20 +20 @@
 
 #include <config.h>
+
+int findItem (const CFList& list, const CanonicalForm& item);
+
+CanonicalForm getItem (const CFList& list, const int& pos);
 
 CanonicalForm GFMapUp (const CanonicalForm & F, int k);
@@ -46 +50 @@
 CanonicalForm Falpha2GFRep (const CanonicalForm& F);
 
-#ifdef HAVE_NTL
+/// map from \f$ F_p(\alpha) \f$ to \f$ F_p(\beta) \f$ such that 
+/// \f$ F\in\F_p(\alpha) \f$ is mapped onto \f$ \beta \f$
+///
+/// @return @a map returns the image of @a primElem such that the above 
+/// described properties hold
+CanonicalForm
+map (const CanonicalForm& primElem,///< [in] primitive element of 
+                                   ///< \f$ F_p (\alpha) \f$
+     const Variable& alpha,        ///< [in] algebraic variable
+     const CanonicalForm& F,       ///< [in] an element of \f$ F_p (\alpha) \f$,
+                                   ///< whose minimal polynomial defines a field
+                                   ///< extension of \f$ F_p \f$ of degree
+                                   ///< \f$ \[F_p (\alpha):F_p\] \f$
+     const Variable& beta          ///< [in] algebraic variable, root of \a F's
+                                   ///< minimal polynomial
+    );
+
 /// compute minimal polynomial of \f$ F\in\F_p(\alpha)\backslash\F_p \f$ via NTL
 ///
@@ -55 +75 @@
              const Variable& alpha   ///< [in] algebraic variable
             );
+
 #endif
-#endif