![]() |
Go to the source code of this file.
Data Structures | |
struct | poly |
Macros | |
#define | pNext(p) ((p)->next) |
#define | pIter(p) (void)((p) = (p)->next) |
#define | p_GetCoeff(p, r) pGetCoeff(p) |
#define | pSetCoeff0(p, n) (p)->coef=(n) |
#define | p_SetCoeff0(p, n, r) pSetCoeff0(p,n) |
#define | __p_GetComp(p, r) (p)->exp[r->pCompIndex] |
#define | p_GetComp(p, r) ((long) (r->pCompIndex >= 0 ? __p_GetComp(p, r) : 0)) |
#define | pAssumeReturn(cond) |
#define | pAssume(cond) |
#define | _pPolyAssumeReturn(cond, p, r) |
#define | _pPolyAssume(cond, p, r) |
#define | _pPolyAssumeReturnMsg(cond, msg, p, r) |
#define | pPolyAssume(cond) _pPolyAssume(cond, p, r) |
#define | pPolyAssumeReturn(cond) _pPolyAssumeReturn(cond, p, r) |
#define | pPolyAssumeReturnMsg(cond, msg) _pPolyAssumeReturnMsg(cond, msg, p, r) |
#define | pFalseReturn(cond) do {if (! (cond)) return FALSE;} while (0) |
#define | p_SetRingOfLm(p, r) do {} while (0) |
#define | pAssume1(cond) do {} while (0) |
#define | pPolyAssume1(cond) do {} while (0) |
#define | _pPolyAssume1(cond, p, r) do {} while (0) |
#define | pAssumeReturn1(cond) do {} while (0) |
#define | pPolyAssumeReturn1(cond) do {} while (0) |
#define | _pPolyAssumeReturn1(cond, p, r) do {} while (0) |
#define | p_LmCheckPolyRing1(p, r) do {} while (0) |
#define | p_CheckRing1(r) do {} while (0) |
#define | pIfThen1(cond, check) do {} while (0) |
#define | pAssume2(cond) do {} while (0) |
#define | pPolyAssume2(cond) do {} while (0) |
#define | _pPolyAssume2(cond, p, r) do {} while (0) |
#define | pAssumeReturn2(cond) do {} while (0) |
#define | pPolyAssumeReturn2(cond) do {} while (0) |
#define | _pPolyAssumeReturn2(cond, p, r) do {} while (0) |
#define | p_LmCheckPolyRing2(p, r) do {} while (0) |
#define | p_CheckRing2(r) do {} while (0) |
#define | pIfThen2(cond, check) do {} while (0) |
#define | p_AllocBin(p, bin, r) |
#define | p_FreeBinAddr(p, r) p_LmFree(p, r) |
#define | POLYSIZE (sizeof(poly) + sizeof(number)) |
#define | POLYSIZEW (POLYSIZE / sizeof(long)) |
#define | POLY_NEGWEIGHT_OFFSET (((long)0x80000000) << 32) |
#define | p_AllocBin(p, bin, r) |
#define | p_FreeBinAddr(p, r) p_LmFree(p, r) |
#define | rRing_has_Comp(r) (r->pCompIndex >= 0) |
Functions | |
static number & | pGetCoeff (poly p) |
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy More... | |
BOOLEAN | dPolyReportError (poly p, ring r, const char *fmt,...) |
struct spolyrec |
Definition at line 29 of file monomials.h.
Data Fields | ||
---|---|---|
number | coef | |
unsigned long | exp[1] | |
poly | next |
Definition at line 70 of file monomials.h.
#define _pPolyAssume | ( | cond, | |
p, | |||
r | |||
) |
Definition at line 120 of file monomials.h.
Definition at line 180 of file monomials.h.
Definition at line 202 of file monomials.h.
#define _pPolyAssumeReturn | ( | cond, | |
p, | |||
r | |||
) |
Definition at line 108 of file monomials.h.
Definition at line 183 of file monomials.h.
Definition at line 205 of file monomials.h.
#define _pPolyAssumeReturnMsg | ( | cond, | |
msg, | |||
p, | |||
r | |||
) |
Definition at line 131 of file monomials.h.
#define p_AllocBin | ( | p, | |
bin, | |||
r | |||
) |
Definition at line 255 of file monomials.h.
#define p_AllocBin | ( | p, | |
bin, | |||
r | |||
) |
Definition at line 255 of file monomials.h.
Definition at line 185 of file monomials.h.
Definition at line 207 of file monomials.h.
Definition at line 262 of file monomials.h.
Definition at line 262 of file monomials.h.
Definition at line 57 of file monomials.h.
#define p_GetComp | ( | p, | |
r | |||
) | ((long) (r->pCompIndex >= 0 ? __p_GetComp(p, r) : 0)) |
Definition at line 71 of file monomials.h.
Definition at line 184 of file monomials.h.
Definition at line 206 of file monomials.h.
#define p_SetCoeff0 | ( | p, | |
n, | |||
r | |||
) | pSetCoeff0(p,n) |
Definition at line 67 of file monomials.h.
Definition at line 151 of file monomials.h.
#define pAssume | ( | cond | ) |
Definition at line 97 of file monomials.h.
Definition at line 178 of file monomials.h.
Definition at line 200 of file monomials.h.
#define pAssumeReturn | ( | cond | ) |
Definition at line 85 of file monomials.h.
Definition at line 181 of file monomials.h.
Definition at line 203 of file monomials.h.
Definition at line 146 of file monomials.h.
Definition at line 186 of file monomials.h.
Definition at line 208 of file monomials.h.
Definition at line 43 of file monomials.h.
#define POLY_NEGWEIGHT_OFFSET (((long)0x80000000) << 32) |
Definition at line 243 of file monomials.h.
#define POLYSIZE (sizeof(poly) + sizeof(number)) |
Definition at line 240 of file monomials.h.
#define POLYSIZEW (POLYSIZE / sizeof(long)) |
Definition at line 241 of file monomials.h.
#define pPolyAssume | ( | cond | ) | _pPolyAssume(cond, p, r) |
Definition at line 142 of file monomials.h.
Definition at line 179 of file monomials.h.
Definition at line 201 of file monomials.h.
#define pPolyAssumeReturn | ( | cond | ) | _pPolyAssumeReturn(cond, p, r) |
Definition at line 143 of file monomials.h.
Definition at line 182 of file monomials.h.
Definition at line 204 of file monomials.h.
#define pPolyAssumeReturnMsg | ( | cond, | |
msg | |||
) | _pPolyAssumeReturnMsg(cond, msg, p, r) |
Definition at line 144 of file monomials.h.
Definition at line 66 of file monomials.h.
#define rRing_has_Comp | ( | r | ) | (r->pCompIndex >= 0) |
Definition at line 273 of file monomials.h.
Definition at line 44 of file pDebug.cc.
|
inlinestatic |
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
Definition at line 51 of file monomials.h.