Changeset 1b38e5d in git

Timestamp:

Sep 28, 2010, 1:44:15 PM (14 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

0af2004187271da7bb6f06f4612d7947d57c7b49

Parents:

c94e60f986f0fb36f24beb94af60519b01cb313c

Message:

added doxygen docu


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

Location:

factory

Files:

• facAlgExt.cc (modified) (3 diffs)
• facAlgExt.h (modified) (2 diffs)

factory/facAlgExt.cc

@@ -6 +6 @@
  * @date 
  *
+ * Univariate factorization over algebraic extension of Q using Trager's
+ * algorithm
  *
  * @par Copyright:
@@ -28 +30 @@
 #include "facAlgExt.h"
 
+// squarefree part of F
 CanonicalForm
 sqrfPart (const CanonicalForm& F)
@@ -38 +41 @@
 }
 
+// i is an integer such that Norm (F (x-i*alpha)) is squarefree
 CanonicalForm sqrfNorm (const CanonicalForm& F, const Variable& alpha, int& i)
 {

factory/facAlgExt.h

@@ -6 +6 @@
  * @date 
  *
+ * Univariate factorization over algebraic extension of Q using Trager's
+ * algorithm
  *
  * @par Copyright:
@@ -20 +22 @@
 #include "canonicalform.h"
 
-CFList AlgExtSqrfFactorize (const CanonicalForm& F, const Variable& alpha);
-CFFList AlgExtFactorize (const CanonicalForm& F, const Variable& alpha);
+///factorize a univariate squarefree polynomial over algebraic extension of Q
+///
+/// @return @a AlgExtSqrfFactorize returns a list of factors of F 
+CFList 
+AlgExtSqrfFactorize (const CanonicalForm& F, ///<[in] a univariate squarefree
+                                             ///< polynomial
+                     const Variable& alpha   ///<[in] an algebraic variable
+                    );
+
+/// factorize a univariate polynomial over algebraic extension of Q
+///
+/// @return @a AlgExtFactorize returns a list of factors of F with multiplicity                    
+CFFList 
+AlgExtFactorize (const CanonicalForm& F, ///<[in] a univariate polynomial
+                 const Variable& alpha   ///<[in] an algebraic variable
+                );