![]() |
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 269 of file shiftop.cc.
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.