source: git/kernel/f5gb.h @ ee3507

jengelh-datetimespielwiese
Last change on this file since ee3507 was ee3507, checked in by Hans Schönemann <hannes@…>, 15 years ago
*hannes: conventions git-svn-id: file:///usr/local/Singular/svn/trunk@10957 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 743 bytes
Line 
1/****************************************
2*  Computer Algebra System SINGULAR     *
3****************************************/
4/* $Id: f5gb.h,v 1.8 2008-08-07 13:18:36 Singular Exp $ */
5/*
6* ABSTRACT: f5gb interface
7*/
8#ifndef F5_HEADER
9#define F5_HEADER
10
11#ifdef HAVE_F5
12#include "lpolynom.h"
13
14
15// structure of the rules, i.e. index and term
16struct rule
17{
18        long index;
19        poly term;
20};
21
22
23// sort polynomials in ideal i by decreasing total degree
24void qsort_degree(poly* left, poly* right);
25
26
27/* computes incrementally gbs of subsets of the input
28** gb{f_m} -> gb{f_m,f_(m-1)} -> gb{f_m,...,f_1} 
29*/
30lpoly* f5_inc(lpoly* lp, lpoly* g_prev);
31
32
33// main function of our f5 implementation
34ideal F5main(ideal i, ring r);
35#endif
36#endif
37
Note: See TracBrowser for help on using the repository browser.