My Project  UNKNOWN_GIT_VERSION
cf_cyclo.h
Go to the documentation of this file.
1 // -*- c++ -*-
2 //*****************************************************************************
3 /** @file cf_cyclo.h
4  *
5  * Compute cyclotomic polynomials and factorize integers by brute force
6  *
7  * @par Copyright:
8  * (c) by The SINGULAR Team, see LICENSE file
9  *
10  * @author Martin Lee
11 **/
12 //*****************************************************************************
13 
14 #ifndef CF_CYCLO_H
15 #define CF_CYCLO_H
16 
17 // #include "config.h"
18 
19 /// integer factorization using table look-ups,
20 /// function may fail if integer contains primes which exceed the largest prime
21 /// in our table
22 int* integerFactorizer (const long integer, ///< [in] some integer
23  int& length, ///< [in,out] number of factors
24  bool& fail ///< [in,out] failure?
25  );
26 
27 /// compute the n-th cyclotomic polynomial,
28 /// function may fail if integer_factorizer fails to factorize n
30 cyclotomicPoly (int n, ///< [in] some integer
31  bool& fail ///< [in,out] failure?
32  );
33 
34 /// checks if alpha is a primitive element, alpha is assumed to be an algebraic
35 /// variable over some finite prime field
36 bool isPrimitive (const Variable& alpha, ///< [in] some algebraic variable
37  bool& fail ///< [in,out] failure?
38  );
39 
40 #endif
41 
factory's class for variables
Definition: factory.h:117
factory's main class
Definition: canonicalform.h:77
Variable alpha
Definition: facAbsBiFact.cc:52
int * integerFactorizer(const long integer, int &length, bool &fail)
integer factorization using table look-ups, function may fail if integer contains primes which exceed...
Definition: cf_cyclo.cc:28
CanonicalForm cyclotomicPoly(int n, bool &fail)
compute the n-th cyclotomic polynomial, function may fail if integer_factorizer fails to factorize n
Definition: cf_cyclo.cc:108
bool isPrimitive(const Variable &alpha, bool &fail)
checks if alpha is a primitive element, alpha is assumed to be an algebraic variable over some finite...
Definition: cf_cyclo.cc:136
static BOOLEAN length(leftv result, leftv arg)
Definition: interval.cc:263