1 | #ifndef SINGULAR_FGLM_H |
---|
2 | #define SINGULAR_FGLM_H |
---|
3 | |
---|
4 | #ifdef HAVE_FACTORY |
---|
5 | |
---|
6 | #include <misc/auxiliary.h> |
---|
7 | |
---|
8 | #include <kernel/ideals.h> |
---|
9 | #include <kernel/structs.h> |
---|
10 | |
---|
11 | // fglmproc(...): |
---|
12 | // The procedure which has to be called from the interpreter for fglm. |
---|
13 | // first is the sourceRing, second is the given ideal in sourceRing. |
---|
14 | // Returns the groebnerbasis of the sourceIdeal in the currentRing. |
---|
15 | // Checks, if the ideal is really a reduced groebner basis of a |
---|
16 | // 0-dimensional Ideal. Returns TRUE if an error occoured. |
---|
17 | BOOLEAN fglmProc( leftv result, leftv first, leftv second ); |
---|
18 | |
---|
19 | // fglmquotproc(...): |
---|
20 | // The procedure which has to be called from the interpreter for fglmquot. |
---|
21 | // first is the ideal I, second is the polynomial q. The polynomial must |
---|
22 | // be reduced with respect to I. |
---|
23 | // Returns the groebnerbasis of I:q in the currentRing. |
---|
24 | // Checks, if the ideal is really a reduced groebner basis of a |
---|
25 | // 0-dimensional Ideal and if q is really reduced. |
---|
26 | // Returns TRUE if an error occoured. |
---|
27 | BOOLEAN fglmQuotProc( leftv result, leftv first, leftv second ); |
---|
28 | |
---|
29 | // FindUnivariatePolys (test) |
---|
30 | BOOLEAN FindUnivariateWrapper( ideal source, ideal & dest ); |
---|
31 | |
---|
32 | // wrapper for FindUnivariatePolys (test) |
---|
33 | BOOLEAN findUniProc( leftv result, leftv first); |
---|
34 | |
---|
35 | // homogeneous FGLM |
---|
36 | ideal fglmhomProc(leftv first, leftv second); |
---|
37 | |
---|
38 | |
---|
39 | #endif // #ifdef HAVE_FACTORY |
---|
40 | |
---|
41 | #endif // #ifndef SINGULAR_FGLM_H |
---|