![]() |
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 64 of file monomials.h.
#define _pPolyAssume | ( | cond, | |
p, | |||
r | |||
) |
Definition at line 114 of file monomials.h.
Definition at line 174 of file monomials.h.
Definition at line 196 of file monomials.h.
#define _pPolyAssumeReturn | ( | cond, | |
p, | |||
r | |||
) |
Definition at line 102 of file monomials.h.
Definition at line 177 of file monomials.h.
Definition at line 199 of file monomials.h.
#define _pPolyAssumeReturnMsg | ( | cond, | |
msg, | |||
p, | |||
r | |||
) |
Definition at line 125 of file monomials.h.
#define p_AllocBin | ( | p, | |
bin, | |||
r | |||
) |
Definition at line 249 of file monomials.h.
#define p_AllocBin | ( | p, | |
bin, | |||
r | |||
) |
Definition at line 249 of file monomials.h.
Definition at line 179 of file monomials.h.
Definition at line 201 of file monomials.h.
Definition at line 256 of file monomials.h.
Definition at line 256 of file monomials.h.
Definition at line 51 of file monomials.h.
#define p_GetComp | ( | p, | |
r | |||
) | ((long) (r->pCompIndex >= 0 ? __p_GetComp(p, r) : 0)) |
Definition at line 65 of file monomials.h.
Definition at line 178 of file monomials.h.
Definition at line 200 of file monomials.h.
#define p_SetCoeff0 | ( | p, | |
n, | |||
r | |||
) | pSetCoeff0(p,n) |
Definition at line 61 of file monomials.h.
Definition at line 145 of file monomials.h.
#define pAssume | ( | cond | ) |
Definition at line 91 of file monomials.h.
Definition at line 172 of file monomials.h.
Definition at line 194 of file monomials.h.
#define pAssumeReturn | ( | cond | ) |
Definition at line 79 of file monomials.h.
Definition at line 175 of file monomials.h.
Definition at line 197 of file monomials.h.
Definition at line 140 of file monomials.h.
Definition at line 180 of file monomials.h.
Definition at line 202 of file monomials.h.
Definition at line 37 of file monomials.h.
#define POLY_NEGWEIGHT_OFFSET (((long)0x80000000) << 32) |
Definition at line 237 of file monomials.h.
#define POLYSIZE (sizeof(poly) + sizeof(number)) |
Definition at line 234 of file monomials.h.
#define POLYSIZEW (POLYSIZE / sizeof(long)) |
Definition at line 235 of file monomials.h.
#define pPolyAssume | ( | cond | ) | _pPolyAssume(cond, p, r) |
Definition at line 136 of file monomials.h.
Definition at line 173 of file monomials.h.
Definition at line 195 of file monomials.h.
#define pPolyAssumeReturn | ( | cond | ) | _pPolyAssumeReturn(cond, p, r) |
Definition at line 137 of file monomials.h.
Definition at line 176 of file monomials.h.
Definition at line 198 of file monomials.h.
#define pPolyAssumeReturnMsg | ( | cond, | |
msg | |||
) | _pPolyAssumeReturnMsg(cond, msg, p, r) |
Definition at line 138 of file monomials.h.
Definition at line 60 of file monomials.h.
#define rRing_has_Comp | ( | r | ) | (r->pCompIndex >= 0) |
Definition at line 267 of file monomials.h.