![]() |
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 794 of file shiftop.cc.
Definition at line 631 of file shiftop.cc.
Definition at line 621 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 940 of file shiftop.cc.
substitute weights from orderings a,wp,Wp by d copies of it at position p
Definition at line 923 of file shiftop.cc.
int id_IsInV | ( | ideal | I, |
const ring | r | ||
) |
Definition at line 676 of file shiftop.cc.
void k_SplitFrame | ( | poly & | m1, |
poly & | m2, | ||
int | at, | ||
const ring | r | ||
) |
Definition at line 598 of file shiftop.cc.
char* LPExpVString | ( | int * | expV, |
ring | ri | ||
) |
Definition at line 578 of file shiftop.cc.
int p_FirstVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 454 of file shiftop.cc.
int p_GetNCGen | ( | poly | p, |
const ring | r | ||
) |
Definition at line 654 of file shiftop.cc.
int p_IsInV | ( | poly | p, |
const ring | r | ||
) |
Definition at line 691 of file shiftop.cc.
int p_LastVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 404 of file shiftop.cc.
BOOLEAN p_LPDivisibleBy | ( | ideal | I, |
poly | p, | ||
ring | r | ||
) |
Definition at line 831 of file shiftop.cc.
Definition at line 774 of file shiftop.cc.
void p_LPExpVappend | ( | int * | m1ExpV, |
int * | m2ExpV, | ||
int | m1Length, | ||
int | m2Length, | ||
const ring | ri | ||
) |
Definition at line 509 of file shiftop.cc.
void p_LPExpVprepend | ( | int * | m1ExpV, |
int * | m2ExpV, | ||
int | m1Length, | ||
int | m2Length, | ||
const ring | ri | ||
) |
Definition at line 536 of file shiftop.cc.
Definition at line 785 of file shiftop.cc.
void p_LPshift | ( | poly | p, |
int | sh, | ||
const ring | ri | ||
) |
Definition at line 390 of file shiftop.cc.
poly p_LPSubst | ( | poly | p, |
int | n, | ||
poly | e, | ||
const ring | r | ||
) |
Definition at line 910 of file shiftop.cc.
void p_LPunshift | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 351 of file shiftop.cc.
poly p_LPVarAt | ( | poly | p, |
int | pos, | ||
const ring | r | ||
) |
Definition at line 843 of file shiftop.cc.
int p_mFirstVblock | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 476 of file shiftop.cc.
int p_mFirstVblock | ( | poly | p, |
int * | expV, | ||
const ring | ri | ||
) |
Definition at line 492 of file shiftop.cc.
int p_mIsInV | ( | poly | p, |
const ring | r | ||
) |
Definition at line 709 of file shiftop.cc.
int p_mLastVblock | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 419 of file shiftop.cc.
int p_mLastVblock | ( | poly | p, |
int * | expV, | ||
const ring | ri | ||
) |
Definition at line 435 of file shiftop.cc.
void p_mLPshift | ( | poly | m, |
int | sh, | ||
const ring | ri | ||
) |
Definition at line 360 of file shiftop.cc.
poly p_mLPSubst | ( | poly | m, |
int | n, | ||
poly | e, | ||
const ring | r | ||
) |
Definition at line 861 of file shiftop.cc.
void p_mLPunshift | ( | poly | m, |
const ring | ri | ||
) |
Definition at line 325 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 212 of file shiftop.cc.
Definition at line 89 of file shiftop.cc.
Definition at line 145 of file shiftop.cc.
Definition at line 317 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 312 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 571 of file shiftop.cc.