![]() |
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 2971 of file ideals.cc.
Definition at line 3576 of file ideals.cc.
Definition at line 3621 of file ideals.cc.
Definition at line 2705 of file ideals.cc.
Definition at line 3386 of file ideals.cc.
Definition at line 3221 of file ideals.cc.
Definition at line 3334 of file ideals.cc.
Definition at line 2639 of file ideals.cc.
Definition at line 3182 of file ideals.cc.
Definition at line 1855 of file ideals.cc.
Definition at line 1611 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 715 of file ideals.cc.
|
static |
Definition at line 200 of file ideals.cc.
|
static |
addOnlyOne &&
Definition at line 1407 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 1111 of file ideals.cc.
Definition at line 982 of file ideals.cc.
Definition at line 1342 of file ideals.cc.
Definition at line 51 of file ideals.cc.
Definition at line 2824 of file ideals.cc.
|
static |
Definition at line 2788 of file ideals.cc.
Definition at line 2834 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 2002 of file ideals.cc.
Definition at line 2434 of file ideals.cc.
Definition at line 2243 of file ideals.cc.
ideal idMultSect | ( | resolvente | arg, |
int | length, | ||
GbVariant | alg | ||
) |
Definition at line 472 of file ideals.cc.
|
static |
Definition at line 613 of file ideals.cc.
Definition at line 1512 of file ideals.cc.
Definition at line 3567 of file ideals.cc.
Definition at line 3466 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 836 of file ideals.cc.
Definition at line 57 of file ipprint.cc.
Definition at line 3666 of file ideals.cc.
STATIC_VAR int* id_satstdSaturatingVariables =NULL |