spielwiese
Last change
on this file since 3b5daf was
3b5daf,
checked in by Christian Eder, 15 years ago
|
new labeled polynomial part
git-svn-id: file:///usr/local/Singular/svn/trunk@11206 2c84dea3-7e68-4137-9b89-c4e89433aadc
|
-
Property mode set to
100644
|
File size:
1.3 KB
|
Rev | Line | |
---|
[3b5daf] | 1 | /**************************************** |
---|
| 2 | * Computer Algebra System SINGULAR * |
---|
| 3 | ****************************************/ |
---|
| 4 | /* $Id: lpolynomial.h,v 1.1 2008-11-22 20:47:27 ederc Exp $ */ |
---|
| 5 | /* |
---|
| 6 | * ABSTRACT: f5gb interface |
---|
| 7 | */ |
---|
| 8 | #ifndef LPOLYNOMIAL_HEADER |
---|
| 9 | #define LPOLYNOMIAL_HEADER |
---|
| 10 | |
---|
| 11 | #ifdef HAVE_F5 |
---|
| 12 | |
---|
| 13 | |
---|
| 14 | // class of a labeled polynomial |
---|
| 15 | class lpoly |
---|
| 16 | { |
---|
| 17 | private: |
---|
| 18 | poly term; //term of signature |
---|
| 19 | long index; //index of signature |
---|
| 20 | poly polynomial; //standard polynomial data |
---|
| 21 | bool del; //for deletion in TopReduction Subalgorithm |
---|
| 22 | lpoly *next; //pointer on the next labeled polynomial in the list |
---|
| 23 | public: |
---|
| 24 | void setPoly(poly p); |
---|
| 25 | poly getPoly(); |
---|
| 26 | void setTerm(poly t); |
---|
| 27 | poly getTerm(); |
---|
| 28 | void setIndex(long i); |
---|
| 29 | long getIndex(); |
---|
| 30 | void setDel(bool b); |
---|
| 31 | bool getDel(); |
---|
| 32 | void setNext(lpoly *l); |
---|
| 33 | lpoly *getNext(); |
---|
| 34 | }; |
---|
| 35 | |
---|
| 36 | |
---|
| 37 | // structure of the critical pairs, just the addresses of the corresponding generator labeled polynomials |
---|
| 38 | struct critpair |
---|
| 39 | { |
---|
| 40 | lpoly *cp1; // first component |
---|
| 41 | lpoly *cp2; // second component |
---|
| 42 | critpair *next; // next critical pair |
---|
| 43 | }; |
---|
| 44 | |
---|
| 45 | |
---|
| 46 | #endif |
---|
| 47 | #endif |
---|
| 48 | |
---|
| 49 | |
---|
Note: See
TracBrowser
for help on using the repository browser.