My Project
Loading...
Searching...
No Matches
spectrum.h
Go to the documentation of this file.
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
12
13/*BOOLEAN spectrumProc ( leftv,leftv );
14BOOLEAN spectrumfProc( leftv,leftv );
15BOOLEAN spaddProc ( leftv,leftv,leftv );
16BOOLEAN spmulProc ( leftv,leftv,leftv );
17BOOLEAN semicProc ( leftv,leftv,leftv );
18BOOLEAN semicProc3 ( leftv,leftv,leftv,leftv );*/ //TODO move to kernel
19
20BOOLEAN hasTermOfDegree( poly h, int d, const ring r );
21int hasOne( ideal J, const ring r );
22BOOLEAN hasAxis( ideal J,int k, const ring r );
23poly computeWC( const newtonPolygon &np,Rational max_weight, const ring r );
24void computeNF( ideal stdJ,poly hc,poly wc,spectrumPolyList *NF, const ring r );
25//void spectrumPrintError(spectrumState state);
26BOOLEAN ringIsLocal( const ring r);
27
28BOOLEAN inline hasConstTerm( poly h, const ring r )
29{ return hasTermOfDegree(h,0,r); }
30BOOLEAN inline hasLinearTerm( poly h, const ring r )
31{ return hasTermOfDegree(h,1,r); }
32
33
34#endif
35
36// ----------------------------------------------------------------------------
37// spectrum.h
38// end of file
39// ----------------------------------------------------------------------------
int BOOLEAN
Definition: auxiliary.h:87
int k
Definition: cfEzgcd.cc:99
STATIC_VAR Poly * h
Definition: janet.cc:971
BOOLEAN hasAxis(ideal J, int k, const ring r)
Definition: spectrum.cc:81
BOOLEAN hasLinearTerm(poly h, const ring r)
Definition: spectrum.h:30
int hasOne(ideal J, const ring r)
Definition: spectrum.cc:96
BOOLEAN ringIsLocal(const ring r)
Definition: spectrum.cc:461
poly computeWC(const newtonPolygon &np, Rational max_weight, const ring r)
Definition: spectrum.cc:142
BOOLEAN hasConstTerm(poly h, const ring r)
Definition: spectrum.h:28
BOOLEAN hasTermOfDegree(poly h, int d, const ring r)
Definition: spectrum.cc:46
void computeNF(ideal stdJ, poly hc, poly wc, spectrumPolyList *NF, const ring r)
Definition: spectrum.cc:309