![]() |
#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/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) |
| ideal | idMultSect (resolvente arg, int length) |
| 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) |
| 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) |
| GbVariant | syGetAlgorithm (char *n, const ring r, const ideal) |
Definition at line 2407 of file ideals.cc.
Definition at line 2283 of file ideals.cc.
| ideal idCreateSpecialKbase | ( | ideal | kBase, |
| intvec ** | convert | ||
| ) |
Definition at line 2251 of file ideals.cc.
| void idDelEquals | ( | ideal | id | ) |
Definition at line 2618 of file ideals.cc.
|
static |
Definition at line 1953 of file ideals.cc.
Definition at line 1966 of file ideals.cc.
Definition at line 1402 of file ideals.cc.
| int idIndexOfKBase | ( | poly | monom, |
| ideal | kbase | ||
| ) |
Definition at line 2215 of file ideals.cc.
|
static |
addOnlyOne &&
Definition at line 1199 of file ideals.cc.
| BOOLEAN idIsSubModule | ( | ideal | id1, |
| ideal | id2 | ||
| ) |
Definition at line 1863 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 938 of file ideals.cc.
Definition at line 750 of file ideals.cc.
| void idLiftW | ( | ideal | P, |
| ideal | Q, | ||
| int | n, | ||
| matrix & | T, | ||
| ideal & | R, | ||
| short * | w | ||
| ) |
Definition at line 1134 of file ideals.cc.
| ideal idMinBase | ( | ideal | h1 | ) |
Definition at line 48 of file ideals.cc.
Definition at line 2349 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 1794 of file ideals.cc.
Definition at line 2038 of file ideals.cc.
| ideal idMultSect | ( | resolvente | arg, |
| int | length | ||
| ) |
Definition at line 344 of file ideals.cc.
Definition at line 2180 of file ideals.cc.
Definition at line 460 of file ideals.cc.
|
static |
Definition at line 904 of file ideals.cc.
Definition at line 1308 of file ideals.cc.
| ideal idSect | ( | ideal | h1, |
| ideal | h2 | ||
| ) |
Definition at line 204 of file ideals.cc.
| ideal idSectWithElim | ( | ideal | h1, |
| ideal | h2 | ||
| ) |
Definition at line 134 of file ideals.cc.
| void idSort_qsort | ( | poly_sort * | id_sort, |
| int | idsize | ||
| ) |
Definition at line 2609 of file ideals.cc.
| ideal idSyzygies | ( | ideal | h1, |
| tHomog | h, | ||
| intvec ** | w, | ||
| BOOLEAN | setSyzComp, | ||
| BOOLEAN | setRegularity, | ||
| int * | deg, | ||
| GbVariant | alg | ||
| ) |
Definition at line 562 of file ideals.cc.
Definition at line 1884 of file ideals.cc.
| ideal idXXX | ( | ideal | h1, |
| int | k | ||
| ) |
Definition at line 703 of file ideals.cc.
Definition at line 2604 of file ideals.cc.
Definition at line 2655 of file ideals.cc.