![]() |
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 |
Variables | |
STATIC_VAR int * | id_satstdSaturatingVariables =NULL |
Definition at line 2957 of file ideals.cc.
Definition at line 3548 of file ideals.cc.
Definition at line 3593 of file ideals.cc.
Definition at line 2691 of file ideals.cc.
Definition at line 3372 of file ideals.cc.
Definition at line 3207 of file ideals.cc.
Definition at line 3320 of file ideals.cc.
Definition at line 2625 of file ideals.cc.
Definition at line 3168 of file ideals.cc.
Definition at line 1605 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 200 of file ideals.cc.
|
static |
addOnlyOne &&
Definition at line 1401 of file ideals.cc.
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.
Definition at line 976 of file ideals.cc.
Definition at line 1336 of file ideals.cc.
Definition at line 51 of file ideals.cc.
Definition at line 2810 of file ideals.cc.
|
static |
Definition at line 2774 of file ideals.cc.
Definition at line 2820 of file ideals.cc.
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 1988 of file ideals.cc.
Definition at line 2420 of file ideals.cc.
Definition at line 2229 of file ideals.cc.
ideal idMultSect | ( | resolvente | arg, |
int | length, | ||
GbVariant | alg | ||
) |
Definition at line 471 of file ideals.cc.
|
static |
Definition at line 607 of file ideals.cc.
Definition at line 1506 of file ideals.cc.
Definition at line 3452 of file ideals.cc.
Definition at line 315 of file ideals.cc.
Definition at line 132 of file ideals.cc.
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 57 of file ipprint.cc.
Definition at line 3638 of file ideals.cc.
STATIC_VAR int* id_satstdSaturatingVariables =NULL |