My Project
Loading...
Searching...
No Matches
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.
15BOOLEAN 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.
25BOOLEAN fglmQuotProc( leftv result, leftv first, leftv second );
26ideal fglmQuot( ideal first, poly second );
27
28// FindUnivariatePolys (test)
29BOOLEAN FindUnivariateWrapper( ideal source, ideal & dest );
30
31// wrapper for FindUnivariatePolys (test)
33ideal findUni( ideal first );
34
35// homogeneous FGLM
36ideal fglmhomProc(leftv first, leftv second);
37
38#endif // #ifndef SINGULAR_FGLM_H
ideal fglmQuot(ideal first, poly second)
Definition: fglm.cc:350
BOOLEAN fglmProc(leftv result, leftv first, leftv second)
Definition: fglm.cc:277
BOOLEAN FindUnivariateWrapper(ideal source, ideal &dest)
Definition: fglmzero.cc:1236
ideal fglmhomProc(leftv first, leftv second)
BOOLEAN fglmQuotProc(leftv result, leftv first, leftv second)
Definition: fglm.cc:411
BOOLEAN findUniProc(leftv result, leftv first)
Definition: fglm.cc:541
ideal findUni(ideal first)
Definition: fglm.cc:474
int BOOLEAN
Definition: auxiliary.h:87
Class used for (list of) interpreter objects.
Definition: subexpr.h:83
return result
Definition: facAbsBiFact.cc:75