| 1 | // ---------------------------------------------------------------------------- |
|---|
| 2 | // spectrum.h |
|---|
| 3 | // begin of file |
|---|
| 4 | // Stephan Endrass, endrass@mathematik.uni-mainz.de |
|---|
| 5 | // 23.7.99 |
|---|
| 6 | // ---------------------------------------------------------------------------- |
|---|
| 7 | |
|---|
| 8 | #ifndef SPECTRUM_H |
|---|
| 9 | #define SPECTRUM_H |
|---|
| 10 | #include <kernel/npolygon.h> |
|---|
| 11 | #include <kernel/splist.h> |
|---|
| 12 | |
|---|
| 13 | BOOLEAN spectrumProc ( leftv,leftv ); |
|---|
| 14 | BOOLEAN spectrumfProc( leftv,leftv ); |
|---|
| 15 | BOOLEAN spaddProc ( leftv,leftv,leftv ); |
|---|
| 16 | BOOLEAN spmulProc ( leftv,leftv,leftv ); |
|---|
| 17 | BOOLEAN semicProc ( leftv,leftv,leftv ); |
|---|
| 18 | BOOLEAN semicProc3 ( leftv,leftv,leftv,leftv ); |
|---|
| 19 | BOOLEAN hasTermOfDegree( poly h, int d, const ring r ); |
|---|
| 20 | int hasOne( ideal J, const ring r ); |
|---|
| 21 | BOOLEAN hasAxis( ideal J,int k, const ring r ); |
|---|
| 22 | poly computeWC( const newtonPolygon &np,Rational max_weight, const ring r ); |
|---|
| 23 | void computeNF( ideal stdJ,poly hc,poly wc,spectrumPolyList *NF, const ring r ); |
|---|
| 24 | void spectrumPrintError(spectrumState state); |
|---|
| 25 | BOOLEAN ringIsLocal( const ring r); |
|---|
| 26 | |
|---|
| 27 | BOOLEAN inline hasConstTerm( poly h, const ring r ) |
|---|
| 28 | { return hasTermOfDegree(h,0,r); } |
|---|
| 29 | BOOLEAN inline hasLinearTerm( poly h, const ring r ) |
|---|
| 30 | { return hasTermOfDegree(h,1,r); } |
|---|
| 31 | |
|---|
| 32 | |
|---|
| 33 | #endif |
|---|
| 34 | |
|---|
| 35 | // ---------------------------------------------------------------------------- |
|---|
| 36 | // spectrum.h |
|---|
| 37 | // end of file |
|---|
| 38 | // ---------------------------------------------------------------------------- |
|---|
