![]() |
My Project
UNKNOWN_GIT_VERSION
|
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 23 of file monomials.h.
Data Fields | ||
---|---|---|
number | coef | |
unsigned long | exp[1] | |
poly | next |
Definition at line 65 of file monomials.h.
#define _pPolyAssume | ( | cond, | |
p, | |||
r | |||
) |
Definition at line 115 of file monomials.h.
Definition at line 175 of file monomials.h.
Definition at line 197 of file monomials.h.
#define _pPolyAssumeReturn | ( | cond, | |
p, | |||
r | |||
) |
Definition at line 103 of file monomials.h.
Definition at line 178 of file monomials.h.
Definition at line 200 of file monomials.h.
#define _pPolyAssumeReturnMsg | ( | cond, | |
msg, | |||
p, | |||
r | |||
) |
Definition at line 126 of file monomials.h.
#define p_AllocBin | ( | p, | |
bin, | |||
r | |||
) |
Definition at line 250 of file monomials.h.
#define p_AllocBin | ( | p, | |
bin, | |||
r | |||
) |
Definition at line 250 of file monomials.h.
Definition at line 180 of file monomials.h.
Definition at line 202 of file monomials.h.
Definition at line 257 of file monomials.h.
Definition at line 257 of file monomials.h.
Definition at line 52 of file monomials.h.
#define p_GetComp | ( | p, | |
r | |||
) | ((long) (r->pCompIndex >= 0 ? __p_GetComp(p, r) : 0)) |
Definition at line 66 of file monomials.h.
Definition at line 179 of file monomials.h.
Definition at line 201 of file monomials.h.
#define p_SetCoeff0 | ( | p, | |
n, | |||
r | |||
) | pSetCoeff0(p,n) |
Definition at line 62 of file monomials.h.
Definition at line 146 of file monomials.h.
#define pAssume | ( | cond | ) |
Definition at line 92 of file monomials.h.
Definition at line 173 of file monomials.h.
Definition at line 195 of file monomials.h.
#define pAssumeReturn | ( | cond | ) |
Definition at line 80 of file monomials.h.
Definition at line 176 of file monomials.h.
Definition at line 198 of file monomials.h.
Definition at line 141 of file monomials.h.
Definition at line 181 of file monomials.h.
Definition at line 203 of file monomials.h.
Definition at line 38 of file monomials.h.
#define POLY_NEGWEIGHT_OFFSET (((long)0x80000000) << 32) |
Definition at line 238 of file monomials.h.
#define POLYSIZE (sizeof(poly) + sizeof(number)) |
Definition at line 235 of file monomials.h.
#define POLYSIZEW (POLYSIZE / sizeof(long)) |
Definition at line 236 of file monomials.h.
#define pPolyAssume | ( | cond | ) | _pPolyAssume(cond, p, r) |
Definition at line 137 of file monomials.h.
Definition at line 174 of file monomials.h.
Definition at line 196 of file monomials.h.
#define pPolyAssumeReturn | ( | cond | ) | _pPolyAssumeReturn(cond, p, r) |
Definition at line 138 of file monomials.h.
Definition at line 177 of file monomials.h.
Definition at line 199 of file monomials.h.
#define pPolyAssumeReturnMsg | ( | cond, | |
msg | |||
) | _pPolyAssumeReturnMsg(cond, msg, p, r) |
Definition at line 139 of file monomials.h.
Definition at line 61 of file monomials.h.
#define rRing_has_Comp | ( | r | ) | (r->pCompIndex >= 0) |
Definition at line 268 of file monomials.h.