source: git/factory/facAlgExt.h @ ab547e2

spielwiese
Last change on this file since ab547e2 was 35eb6c, checked in by Martin Lee <martinlee84@…>, 13 years ago
compute norm now modular changed handling of On (SW_RATIONAL) changed NTL zz_p initalizations in cfModResultant.cc git-svn-id: file:///usr/local/Singular/svn/trunk@14289 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100755
File size: 1.3 KB
Line 
1/*****************************************************************************\
2 * Computer Algebra System SINGULAR
3\*****************************************************************************/
4/** @file facAlgExt.h
5 *
6 * @author Martin Lee
7 * @date
8 *
9 * Univariate factorization over algebraic extension of Q using Trager's
10 * algorithm
11 *
12 * @par Copyright:
13 *   (c) by The SINGULAR Team, see LICENSE file
14 *
15 * @internal
16 * @version \$Id$
17 *
18**/
19//*****************************************************************************
20
21#ifndef FAC_ALG_EXT_H
22#define FAC_ALG_EXT_H
23
24#include "assert.h"
25
26#include "canonicalform.h"
27
28///factorize a univariate squarefree polynomial over algebraic extension of Q
29///
30/// @return @a AlgExtSqrfFactorize returns a list of factors of F
31CFList
32AlgExtSqrfFactorize (const CanonicalForm& F, ///<[in] a univariate squarefree
33                                             ///< polynomial
34                     const Variable& alpha   ///<[in] an algebraic variable
35                    );
36
37/// factorize a univariate polynomial over algebraic extension of Q
38///
39/// @return @a AlgExtFactorize returns a list of factors of F with multiplicity
40CFFList
41AlgExtFactorize (const CanonicalForm& F, ///<[in] a univariate polynomial
42                 const Variable& alpha   ///<[in] an algebraic variable
43                );
44
45#endif
46
Note: See TracBrowser for help on using the repository browser.