![]() |
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 795 of file shiftop.cc.
Definition at line 632 of file shiftop.cc.
Definition at line 622 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 941 of file shiftop.cc.
substitute weights from orderings a,wp,Wp by d copies of it at position p
Definition at line 924 of file shiftop.cc.
int id_IsInV | ( | ideal | I, |
const ring | r | ||
) |
Definition at line 677 of file shiftop.cc.
void k_SplitFrame | ( | poly & | m1, |
poly & | m2, | ||
int | at, | ||
const ring | r | ||
) |
Definition at line 599 of file shiftop.cc.
char* LPExpVString | ( | int * | expV, |
ring | ri | ||
) |
Definition at line 579 of file shiftop.cc.
int p_FirstVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 455 of file shiftop.cc.
int p_GetNCGen | ( | poly | p, |
const ring | r | ||
) |
Definition at line 655 of file shiftop.cc.
int p_IsInV | ( | poly | p, |
const ring | r | ||
) |
Definition at line 692 of file shiftop.cc.
int p_LastVblock | ( | poly | p, |
const ring | r | ||
) |
Definition at line 405 of file shiftop.cc.
BOOLEAN p_LPDivisibleBy | ( | ideal | I, |
poly | p, | ||
ring | r | ||
) |
Definition at line 832 of file shiftop.cc.
Definition at line 775 of file shiftop.cc.
void p_LPExpVappend | ( | int * | m1ExpV, |
int * | m2ExpV, | ||
int | m1Length, | ||
int | m2Length, | ||
const ring | ri | ||
) |
Definition at line 510 of file shiftop.cc.
void p_LPExpVprepend | ( | int * | m1ExpV, |
int * | m2ExpV, | ||
int | m1Length, | ||
int | m2Length, | ||
const ring | ri | ||
) |
Definition at line 537 of file shiftop.cc.
Definition at line 786 of file shiftop.cc.
void p_LPshift | ( | poly | p, |
int | sh, | ||
const ring | ri | ||
) |
Definition at line 391 of file shiftop.cc.
poly p_LPSubst | ( | poly | p, |
int | n, | ||
poly | e, | ||
const ring | r | ||
) |
Definition at line 911 of file shiftop.cc.
void p_LPunshift | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 352 of file shiftop.cc.
poly p_LPVarAt | ( | poly | p, |
int | pos, | ||
const ring | r | ||
) |
Definition at line 844 of file shiftop.cc.
int p_mFirstVblock | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 477 of file shiftop.cc.
int p_mFirstVblock | ( | poly | p, |
int * | expV, | ||
const ring | ri | ||
) |
Definition at line 493 of file shiftop.cc.
int p_mIsInV | ( | poly | p, |
const ring | r | ||
) |
Definition at line 710 of file shiftop.cc.
int p_mLastVblock | ( | poly | p, |
const ring | ri | ||
) |
Definition at line 420 of file shiftop.cc.
int p_mLastVblock | ( | poly | p, |
int * | expV, | ||
const ring | ri | ||
) |
Definition at line 436 of file shiftop.cc.
void p_mLPshift | ( | poly | m, |
int | sh, | ||
const ring | ri | ||
) |
Definition at line 361 of file shiftop.cc.
poly p_mLPSubst | ( | poly | m, |
int | n, | ||
poly | e, | ||
const ring | r | ||
) |
Definition at line 862 of file shiftop.cc.
void p_mLPunshift | ( | poly | m, |
const ring | ri | ||
) |
Definition at line 326 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 318 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 289 of file shiftop.cc.
void WriteLPExpV | ( | int * | expV, |
ring | ri | ||
) |
Definition at line 572 of file shiftop.cc.