source: git/kernel/f5gb.h @ 4a0a4b8

spielwiese
Last change on this file since 4a0a4b8 was 71f00c5, checked in by Christian Eder, 15 years ago
lists updated git-svn-id: file:///usr/local/Singular/svn/trunk@11273 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 1.3 KB
Line 
1/****************************************
2*  Computer Algebra System SINGULAR     *
3****************************************/
4/* $Id: f5gb.h,v 1.14 2008-12-27 13:50:05 ederc Exp $ */
5/*
6* ABSTRACT: f5gb interface
7*/
8#ifndef F5_HEADER
9#define F5_HEADER
10
11#ifdef HAVE_F5
12#include "lpolynomial.h"
13#include "lists.h"
14
15
16/*
17================================================
18computation of ONE polynomial as global variable
19================================================
20*/
21poly one_poly();
22
23
24/*
25======================================================
26sort polynomials in ideal i by decreasing total degree
27======================================================
28*/
29void qsort_degree(poly* left, poly* right);
30
31
32/*
33==============================================
34generating the list lp of ideal generators and
35test if 1 is in lp(return 1) or not(return 0)
36==============================================
37*/
38void generate_input_list(LPoly* lp, ideal id, poly one);
39
40
41/*
42==================================================
43computes incrementally gbs of subsets of the input
44gb{f_m} -> gb{f_m,f_(m-1)} -> gb{f_m,...,f_1} 
45==================================================
46*/
47LList* F5inc(const long i, LList* g_prev);
48
49
50/*
51======================================
52main function of our f5 implementation
53======================================
54*/
55ideal F5main(ideal i, ring r);
56
57#endif
58#endif
Note: See TracBrowser for help on using the repository browser.