![]() |
My Project
|
#include "shiftop.h"
#include "templates/p_MemCopy.h"
#include "monomials/p_polys.h"
#include "polys/simpleideals.h"
Go to the source code of this file.
Macros | |
#define | SHIFT_MULT_COMPAT_MODE |
Functions | |
poly | shift_pp_Mult_mm (poly p, const poly m, const ring ri) |
poly | shift_p_Mult_mm (poly p, const poly m, const ring ri) |
poly | shift_pp_mm_Mult (poly p, const poly m, const ring ri) |
poly | shift_p_mm_Mult (poly p, const poly m, const ring ri) |
poly | shift_p_Minus_mm_Mult_qq (poly p, poly m, poly q, int &Shorter, const poly spNoether, const ring ri) |
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 m, int sh, const ring ri) |
void | p_LPshift (poly p, int sh, const ring ri) |
int | p_LastVblock (poly p, const ring r) |
int | p_mLastVblock (poly p, const ring ri) |
int | p_mLastVblock (poly p, int *expV, const ring ri) |
int | p_FirstVblock (poly p, const ring r) |
int | p_mFirstVblock (poly p, const ring ri) |
int | p_mFirstVblock (poly p, int *expV, const ring ri) |
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) |
BOOLEAN | _p_mLPNCGenValid (poly p, const ring r) |
BOOLEAN | _p_mLPNCGenValid (int *mExpV, const ring r) |
int | p_GetNCGen (poly p, 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) |
poly | p_LPVarAt (poly p, int pos, const ring r) |
poly | p_mLPSubst (poly m, int n, poly e, const ring r) |
poly | p_LPSubst (poly p, int n, poly e, const ring r) |
static BOOLEAN | freeAlgebra_weights (const ring old_ring, ring new_ring, int p, int d) |
substitute weights from orderings a,wp,Wp by d copies of it at position p More... | |
ring | freeAlgebra (ring r, int d, int ncGenCount) |
create the letterplace ring corresponding to r up to degree d More... | |
#define SHIFT_MULT_COMPAT_MODE |
Definition at line 15 of file shiftop.cc.
Definition at line 793 of file shiftop.cc.
Definition at line 630 of file shiftop.cc.
Definition at line 620 of file shiftop.cc.
ring freeAlgebra | ( | ring | r, |
int | d, | ||
int | ncGenCount | ||
) |
create the letterplace ring corresponding to r up to degree d
Definition at line 932 of file shiftop.cc.
substitute weights from orderings a,wp,Wp by d copies of it at position p
Definition at line 915 of file shiftop.cc.
int id_IsInV | ( | ideal | I, |
const ring | r | ||
) |
Definition at line 675 of file shiftop.cc.
void k_SplitFrame | ( | poly & | m1, |
poly & | m2, | ||
int | at, | ||
const ring | r | ||
) |
Definition at line 597 of file shiftop.cc.
char* LPExpVString | ( | int * | expV, |
ring | ri | ||
) |
Definition at line 577 of file shiftop.cc.
int p_FirstVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 453 of file shiftop.cc.
int p_GetNCGen | ( | poly | p, |
const ring | r | ||
) |
Definition at line 653 of file shiftop.cc.
int p_IsInV | ( | poly | p, |
const ring | r | ||
) |
Definition at line 690 of file shiftop.cc.
int p_LastVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 403 of file shiftop.cc.
BOOLEAN p_LPDivisibleBy | ( | ideal | I, |
poly | p, | ||
ring | r | ||
) |
Definition at line 823 of file shiftop.cc.
Definition at line 773 of file shiftop.cc.
void p_LPExpVappend | ( | int * | m1ExpV, |
int * | m2ExpV, | ||
int | m1Length, | ||
int | m2Length, | ||
const ring | ri | ||
) |
Definition at line 508 of file shiftop.cc.
void p_LPExpVprepend | ( | int * | m1ExpV, |
int * | m2ExpV, | ||
int | m1Length, | ||
int | m2Length, | ||
const ring | ri | ||
) |
Definition at line 535 of file shiftop.cc.
Definition at line 784 of file shiftop.cc.
void p_LPshift | ( | poly | p, |
int | sh, | ||
const ring | ri | ||
) |
Definition at line 389 of file shiftop.cc.
poly p_LPSubst | ( | poly | p, |
int | n, | ||
poly | e, | ||
const ring | r | ||
) |
Definition at line 902 of file shiftop.cc.
void p_LPunshift | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 350 of file shiftop.cc.
poly p_LPVarAt | ( | poly | p, |
int | pos, | ||
const ring | r | ||
) |
Definition at line 835 of file shiftop.cc.
int p_mFirstVblock | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 475 of file shiftop.cc.
int p_mFirstVblock | ( | poly | p, |
int * | expV, | ||
const ring | ri | ||
) |
Definition at line 491 of file shiftop.cc.
int p_mIsInV | ( | poly | p, |
const ring | r | ||
) |
Definition at line 708 of file shiftop.cc.
int p_mLastVblock | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 418 of file shiftop.cc.
int p_mLastVblock | ( | poly | p, |
int * | expV, | ||
const ring | ri | ||
) |
Definition at line 434 of file shiftop.cc.
void p_mLPshift | ( | poly | m, |
int | sh, | ||
const ring | ri | ||
) |
Definition at line 359 of file shiftop.cc.
poly p_mLPSubst | ( | poly | m, |
int | n, | ||
poly | e, | ||
const ring | r | ||
) |
Definition at line 853 of file shiftop.cc.
void p_mLPunshift | ( | poly | m, |
const ring | ri | ||
) |
Definition at line 324 of file shiftop.cc.
poly shift_p_Minus_mm_Mult_qq | ( | poly | p, |
poly | m, | ||
poly | q, | ||
int & | Shorter, | ||
const poly | spNoether, | ||
const ring | ri | ||
) |
Definition at line 213 of file shiftop.cc.
Definition at line 89 of file shiftop.cc.
Definition at line 145 of file shiftop.cc.
Definition at line 316 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 311 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 287 of file shiftop.cc.
void WriteLPExpV | ( | int * | expV, |
ring | ri | ||
) |
Definition at line 570 of file shiftop.cc.