![]() |
My Project
|
Go to the source code of this file.
Macros | |
#define | pLPunshift(p, sh) p_LPunshift(p, currRing) |
#define | pmLPunshift(p, sh) p_mLPunshift(p, currRing) |
#define | pLPshift(p, sh) p_LPshift(p, sh, currRing) |
#define | pmLPshift(p, sh) p_mLPshift(p, sh, currRing) |
#define | pLastVblock(p) p_LastVblock(p,currRing) |
#define | pmLastVblock(p) p_mLastVblock(p,currRing) |
#define | pFirstVblock(p) p_FirstVblock(p,currRing) |
#define | pmFirstVblock(p) p_mFirstVblock(p,currRing) |
#define | kSplitFrame(m1, m2, at) k_SplitFrame(m1, m2, at, currRing) |
#define | idIsInV(I) id_IsInV(I, currRing) |
#define | pIsInV(p) p_IsInV(p, currRing) |
#define | pmIsInV(p) p_mIsInV(p, currRing) |
#define | pLPDivisibleBy(a, b) p_LPLmDivisibleBy(a, b, currRing) |
#define | pLPLmDivisibleBy(a, b) p_LPLmDivisibleBy(a, b, currRing) |
#define | pGetNCGen(p) p_GetNCGen(p, currRing) |
#define | pLPSubst(p, n, e) p_LPSubst(p, n, e, r) |
#define | pmLPSubst(m, n, e) p_LPSubst(m, n, e, r) |
Functions | |
poly | shift_pp_Mult_mm (poly p, const poly m, const ring r) |
poly | shift_p_Mult_mm (poly p, const poly m, const ring r) |
poly | shift_pp_mm_Mult (poly p, const poly m, const ring r) |
poly | shift_p_mm_Mult (poly p, const poly m, const ring r) |
poly | shift_p_Minus_mm_Mult_qq (poly p, poly m, poly q, int &Shorter, const poly spNoether, const ring r) |
poly | shift_pp_Mult_mm_Noether_STUB (poly p, const poly m, const poly spNoether, int &ll, const ring ri) |
poly | shift_pp_Mult_Coeff_mm_DivSelectMult_STUB (poly p, const poly m, const poly a, const poly b, int &shorter, const ring r) |
poly | shift_pp_Mult_Coeff_mm_DivSelect_STUB (poly p, const poly m, int &shorter, const ring r) |
void | p_mLPunshift (poly m, const ring ri) |
void | p_LPunshift (poly p, const ring ri) |
void | p_mLPshift (poly p, int sh, const ring r) |
void | p_LPshift (poly p, int sh, const ring r) |
int | p_LastVblock (poly p, const ring r) |
int | p_mLastVblock (poly p, const ring r) |
int | p_mLastVblock (poly p, int *expV, const ring r) |
int | p_FirstVblock (poly p, const ring r) |
int | p_mFirstVblock (poly p, const ring r) |
int | p_mFirstVblock (poly p, int *expV, const ring r) |
void | p_LPExpVappend (int *m1ExpV, int *m2ExpV, int m1Length, int m2Length, const ring ri) |
void | p_LPExpVprepend (int *m1ExpV, int *m2ExpV, int m1Length, int m2Length, const ring ri) |
void | WriteLPExpV (int *expV, ring ri) |
char * | LPExpVString (int *expV, ring ri) |
void | k_SplitFrame (poly &m1, poly &m2, int at, const ring r) |
int | id_IsInV (ideal I, const ring r) |
int | p_IsInV (poly p, const ring r) |
int | p_mIsInV (poly p, const ring r) |
BOOLEAN | p_LPDivisibleBy (poly a, poly b, const ring r) |
BOOLEAN | p_LPLmDivisibleBy (poly a, poly b, const ring r) |
BOOLEAN | _p_LPLmDivisibleByNoComp (poly a, poly b, const ring r) |
BOOLEAN | p_LPDivisibleBy (ideal I, poly p, ring r) |
BOOLEAN | _p_mLPNCGenValid (poly p, const ring r) |
BOOLEAN | _p_mLPNCGenValid (int *mExpV, const ring r) |
poly | p_LPVarAt (poly p, int pos, const ring r) |
int | p_GetNCGen (poly p, const ring r) |
poly | p_LPSubst (poly p, int n, poly e, const ring r) |
poly | p_mLPSubst (poly m, int n, poly e, const ring r) |
ring | freeAlgebra (ring r, int d, int LPncGenCount=0) |
create the letterplace ring corresponding to r up to degree d More... | |
#define kSplitFrame | ( | m1, | |
m2, | |||
at | |||
) | k_SplitFrame(m1, m2, at, currRing) |
#define pLPDivisibleBy | ( | a, | |
b | |||
) | p_LPLmDivisibleBy(a, b, currRing) |
#define pLPLmDivisibleBy | ( | a, | |
b | |||
) | p_LPLmDivisibleBy(a, b, currRing) |
Definition at line 796 of file shiftop.cc.
Definition at line 633 of file shiftop.cc.
Definition at line 623 of file shiftop.cc.
ring freeAlgebra | ( | ring | r, |
int | d, | ||
int | LPncGenCount = 0 |
||
) |
create the letterplace ring corresponding to r up to degree d
Definition at line 942 of file shiftop.cc.
int id_IsInV | ( | ideal | I, |
const ring | r | ||
) |
Definition at line 678 of file shiftop.cc.
void k_SplitFrame | ( | poly & | m1, |
poly & | m2, | ||
int | at, | ||
const ring | r | ||
) |
Definition at line 600 of file shiftop.cc.
char* LPExpVString | ( | int * | expV, |
ring | ri | ||
) |
Definition at line 580 of file shiftop.cc.
int p_FirstVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 456 of file shiftop.cc.
int p_GetNCGen | ( | poly | p, |
const ring | r | ||
) |
Definition at line 656 of file shiftop.cc.
int p_IsInV | ( | poly | p, |
const ring | r | ||
) |
Definition at line 693 of file shiftop.cc.
int p_LastVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 406 of file shiftop.cc.
BOOLEAN p_LPDivisibleBy | ( | ideal | I, |
poly | p, | ||
ring | r | ||
) |
Definition at line 833 of file shiftop.cc.
Definition at line 776 of file shiftop.cc.
void p_LPExpVappend | ( | int * | m1ExpV, |
int * | m2ExpV, | ||
int | m1Length, | ||
int | m2Length, | ||
const ring | ri | ||
) |
Definition at line 511 of file shiftop.cc.
void p_LPExpVprepend | ( | int * | m1ExpV, |
int * | m2ExpV, | ||
int | m1Length, | ||
int | m2Length, | ||
const ring | ri | ||
) |
Definition at line 538 of file shiftop.cc.
Definition at line 787 of file shiftop.cc.
void p_LPshift | ( | poly | p, |
int | sh, | ||
const ring | r | ||
) |
Definition at line 392 of file shiftop.cc.
poly p_LPSubst | ( | poly | p, |
int | n, | ||
poly | e, | ||
const ring | r | ||
) |
Definition at line 912 of file shiftop.cc.
void p_LPunshift | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 353 of file shiftop.cc.
poly p_LPVarAt | ( | poly | p, |
int | pos, | ||
const ring | r | ||
) |
Definition at line 845 of file shiftop.cc.
int p_mFirstVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 478 of file shiftop.cc.
int p_mFirstVblock | ( | poly | p, |
int * | expV, | ||
const ring | r | ||
) |
Definition at line 494 of file shiftop.cc.
int p_mIsInV | ( | poly | p, |
const ring | r | ||
) |
Definition at line 711 of file shiftop.cc.
int p_mLastVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 421 of file shiftop.cc.
int p_mLastVblock | ( | poly | p, |
int * | expV, | ||
const ring | r | ||
) |
Definition at line 437 of file shiftop.cc.
void p_mLPshift | ( | poly | p, |
int | sh, | ||
const ring | r | ||
) |
Definition at line 362 of file shiftop.cc.
poly p_mLPSubst | ( | poly | m, |
int | n, | ||
poly | e, | ||
const ring | r | ||
) |
Definition at line 863 of file shiftop.cc.
void p_mLPunshift | ( | poly | m, |
const ring | ri | ||
) |
Definition at line 327 of file shiftop.cc.
poly shift_p_Minus_mm_Mult_qq | ( | poly | p, |
poly | m, | ||
poly | q, | ||
int & | Shorter, | ||
const poly | spNoether, | ||
const ring | r | ||
) |
Definition at line 212 of file shiftop.cc.
Definition at line 89 of file shiftop.cc.
Definition at line 145 of file shiftop.cc.
Definition at line 319 of file shiftop.cc.
poly shift_pp_Mult_Coeff_mm_DivSelectMult_STUB | ( | poly | p, |
const poly | m, | ||
const poly | a, | ||
const poly | b, | ||
int & | shorter, | ||
const ring | r | ||
) |
Definition at line 313 of file shiftop.cc.
Definition at line 21 of file shiftop.cc.
poly shift_pp_Mult_mm_Noether_STUB | ( | poly | p, |
const poly | m, | ||
const poly | spNoether, | ||
int & | ll, | ||
const ring | ri | ||
) |
Definition at line 288 of file shiftop.cc.
void WriteLPExpV | ( | int * | expV, |
ring | ri | ||
) |
Definition at line 573 of file shiftop.cc.