source: git/Singular/spolys.h @ 82716e

spielwiese
Last change on this file since 82716e was f92fa13, checked in by Olaf Bachmann <obachman@…>, 26 years ago
1998-03-16 Olaf Bachmann <obachman@mathematik.uni-kl.de> * polys-impl.h: #define COMP_FAST * configure.in,Makefile.in: check for flex -P; increased version number to 1.1.7 1998-03-04 Olaf Bachmann <obachman@mathematik.uni-kl.de> * febase.h: added macro assume() * spSpolyLoop.cc: Automatic generation of SpolyLoops using spSpolyLoop.pl * kstd*.cc: New calling interface to get SpolyLoop * ring.h: Introduced rOrderType_t git-svn-id: file:///usr/local/Singular/svn/trunk@1236 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 906 bytes
Line 
1#ifndef SPOLYS_H
2#define SPOLYS_H
3/****************************************
4*  Computer Algebra System SINGULAR     *
5****************************************/
6/*
7* ABSTRACT: s-polynomials
8*/
9/* $Id: spolys.h,v 1.5 1998-03-16 14:56:45 obachman Exp $ */
10#include "structs.h"
11#include "spSpolyLoop.h"
12
13/* reduction */
14extern poly (*spSpolyRed)(poly p1, poly p2,poly spNoether,
15                          spSpolyLoopProc spSpolyLoop);
16extern void (*spSpolyTail)(poly p1, poly q, poly q2, poly spNoether,
17                           spSpolyLoopProc spSpolyLoop);
18extern poly (*spSpolyRedNew)(poly p1, poly p2,poly spNoether,
19                             spSpolyLoopProc spSpolyLoop);
20
21/* s-polynomial */
22extern poly (*spSpolyCreate)(poly p1, poly p2,poly spNoether);
23
24/* short s-polynomial for ordering in Bba and Mora */
25extern poly (*spSpolyShortBba)(poly p1, poly p2);
26
27/* init */
28void spSet(ring r);
29#endif
30
Note: See TracBrowser for help on using the repository browser.