#include "config.h"
#include "cf_assert.h"
#include "cf_defs.h"
#include "canonicalform.h"
#include "cf_iter.h"
#include "fac_util.h"
#include "cfUnivarGcd.h"
Go to the source code of this file.
◆ extgcd()
Definition at line 183 of file fac_util.cc.
192 (void)
extgcd( amodp, bmodp, smodp, tmodp );
197 for (
j = 1;
j <
k;
j++ ) {
198 e = ( 1 -
s * a - t *
b ) / modulus;
204 divrem( sigmat, bmodp, q, sigma );
205 tau = taut + q * amodp;
void tau(int **points, int sizePoints, int k)
const CanonicalForm int s
void extgcd(const CanonicalForm &a, const CanonicalForm &b, CanonicalForm &S, CanonicalForm &T, const modpk &pk)
◆ mappk()
Definition at line 109 of file fac_util.cc.
STATIC_INST_VAR CanonicalForm PK
◆ mappksymmetric()
Definition at line 99 of file fac_util.cc.
STATIC_INST_VAR CanonicalForm PKHALF
◆ prod() [1/2]
Definition at line 177 of file fac_util.cc.
CanonicalForm prod(const CFArray &a, int f, int l)
◆ prod() [2/2]
◆ remainder()
Definition at line 115 of file fac_util.cc.
117 ASSERT( (
f.inCoeffDomain() ||
f.isUnivariate()) && (
g.inCoeffDomain() ||
g.isUnivariate()) && (
f.inCoeffDomain() ||
g.inCoeffDomain() ||
f.mvar() ==
g.mvar()),
"can not build remainder" );
118 if (
f.inCoeffDomain() )
119 if (
g.inCoeffDomain() )
126 int degg =
g.degree();
#define ASSERT(expression, message)
factory's class for variables
CanonicalForm inverse(const CanonicalForm &f, bool symmetric=true) const
CanonicalForm remainder(const CanonicalForm &f, const CanonicalForm &g, const modpk &pk)
◆ replaceLc()
Definition at line 90 of file fac_util.cc.
92 if (
f.inCoeffDomain() )
◆ PK
◆ PKHALF