![]() |
My Project
|
#include "polys/monomials/ring.h"
#include "polys/monomials/p_polys.h"
#include "polys/simpleideals.h"
#include "kernel/structs.h"
Go to the source code of this file.
Macros | |
#define | idDelete(H) id_Delete((H),currRing) |
delete an ideal | |
#define | idMaxIdeal(D) id_MaxIdeal(D,currRing) |
initialise the maximal ideal (at 0) | |
#define | idPosConstant(I) id_PosConstant(I,currRing) |
index of generator with leading term in ground ring (if any); otherwise -1 | |
#define | idIsConstant(I) id_IsConstant(I,currRing) |
#define | idSimpleAdd(A, B) id_SimpleAdd(A,B,currRing) |
#define | idPrint(id) id_Print(id, currRing, currRing) |
#define | idTest(id) id_Test(id, currRing) |
Typedefs | |
typedef ideal * | resolvente |
Enumerations | |
enum | GbVariant { GbDefault =0 , GbStd , GbSlimgb , GbSba , GbGroebner , GbModstd , GbFfmod , GbNfmod , GbStdSat , GbSingmatic } |
#define idMaxIdeal | ( | D | ) | id_MaxIdeal(D,currRing) |
#define idPosConstant | ( | I | ) | id_PosConstant(I,currRing) |
Enumerator | |
---|---|
GbDefault | |
GbStd | |
GbSlimgb | |
GbSba | |
GbGroebner | |
GbModstd | |
GbFfmod | |
GbNfmod | |
GbStdSat | |
GbSingmatic |
Definition at line 118 of file ideals.h.
Definition at line 1148 of file simpleideals.cc.
copy an ideal
Definition at line 541 of file simpleideals.cc.
Definition at line 2952 of file ideals.cc.
Definition at line 3534 of file ideals.cc.
Definition at line 3579 of file ideals.cc.
Definition at line 3367 of file ideals.cc.
Definition at line 3315 of file ideals.cc.
Definition at line 1990 of file simpleideals.cc.
Definition at line 2629 of file ideals.cc.
Definition at line 20 of file ideals.h.
Definition at line 3163 of file ideals.cc.
Definition at line 1605 of file ideals.cc.
Definition at line 111 of file ideals.h.
Definition at line 1090 of file simpleideals.cc.
Definition at line 1116 of file simpleideals.cc.
Definition at line 96 of file ideals.h.
Definition at line 1068 of file simpleideals.cc.
insert h2 into h1 (if h2 is not the zero polynomial) return TRUE iff h2 was indeed inserted
Definition at line 831 of file simpleideals.cc.
insert p into I on position pos
Definition at line 850 of file simpleideals.cc.
|
inline |
Definition at line 75 of file ideals.h.
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 = NULL, | ||
BOOLEAN | goodShape = FALSE, | ||
BOOLEAN | isSB = TRUE, | ||
BOOLEAN | divide = FALSE, | ||
matrix * | unit = NULL, | ||
GbVariant | a = GbDefault ) |
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.
ideal idLiftStd | ( | ideal | h1, |
matrix * | m, | ||
tHomog | h = testHomog, | ||
ideal * | syz = NULL, | ||
GbVariant | a = GbDefault, | ||
ideal | h11 = NULL ) |
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 2814 of file ideals.cc.
Definition at line 2824 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.
ideal idModulo | ( | ideal | h1, |
ideal | h2, | ||
tHomog | h = testHomog, | ||
intvec ** | w = NULL, | ||
matrix * | T = NULL, | ||
GbVariant | a = GbDefault ) |
Definition at line 2422 of file ideals.cc.
ideal idMultSect | ( | resolvente | arg, |
int | length, | ||
GbVariant | a = GbDefault ) |
Definition at line 471 of file ideals.cc.
Definition at line 1506 of file ideals.cc.
Definition at line 3447 of file ideals.cc.
Definition at line 315 of file ideals.cc.
ideal idSyzygies | ( | ideal | h1, |
tHomog | h, | ||
intvec ** | w, | ||
BOOLEAN | setSyzComp = TRUE, | ||
BOOLEAN | setRegularity = FALSE, | ||
int * | deg = NULL, | ||
GbVariant | a = GbDefault ) |
Definition at line 830 of file ideals.cc.
Definition at line 3624 of file ideals.cc.