[1450c9] | 1 | #ifndef SINGULAR_FGLM_H |
---|
| 2 | #define SINGULAR_FGLM_H |
---|
| 3 | |
---|
[fb1675] | 4 | #include "kernel/mod2.h" |
---|
[1450c9] | 5 | |
---|
[fb1675] | 6 | #include "kernel/ideals.h" |
---|
| 7 | #include "kernel/structs.h" |
---|
[1450c9] | 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 ); |
---|
[f7951d] | 26 | ideal fglmQuot( ideal first, poly second ); |
---|
[1450c9] | 27 | |
---|
| 28 | // FindUnivariatePolys (test) |
---|
| 29 | BOOLEAN FindUnivariateWrapper( ideal source, ideal & dest ); |
---|
| 30 | |
---|
| 31 | // wrapper for FindUnivariatePolys (test) |
---|
| 32 | BOOLEAN findUniProc( leftv result, leftv first); |
---|
[f7951d] | 33 | ideal findUni( ideal first ); |
---|
[1450c9] | 34 | |
---|
| 35 | // homogeneous FGLM |
---|
| 36 | ideal fglmhomProc(leftv first, leftv second); |
---|
| 37 | |
---|
| 38 | #endif // #ifndef SINGULAR_FGLM_H |
---|