 |
My Project
debian-1:4.1.2-p1+ds-2
|
Go to the source code of this file.
|
poly | convFactoryPSingP (const CanonicalForm &f, const ring r) |
|
CanonicalForm | convSingPFactoryP (poly p, const ring r) |
|
int | convFactoryISingI (const CanonicalForm &f) |
|
CanonicalForm | convSingAPFactoryAP (poly p, const Variable &a, const ring r) |
|
poly | convFactoryAPSingAP (const CanonicalForm &f, const ring r) |
|
poly | convFactoryAPSingAP_R (const CanonicalForm &f, int par_start, int var_start) |
|
CanonicalForm | convSingAFactoryA (poly p, const Variable &a, const ring r) |
|
poly | convFactoryASingA (const CanonicalForm &f, const ring r) |
|
CanonicalForm | convSingTrPFactoryP (poly p, const ring r) |
|
BOOLEAN | convSingTrP (poly p, const ring r) |
|
poly | convFactoryPSingTrP (const CanonicalForm &f, const ring r) |
|
◆ convFactoryAPSingAP()
◆ convFactoryAPSingAP_R()
◆ convFactoryASingA()
Definition at line 251 of file clapconv.cc.
264 poly t=
p_Init (r->cf->extRing);
273 if( r->cf->extRing !=
NULL )
274 if (r->cf->extRing->qideal->m[0]!=
NULL)
276 poly
l=r->cf->extRing->qideal->m[0];
◆ convFactoryISingI()
◆ convFactoryPSingP()
◆ convFactoryPSingTrP()
◆ convSingAFactoryA()
◆ convSingAPFactoryAP()
◆ convSingPFactoryP()
◆ convSingTrP()
◆ convSingTrPFactoryP()
Definition at line 283 of file clapconv.cc.
296 WerrorS(
"conversion error: denominator!= 1");
309 for (
int i = n;
i > 0;
i-- )
static const int SW_RATIONAL
set to 1 for computations over Q
static long p_GetExp(const poly p, const unsigned long iBitmask, const int VarOffset)
get a single variable exponent @Note: the integer VarOffset encodes:
class to iterate through CanonicalForm's
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
CanonicalForm make_cf(const mpz_ptr n)
CanonicalForm convSingAFactoryA(poly p, const Variable &a, const ring r)
const CanonicalForm CFMap CFMap & N
static BOOLEAN rField_is_Zp_a(const ring r)
static FORCE_INLINE BOOLEAN n_IsZero(number n, const coeffs r)
TRUE iff 'n' represents the zero element.
static FORCE_INLINE void n_Normalize(number &n, const coeffs r)
inplace-normalization of n; produces some canonical representation of n;
static unsigned long p_SetExp(poly p, const unsigned long e, const unsigned long iBitmask, const int VarOffset)
set a single variable exponent @Note: VarOffset encodes the position in p->exp
static void convRecTrP(const CanonicalForm &f, int *exp, poly &result, int offs, const ring r)
static short rVar(const ring r)
#define rVar(r) (r->N)
static void conv_RecPP(const CanonicalForm &f, int *exp, sBucket_pt result, ring r)
#define omFreeSize(addr, size)
static number convFactoryNSingAN(const CanonicalForm &f, const ring r)
sBucket_pt sBucketCreate(const ring r)
static int rPar(const ring r)
(r->cf->P)
static poly p_Init(const ring r, omBin bin)
poly p_PolyDiv(poly &p, const poly divisor, const BOOLEAN needResult, const ring r)
assumes that p and divisor are univariate polynomials in r, mentioning the same variable; assumes div...
CanonicalForm convSingPFactoryP(poly p, const ring r)
gmp_float exp(const gmp_float &a)
static poly p_Add_q(poly p, poly q, const ring r)
factory's class for variables
void WerrorS(const char *s)
static FORCE_INLINE long n_Int(number &n, const coeffs r)
conversion of n to an int; 0 if not possible in Z/pZ: the representing int lying in (-p/2 ....
static BOOLEAN p_IsConstantPoly(const poly p, const ring r)
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
poly convFactoryAPSingAP_R(const CanonicalForm &f, int par_start, int var_start, const ring r)
void sBucketDestroyMerge(sBucket_pt bucket, poly *p, int *length)