My Project
|
#include "kernel/mod2.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) |
static ideal | idSectWithElim (ideal h1, ideal h2, GbVariant alg) |
static ideal | idGroebner (ideal temp, int syzComp, GbVariant alg, intvec *hilb=NULL, intvec *w=NULL, tHomog hom=testHomog) |
ideal | idSect (ideal h1, ideal h2, GbVariant alg) |
ideal | idMultSect (resolvente arg, int length, GbVariant alg) |
static ideal | idPrepare (ideal h1, ideal h11, tHomog hom, int syzcomp, intvec **w, GbVariant alg) |
ideal | idExtractG_T_S (ideal s_h3, matrix *T, ideal *S, long syzComp, int h1_size, BOOLEAN inputIsIdeal, const ring oring, const ring sring) |
ideal | idSyzygies (ideal h1, tHomog h, intvec **w, BOOLEAN setSyzComp, BOOLEAN setRegularity, int *deg, GbVariant alg) |
ideal | idLiftStd (ideal h1, matrix *T, tHomog hi, ideal *S, GbVariant alg, ideal h11) |
static void | idPrepareStd (ideal s_temp, int k) |
static void | idLift_setUnit (int e_mod, matrix *unit) |
ideal | idLift (ideal mod, ideal submod, ideal *rest, BOOLEAN goodShape, BOOLEAN isSB, BOOLEAN divide, matrix *unit, GbVariant alg) |
represents the generators of submod in terms of the generators of mod (Matrix(SM)*U-Matrix(rest)) = Matrix(M)*Matrix(result) goodShape: maximal non-zero index in generators of SM <= that of M isSB: generators of M form a Groebner basis divide: allow SM not to be a submodule of M U is an diagonal matrix of units (non-constant only in local rings) rest is: 0 if SM in M, SM if not divide, NF(SM,std(M)) if divide More... | |
void | idLiftW (ideal P, ideal Q, int n, matrix &T, ideal &R, int *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 | idModuloLP (ideal h2, ideal h1, tHomog, intvec **w, matrix *T, GbVariant alg) |
ideal | idModulo (ideal h2, ideal h1, tHomog hom, intvec **w, matrix *T, GbVariant alg) |
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_VAR int * | id_satstdSaturatingVariables =NULL |
ideal id_Farey | ( | ideal | x, |
number | N, | ||
const ring | r | ||
) |
poly id_GCD | ( | poly | f, |
poly | g, | ||
const ring | r | ||
) |
Definition at line 2745 of file ideals.cc.
Definition at line 2995 of file ideals.cc.
Definition at line 3108 of file ideals.cc.
matrix idCoeffOfKBase | ( | ideal | arg, |
ideal | kbase, | ||
poly | how | ||
) |
Definition at line 2621 of file ideals.cc.
ideal idCreateSpecialKbase | ( | ideal | kBase, |
intvec ** | convert | ||
) |
poly idDecompose | ( | poly | monom, |
poly | how, | ||
ideal | kbase, | ||
int * | pos | ||
) |
Definition at line 2589 of file ideals.cc.
void idDelEquals | ( | ideal | id | ) |
Definition at line 2956 of file ideals.cc.
|
static |
Definition at line 1593 of file ideals.cc.
ideal idExtractG_T_S | ( | ideal | s_h3, |
matrix * | T, | ||
ideal * | S, | ||
long | syzComp, | ||
int | h1_size, | ||
BOOLEAN | inputIsIdeal, | ||
const ring | oring, | ||
const ring | sring | ||
) |
Definition at line 709 of file ideals.cc.
|
static |
Definition at line 201 of file ideals.cc.
int idIndexOfKBase | ( | poly | monom, |
ideal | kbase | ||
) |
|
static |
addOnlyOne &&
Definition at line 1389 of file ideals.cc.
BOOLEAN idIsSubModule | ( | ideal | id1, |
ideal | id2 | ||
) |
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.)
ideal idLift | ( | ideal | mod, |
ideal | submod, | ||
ideal * | rest, | ||
BOOLEAN | goodShape, | ||
BOOLEAN | isSB, | ||
BOOLEAN | divide, | ||
matrix * | unit, | ||
GbVariant | alg | ||
) |
represents the generators of submod in terms of the generators of mod (Matrix(SM)*U-Matrix(rest)) = Matrix(M)*Matrix(result) goodShape: maximal non-zero index in generators of SM <= that of M isSB: generators of M form a Groebner basis divide: allow SM not to be a submodule of M U is an diagonal matrix of units (non-constant only in local rings) rest is: 0 if SM in M, SM if not divide, NF(SM,std(M)) if divide
Definition at line 1105 of file ideals.cc.
|
static |
Definition at line 976 of file ideals.cc.
void idLiftW | ( | ideal | P, |
ideal | Q, | ||
int | n, | ||
matrix & | T, | ||
ideal & | R, | ||
int * | w | ||
) |
Definition at line 1324 of file ideals.cc.
ideal idMinBase | ( | ideal | h1 | ) |
Definition at line 51 of file ideals.cc.
Definition at line 2687 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 1980 of file ideals.cc.
Definition at line 2414 of file ideals.cc.
Definition at line 2221 of file ideals.cc.
ideal idMultSect | ( | resolvente | arg, |
int | length, | ||
GbVariant | alg | ||
) |
Definition at line 472 of file ideals.cc.
|
static |
Definition at line 607 of file ideals.cc.
|
static |
Definition at line 1041 of file ideals.cc.
Definition at line 1494 of file ideals.cc.
ideal idSect | ( | ideal | h1, |
ideal | h2, | ||
GbVariant | alg | ||
) |
Definition at line 316 of file ideals.cc.
|
static |
Definition at line 133 of file ideals.cc.
void idSort_qsort | ( | poly_sort * | id_sort, |
int | idsize | ||
) |
ideal idSyzygies | ( | ideal | h1, |
tHomog | h, | ||
intvec ** | w, | ||
BOOLEAN | setSyzComp, | ||
BOOLEAN | setRegularity, | ||
int * | deg, | ||
GbVariant | alg | ||
) |
Definition at line 830 of file ideals.cc.
Definition at line 2069 of file ideals.cc.
Definition at line 3154 of file ideals.cc.
STATIC_VAR int* id_satstdSaturatingVariables =NULL |