66 if (
LC(
f ).isOne() )
78 for (
i = F;
i.hasItem(); ++
i ) {
79 d =
i.getItem().exp();
84 for (
j =
G;
j.hasItem(); ++
j ) {
99 for (
k =
HH;
k.hasItem(); ++
k ) {
100 fac =
k.getItem().factor();
117 while (
g.degree(
x) > 0 &&
i <=
g.degree(
x) ) {
120 if (
h.degree(
x) > 0 ) {
126 ASSERT(
g.degree(
x) == 0,
"fatal fatal" );
138 while (
g.degree(
x) > 0 &&
i <=
g.degree(
x) ) {
141 if (
h.degree(
x) > 0 ) {
147 ASSERT(
g.degree(
x) == 0,
"fatal fatal" );
158 if ( (d=
f.degree(
x)) ==
s )
185 if ( (d=
f.degree(
x)) ==
s )
208 for (
int i = 0;
i < d;
i++ )
This file defines functions for conversion to FLINT (www.flintlib.org) and back.
#define ASSERT(expression, message)
generate random integers, random elements of finite fields
int ipower(int b, int m)
int ipower ( int b, int m )
generate random elements in F_p(alpha)
virtual class for random element generation
generate random elements in F_p
generate random elements in GF
factory's class for variables
const CanonicalForm int s
CFFList FpFactorizeUnivariateCZ(const CanonicalForm &f, bool issqrfree, int numext, const Variable alpha, const Variable beta)
squarefree part and factorization over Q, Q(a)
CFFList sqrFreeFp(const CanonicalForm &f)
CanonicalForm getMipo(const Variable &alpha, const Variable &x)
template List< Variable > Union(const List< Variable > &, const List< Variable > &)
utility functions for gmp