source: git/kernel/f5gb.h @ 948192

jengelh-datetimespielwiese
Last change on this file since 948192 was 948192, checked in by Christian Eder, 15 years ago
implementation of labeled polynomials git-svn-id: file:///usr/local/Singular/svn/trunk@10944 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 757 bytes
Line 
1/****************************************
2*  Computer Algebra System SINGULAR     *
3****************************************/
4/* $Id: f5gb.h,v 1.7 2008-08-05 20:44:08 ederc Exp $ */
5/*
6* ABSTRACT: f5gb interface
7*/
8#ifndef F5_HEADER
9#define F5_HEADER
10#include "mod2.h"
11#include "lpolynom.h"
12
13#ifdef HAVE_F5
14
15
16// structure of the rules, i.e. index and term
17struct rule{
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.