![]() |
#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) |
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) |
poly | p_LPVarAt (poly p, int pos, 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) |
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 716 of file shiftop.cc.
ring freeAlgebra | ( | ring | r, |
int | d | ||
) |
create the letterplace ring corresponding to r up to degree d
Definition at line 783 of file shiftop.cc.
substitute weights from orderings a,wp,Wp by d copies of it at position p
Definition at line 766 of file shiftop.cc.
int id_IsInV | ( | ideal | I, |
const ring | r | ||
) |
Definition at line 611 of file shiftop.cc.
void k_SplitFrame | ( | poly & | m1, |
poly & | m2, | ||
int | at, | ||
const ring | r | ||
) |
Definition at line 593 of file shiftop.cc.
char* LPExpVString | ( | int * | expV, |
ring | ri | ||
) |
Definition at line 573 of file shiftop.cc.
int p_FirstVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 451 of file shiftop.cc.
int p_IsInV | ( | poly | p, |
const ring | r | ||
) |
Definition at line 626 of file shiftop.cc.
int p_LastVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 401 of file shiftop.cc.
Definition at line 696 of file shiftop.cc.
void p_LPExpVappend | ( | int * | m1ExpV, |
int * | m2ExpV, | ||
int | m1Length, | ||
int | m2Length, | ||
const ring | ri | ||
) |
Definition at line 506 of file shiftop.cc.
void p_LPExpVprepend | ( | int * | m1ExpV, |
int * | m2ExpV, | ||
int | m1Length, | ||
int | m2Length, | ||
const ring | ri | ||
) |
Definition at line 532 of file shiftop.cc.
Definition at line 707 of file shiftop.cc.
void p_LPshift | ( | poly | p, |
int | sh, | ||
const ring | ri | ||
) |
Definition at line 387 of file shiftop.cc.
void p_LPunshift | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 348 of file shiftop.cc.
poly p_LPVarAt | ( | poly | p, |
int | pos, | ||
const ring | r | ||
) |
Definition at line 751 of file shiftop.cc.
int p_mFirstVblock | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 473 of file shiftop.cc.
int p_mFirstVblock | ( | poly | p, |
int * | expV, | ||
const ring | ri | ||
) |
Definition at line 489 of file shiftop.cc.
int p_mIsInV | ( | poly | p, |
const ring | r | ||
) |
Definition at line 644 of file shiftop.cc.
int p_mLastVblock | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 416 of file shiftop.cc.
int p_mLastVblock | ( | poly | p, |
int * | expV, | ||
const ring | ri | ||
) |
Definition at line 432 of file shiftop.cc.
void p_mLPshift | ( | poly | m, |
int | sh, | ||
const ring | ri | ||
) |
Definition at line 357 of file shiftop.cc.
void p_mLPunshift | ( | poly | m, |
const ring | ri | ||
) |
Definition at line 322 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 211 of file shiftop.cc.
Definition at line 88 of file shiftop.cc.
Definition at line 144 of file shiftop.cc.
Definition at line 314 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 309 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 285 of file shiftop.cc.
void WriteLPExpV | ( | int * | expV, |
ring | ri | ||
) |
Definition at line 566 of file shiftop.cc.