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
Class used for (list of) interpreter objects.
Definition: subexpr.h:82
ideal fglmhomProc(leftv first, leftv second)
BOOLEAN fglmQuotProc(leftv result, leftv first, leftv second)
Definition: fglm.cc:360
BOOLEAN FindUnivariateWrapper(ideal source, ideal &dest)
Definition: fglmzero.cc:1233
BOOLEAN fglmProc(leftv result, leftv first, leftv second)
Definition: fglm.cc:283
BOOLEAN findUniProc(leftv result, leftv first)
Definition: fglm.cc:428
int BOOLEAN
Definition: auxiliary.h:85
return result
Definition: facAbsBiFact.cc:76