source: git/Singular/fglm.h @ b2aa08

spielwiese
Last change on this file since b2aa08 was 1450c9, checked in by Oleksandr Motsak <motsak@…>, 13 years ago
FIX: moved interpreter-related FGLM declarations to Singular/fglm.h FIX: List template requires an "factory/templates/ftmpl_list.cc" include - UGLY!!!
  • Property mode set to 100644
File size: 1.3 KB
Line 
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.
17BOOLEAN 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.
27BOOLEAN fglmQuotProc( leftv result, leftv first, leftv second );
28
29// FindUnivariatePolys (test)
30BOOLEAN FindUnivariateWrapper( ideal source, ideal & dest );
31
32// wrapper for FindUnivariatePolys (test)
33BOOLEAN findUniProc( leftv result, leftv first);
34
35// homogeneous FGLM
36ideal fglmhomProc(leftv first, leftv second);
37
38
39#endif // #ifdef HAVE_FACTORY
40
41#endif // #ifndef SINGULAR_FGLM_H
Note: See TracBrowser for help on using the repository browser.