My Project  UNKNOWN_GIT_VERSION
fglm.h
Go to the documentation of this file.
1 #ifndef SINGULAR_FGLM_H
2 #define SINGULAR_FGLM_H
3 
4 #include "kernel/mod2.h"
5 
6 #include "kernel/ideals.h"
7 #include "kernel/structs.h"
8 
9 // fglmproc(...):
10 // The procedure which has to be called from the interpreter for fglm.
11 // first is the sourceRing, second is the given ideal in sourceRing.
12 // Returns the groebnerbasis of the sourceIdeal in the currentRing.
13 // Checks, if the ideal is really a reduced groebner basis of a
14 // 0-dimensional Ideal. Returns TRUE if an error occoured.
15 BOOLEAN fglmProc( leftv result, leftv first, leftv second );
16 
17 // fglmquotproc(...):
18 // The procedure which has to be called from the interpreter for fglmquot.
19 // first is the ideal I, second is the polynomial q. The polynomial must
20 // be reduced with respect to I.
21 // Returns the groebnerbasis of I:q in the currentRing.
22 // Checks, if the ideal is really a reduced groebner basis of a
23 // 0-dimensional Ideal and if q is really reduced.
24 // Returns TRUE if an error occoured.
25 BOOLEAN fglmQuotProc( leftv result, leftv first, leftv second );
26 
27 // FindUnivariatePolys (test)
28 BOOLEAN FindUnivariateWrapper( ideal source, ideal & dest );
29 
30 // wrapper for FindUnivariatePolys (test)
32 
33 // homogeneous FGLM
34 ideal fglmhomProc(leftv first, leftv second);
35 
36 #endif // #ifndef SINGULAR_FGLM_H
result
return result
Definition: facAbsBiFact.cc:76
sleftv
Class used for (list of) interpreter objects.
Definition: subexpr.h:81
BOOLEAN
int BOOLEAN
Definition: auxiliary.h:85
findUniProc
BOOLEAN findUniProc(leftv result, leftv first)
Definition: fglm.cc:428
structs.h
mod2.h
fglmhomProc
ideal fglmhomProc(leftv first, leftv second)
fglmProc
BOOLEAN fglmProc(leftv result, leftv first, leftv second)
Definition: fglm.cc:283
FindUnivariateWrapper
BOOLEAN FindUnivariateWrapper(ideal source, ideal &dest)
Definition: fglmzero.cc:1238
ideals.h
fglmQuotProc
BOOLEAN fglmQuotProc(leftv result, leftv first, leftv second)
Definition: fglm.cc:360