[1450c9] | 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 |
---|