![]() |
My Project
UNKNOWN_GIT_VERSION
|
#include "kernel/mod2.h"
#include "omalloc/omalloc.h"
#include "misc/options.h"
#include "misc/intvec.h"
#include "coeffs/coeffs.h"
#include "coeffs/numbers.h"
#include "polys/monomials/ring.h"
#include "polys/matpol.h"
#include "polys/weight.h"
#include "polys/sparsmat.h"
#include "polys/prCopy.h"
#include "polys/nc/nc.h"
#include "kernel/ideals.h"
#include "kernel/polys.h"
#include "kernel/GBEngine/kstd1.h"
#include "kernel/GBEngine/kutil.h"
#include "kernel/GBEngine/tgb.h"
#include "kernel/GBEngine/syz.h"
#include "Singular/ipshell.h"
#include "Singular/ipid.h"
#include "polys/clapsing.h"
Go to the source code of this file.
Data Structures | |
struct | poly_sort |
Functions | |
ideal | idMinBase (ideal h1) |
ideal | idSectWithElim (ideal h1, ideal h2) |
ideal | idSect (ideal h1, ideal h2, GbVariant alg) |
ideal | idMultSect (resolvente arg, int length, GbVariant alg) |
static ideal | idPrepare (ideal h1, tHomog hom, int syzcomp, intvec **w, GbVariant alg) |
ideal | idSyzygies (ideal h1, tHomog h, intvec **w, BOOLEAN setSyzComp, BOOLEAN setRegularity, int *deg, GbVariant alg) |
ideal | idXXX (ideal h1, int k) |
ideal | idLiftStd (ideal h1, matrix *ma, tHomog hi, ideal *syz, GbVariant alg) |
static void | idPrepareStd (ideal s_temp, int k) |
ideal | idLift (ideal mod, ideal submod, ideal *rest, BOOLEAN goodShape, BOOLEAN isSB, BOOLEAN divide, matrix *unit, GbVariant alg) |
void | idLiftW (ideal P, ideal Q, int n, matrix &T, ideal &R, short *w) |
static ideal | idInitializeQuot (ideal h1, ideal h2, BOOLEAN h1IsStb, BOOLEAN *addOnlyOne, int *kkmax) |
ideal | idQuot (ideal h1, ideal h2, BOOLEAN h1IsStb, BOOLEAN resultIsIdeal) |
ideal | idElimination (ideal h1, poly delVar, intvec *hilb, GbVariant alg) |
ideal | idMinors (matrix a, int ar, ideal R) |
compute all ar-minors of the matrix a the caller of mpRecMin the elements of the result are not in R (if R!=NULL) More... | |
BOOLEAN | idIsSubModule (ideal id1, ideal id2) |
BOOLEAN | idTestHomModule (ideal m, ideal Q, intvec *w) |
ideal | idSeries (int n, ideal M, matrix U, intvec *w) |
matrix | idDiff (matrix i, int k) |
matrix | idDiffOp (ideal I, ideal J, BOOLEAN multiply) |
ideal | idModulo (ideal h2, ideal h1, tHomog hom, intvec **w) |
intvec * | idMWLift (ideal mod, intvec *weights) |
ideal | idCreateSpecialKbase (ideal kBase, intvec **convert) |
int | idIndexOfKBase (poly monom, ideal kbase) |
poly | idDecompose (poly monom, poly how, ideal kbase, int *pos) |
matrix | idCoeffOfKBase (ideal arg, ideal kbase, poly how) |
static void | idDeleteComps (ideal arg, int *red_comp, int del) |
ideal | idMinEmbedding (ideal arg, BOOLEAN inPlace, intvec **w) |
poly | id_GCD (poly f, poly g, const ring r) |
ideal | id_Farey (ideal x, number N, const ring r) |
void | idKeepFirstK (ideal id, const int k) |
keeps the first k (>= 1) entries of the given ideal (Note that the kept polynomials may be zero.) More... | |
int | pCompare_qsort (const void *a, const void *b) |
void | idSort_qsort (poly_sort *id_sort, int idsize) |
void | idDelEquals (ideal id) |
static BOOLEAN | id_sat_vars_sp (kStrategy strat) |
ideal | id_Satstd (const ideal I, ideal J, const ring r) |
GbVariant | syGetAlgorithm (char *n, const ring r, const ideal) |
Variables | |
static int * | id_satstdSaturatingVariables =NULL |
poly id_GCD | ( | poly | f, |
poly | g, | ||
const ring | r | ||
) |
Definition at line 2623 of file ideals.cc.
Definition at line 2873 of file ideals.cc.
Definition at line 2984 of file ideals.cc.
matrix idCoeffOfKBase | ( | ideal | arg, |
ideal | kbase, | ||
poly | how | ||
) |
Definition at line 2499 of file ideals.cc.
ideal idCreateSpecialKbase | ( | ideal | kBase, |
intvec ** | convert | ||
) |
poly idDecompose | ( | poly | monom, |
poly | how, | ||
ideal | kbase, | ||
int * | pos | ||
) |
Definition at line 2467 of file ideals.cc.
void idDelEquals | ( | ideal | id | ) |
Definition at line 2834 of file ideals.cc.
|
static |
Definition at line 2169 of file ideals.cc.
Definition at line 2182 of file ideals.cc.
Definition at line 1574 of file ideals.cc.
int idIndexOfKBase | ( | poly | monom, |
ideal | kbase | ||
) |
Definition at line 2431 of file ideals.cc.
|
static |
addOnlyOne &&
Definition at line 1374 of file ideals.cc.
BOOLEAN idIsSubModule | ( | ideal | id1, |
ideal | id2 | ||
) |
Definition at line 2079 of file ideals.cc.
void idKeepFirstK | ( | ideal | id, |
const int | k | ||
) |
ideal idLift | ( | ideal | mod, |
ideal | submod, | ||
ideal * | rest, | ||
BOOLEAN | goodShape, | ||
BOOLEAN | isSB, | ||
BOOLEAN | divide, | ||
matrix * | unit, | ||
GbVariant | alg | ||
) |
Definition at line 1113 of file ideals.cc.
Definition at line 925 of file ideals.cc.
void idLiftW | ( | ideal | P, |
ideal | Q, | ||
int | n, | ||
matrix & | T, | ||
ideal & | R, | ||
short * | w | ||
) |
Definition at line 1309 of file ideals.cc.
ideal idMinBase | ( | ideal | h1 | ) |
Definition at line 49 of file ideals.cc.
Definition at line 2565 of file ideals.cc.
ideal idMinors | ( | matrix | a, |
int | ar, | ||
ideal | R | ||
) |
compute all ar-minors of the matrix a the caller of mpRecMin the elements of the result are not in R (if R!=NULL)
Definition at line 2010 of file ideals.cc.
Definition at line 2254 of file ideals.cc.
ideal idMultSect | ( | resolvente | arg, |
int | length, | ||
GbVariant | alg | ||
) |
Definition at line 421 of file ideals.cc.
Definition at line 2396 of file ideals.cc.
Definition at line 582 of file ideals.cc.
|
static |
Definition at line 1079 of file ideals.cc.
Definition at line 1479 of file ideals.cc.
ideal idSect | ( | ideal | h1, |
ideal | h2, | ||
GbVariant | alg | ||
) |
Definition at line 201 of file ideals.cc.
ideal idSectWithElim | ( | ideal | h1, |
ideal | h2 | ||
) |
Definition at line 131 of file ideals.cc.
void idSort_qsort | ( | poly_sort * | id_sort, |
int | idsize | ||
) |
Definition at line 2825 of file ideals.cc.
ideal idSyzygies | ( | ideal | h1, |
tHomog | h, | ||
intvec ** | w, | ||
BOOLEAN | setSyzComp, | ||
BOOLEAN | setRegularity, | ||
int * | deg, | ||
GbVariant | alg | ||
) |
Definition at line 730 of file ideals.cc.
Definition at line 2100 of file ideals.cc.
ideal idXXX | ( | ideal | h1, |
int | k | ||
) |
Definition at line 878 of file ideals.cc.
Definition at line 2820 of file ideals.cc.
Definition at line 3030 of file ideals.cc.