 |
My Project
debian-1:4.1.1-p2+ds-4build1
|
Go to the source code of this file.
|
void | out_cf (const char *s1, const CanonicalForm &f, const char *s2) |
|
static void | conv_RecPP (const CanonicalForm &f, int *exp, sBucket_pt result, ring r) |
|
static void | convRecTrP (const CanonicalForm &f, int *exp, poly &result, int offs, const ring r) |
|
static number | convFactoryNSingAN (const CanonicalForm &f, const ring r) |
|
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) |
|
static void | convRecAP_R (const CanonicalForm &f, int *exp, poly &result, int par_start, int var_start, const ring r) |
|
poly | convFactoryAPSingAP_R (const CanonicalForm &f, int par_start, int var_start, const ring r) |
|
poly | convFactoryAPSingAP (const CanonicalForm &f, const ring r) |
|
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) |
|
poly | convFactoryPSingTrP (const CanonicalForm &f, const ring r) |
|
◆ TRANSEXT_PRIVATES
#define TRANSEXT_PRIVATES |
◆ conv_RecPP()
Definition at line 54 of file clapconv.cc.
58 if ( !
f.inCoeffDomain() )
70 number n=r->cf->convFactoryNSingN(
f, r->cf);
◆ convFactoryAPSingAP()
◆ convFactoryAPSingAP_R()
◆ convFactoryASingA()
Definition at line 254 of file clapconv.cc.
266 poly t=
p_Init (r->cf->extRing);
275 if( r->cf->extRing !=
NULL )
276 if (r->cf->extRing->qideal->m[0]!=
NULL)
278 poly
l=r->cf->extRing->qideal->m[0];
◆ convFactoryISingI()
◆ convFactoryNSingAN()
◆ convFactoryPSingP()
◆ convFactoryPSingTrP()
◆ convRecAP_R()
static void convRecAP_R |
( |
const CanonicalForm & |
f, |
|
|
int * |
exp, |
|
|
poly & |
result, |
|
|
int |
par_start, |
|
|
int |
var_start, |
|
|
const ring |
r |
|
) |
| |
|
static |
Definition at line 158 of file clapconv.cc.
162 if ( !
f.inCoeffDomain() )
185 for (
i = 1;
i <= var_start;
i++ )
191 for (
i = par_start+1;
i <= var_start+
rPar(r);
i++ )
◆ convRecTrP()
Definition at line 333 of file clapconv.cc.
337 if (
f.level() > offs )
342 exp[
l-offs] =
i.exp();
351 for (
int i =
rVar(r);
i>0;
i-- )
◆ convSingAFactoryA()
◆ convSingAPFactoryAP()
◆ convSingPFactoryP()
◆ convSingTrPFactoryP()
Definition at line 286 of file clapconv.cc.
298 WerrorS(
"conversion error: denominator!= 1");
311 for (
int i = n;
i > 0;
i-- )
◆ out_cf()
Definition at line 90 of file cf_factor.cc.
93 if (
f.isZero()) printf(
"+0");
95 else if (!
f.inBaseDomain() )
101 if (
i.coeff().isOne())
104 if (e==0) printf(
"1");
108 if (e!=1) printf(
"^%d",e);
117 if (e!=1) printf(
"^%d",e);
142 printf(
"+%ld",
f.intval());
151 char * str =
new char[mpz_sizeinbase(
m, 10 ) + 2];
152 str = mpz_get_str( str, 10,
m );
161 char * str =
new char[mpz_sizeinbase(
m, 10 ) + 2];
162 str = mpz_get_str( str, 10,
m );
163 puts(str);putchar(
'/');
167 str =
new char[mpz_sizeinbase(
m, 10 ) + 2];
168 str = mpz_get_str( str, 10,
m );
183 if (
f.inExtension()) printf(
"E(%d)",
f.level());
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 p_SetExpV(poly p, int *ev, const ring r)
static void convRecTrP(const CanonicalForm &f, int *exp, poly &result, int offs, const ring r)
#define GaloisFieldDomain
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)
void out_cf(const char *s1, const CanonicalForm &f, const char *s2)
cf_algorithm.cc - simple mathematical algorithms.
number n_convFactoryNSingN(const CanonicalForm n, const coeffs 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)
number ntInit(long i, const coeffs cf)
static poly p_Add_q(poly p, poly q, const ring r)
static long imm2int(const InternalCF *const imm)
factory's class for variables
void sBucket_Merge_m(sBucket_pt bucket, poly p)
void WerrorS(const char *s)
static long p_AddExp(poly p, int v, long ee, ring r)
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 ....
void gmp_denominator(const CanonicalForm &f, mpz_ptr result)
static void p_Setm(poly p, const ring r)
void gmp_numerator(const CanonicalForm &f, mpz_ptr result)
static BOOLEAN p_IsConstantPoly(const poly p, const ring r)
poly convFactoryASingA(const CanonicalForm &f, const ring r)
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
static void convRecAP_R(const CanonicalForm &f, int *exp, poly &result, int par_start, int var_start, const ring r)
poly convFactoryAPSingAP_R(const CanonicalForm &f, int par_start, int var_start, const ring r)
static poly pReverse(poly p)
poly convFactoryPSingP(const CanonicalForm &f, const ring r)
void sBucketDestroyMerge(sBucket_pt bucket, poly *p, int *length)