 |
My Project
UNKNOWN_GIT_VERSION
|
Go to the documentation of this file.
29 #define idDelete(H) id_Delete((H),currRing)
33 #define idMaxIdeal(D) id_MaxIdeal(D,currRing)
37 #define idPosConstant(I) id_PosConstant(I,currRing)
40 #define idIsConstant(I) id_IsConstant(I,currRing)
42 #define idSimpleAdd(A,B) id_SimpleAdd(A,B,currRing)
44 ideal
id_Copy (ideal h1,
const ring r);
46 #define idPrint(id) id_Print(id, currRing, currRing)
47 #define idTest(id) id_Test(id, currRing)
52 ideal idDBCopy(ideal h1,
const char *
f,
int l,
const ring r);
53 #define id_DBCopy(A,r) idDBCopy(A,__FILE__,__LINE__,r)
68 inline ideal
idAdd (ideal h1, ideal h2)
84 static inline ideal
idMult (ideal h1, ideal h2)
109 int binom (
int n,
int r);
150 ideal
idQuot (ideal h1,ideal h2,
158 #ifdef WITH_OLD_MINOR
159 poly idMinor(
matrix a,
int ar,
unsigned long which, ideal
R =
NULL);
196 ideal
idXXX (ideal h1,
int k);
198 poly
id_GCD(poly
f, poly
g,
const ring r);
200 ideal
id_Farey(ideal
x, number
N,
const ring r);
204 ideal
id_Satstd(
const ideal I, ideal J,
const ring r);
ideal id_FreeModule(int i, const ring r)
the free module of rank i
ideal idMinBase(ideal h1)
BOOLEAN id_HomModule(ideal m, ideal Q, intvec **w, const ring R)
static ideal idVec2Ideal(poly vec)
ideal idLiftStd(ideal h1, matrix *m, tHomog h=testHomog, ideal *syz=NULL, GbVariant a=GbDefault)
static ideal idCopyFirstK(const ideal ide, const int k)
ideal idXXX(ideal h1, int k)
void idLiftW(ideal P, ideal Q, int n, matrix &T, ideal &R, short *w=NULL)
ideal idModulo(ideal h1, ideal h2, tHomog h=testHomog, intvec **w=NULL)
GbVariant syGetAlgorithm(char *n, const ring r, const ideal M)
matrix idDiffOp(ideal I, ideal J, BOOLEAN multiply=TRUE)
void idKeepFirstK(ideal ide, const int k)
keeps the first k (>= 1) entries of the given ideal (Note that the kept polynomials may be zero....
matrix idCoeffOfKBase(ideal arg, ideal kbase, poly how)
static BOOLEAN idHomIdeal(ideal id, ideal Q=NULL)
ideal idAdd(ideal h1, ideal h2)
h1 + h2
ideal idSyzygies(ideal h1, tHomog h, intvec **w, BOOLEAN setSyzComp=TRUE, BOOLEAN setRegularity=FALSE, int *deg=NULL, GbVariant a=GbDefault)
ideal id_Satstd(const ideal I, ideal J, const ring r)
BOOLEAN id_InsertPolyWithTests(ideal h1, const int validEntries, const poly h2, const bool zeroOk, const bool duplicateOk, const ring r)
insert h2 into h1 depending on the two boolean parameters:
BOOLEAN idTestHomModule(ideal m, ideal Q, intvec *w)
ideal id_Farey(ideal x, number N, const ring r)
BOOLEAN idInsertPoly(ideal h1, poly h2)
insert h2 into h1 (if h2 is not the zero polynomial) return TRUE iff h2 was indeed inserted
void idGetNextChoise(int r, int end, BOOLEAN *endch, int *choise)
static BOOLEAN length(leftv result, leftv arg)
const CanonicalForm CFMap CFMap & N
BOOLEAN idIs0(ideal h)
returns true if h is the zero ideal
ideal idElimination(ideal h1, poly delVar, intvec *hilb=NULL, GbVariant a=GbDefault)
BOOLEAN id_HomIdeal(ideal id, ideal Q, const ring r)
void idDelEquals(ideal id)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
intvec * id_Sort(const ideal id, const BOOLEAN nolex, const ring r)
sorts the ideal w.r.t. the actual ringordering uses lex-ordering when nolex = FALSE
ideal idSect(ideal h1, ideal h2, GbVariant a=GbDefault)
static BOOLEAN idIsZeroDim(ideal i)
ideal idMinors(matrix a, int ar, ideal R=NULL)
compute all ar-minors of the matrix a the caller of mpRecMin the elements of the result are not in R ...
ideal idMinEmbedding(ideal arg, BOOLEAN inPlace=FALSE, intvec **w=NULL)
BOOLEAN idInsertPolyWithTests(ideal h1, const int validEntries, const poly h2, const bool zeroOk, const bool duplicateOk)
ideal idMultSect(resolvente arg, int length, GbVariant a=GbDefault)
int idGetNumberOfChoise(int t, int d, int begin, int end, int *choise)
CanonicalForm divide(const CanonicalForm &ff, const CanonicalForm &f, const CFList &as)
ideal id_Vec2Ideal(poly vec, const ring R)
ideal idFreeModule(int i)
void idInitChoise(int r, int beg, int end, BOOLEAN *endch, int *choise)
BOOLEAN idInsertPolyOnPos(ideal I, poly p, int pos)
insert p into I on position pos
static BOOLEAN idHomModule(ideal m, ideal Q, intvec **w)
ideal idSeries(int n, ideal M, matrix U=NULL, intvec *w=NULL)
ideal idLift(ideal mod, ideal sumod, ideal *rest=NULL, BOOLEAN goodShape=FALSE, BOOLEAN isSB=TRUE, BOOLEAN divide=FALSE, matrix *unit=NULL, GbVariant a=GbDefault)
ideal id_CopyFirstK(const ideal ide, const int k, const ring r)
copies the first k (>= 1) entries of the given ideal/module and returns these as a new ideal/module (...
ideal id_Mult(ideal h1, ideal h2, const ring R)
h1 * h2 one h_i must be an ideal (with at least one column) the other h_i may be a module (with no co...
matrix idDiff(matrix i, int k)
static ideal idMult(ideal h1, ideal h2)
hh := h1 * h2
ideal idQuot(ideal h1, ideal h2, BOOLEAN h1IsStb=FALSE, BOOLEAN resultIsIdeal=FALSE)
poly id_GCD(poly f, poly g, const ring r)
ideal id_Copy(ideal h1, const ring r)
copy an ideal
ideal id_Add(ideal h1, ideal h2, const ring r)
h1 + h2
intvec * idMWLift(ideal mod, intvec *weights)
static intvec * idSort(ideal id, BOOLEAN nolex=TRUE)
BOOLEAN idIsSubModule(ideal id1, ideal id2)
BOOLEAN id_IsZeroDim(ideal I, const ring r)
ideal id_TensorModuleMult(const int m, const ideal M, const ring rRing)