Loading...
Searching...
No Matches
spectrum.h
Go to the documentation of this file.
// ----------------------------------------------------------------------------
// spectrum.h
// begin of file
// Stephan Endrass, endrass@mathematik.uni-mainz.de
// 23.7.99
// ----------------------------------------------------------------------------
#ifndef SPECTRUM_H
#define SPECTRUM_H
#include "kernel/spectrum/npolygon.h"
#include "kernel/spectrum/splist.h"
/*BOOLEAN spectrumProc ( leftv,leftv );
BOOLEAN spectrumfProc( leftv,leftv );
BOOLEAN spaddProc ( leftv,leftv,leftv );
BOOLEAN spmulProc ( leftv,leftv,leftv );
BOOLEAN semicProc ( leftv,leftv,leftv );
BOOLEAN semicProc3 ( leftv,leftv,leftv,leftv );*/ //TODO move to kernel
BOOLEAN hasTermOfDegree( poly h, int d, const ring r );
int hasOne( ideal J, const ring r );
BOOLEAN hasAxis( ideal J,int k, const ring r );
poly computeWC( const newtonPolygon &np,Rational max_weight, const ring r );
void computeNF( ideal stdJ,poly hc,poly wc,spectrumPolyList *NF, const ring r );
//void spectrumPrintError(spectrumState state);
BOOLEAN ringIsLocal( const ring r);
BOOLEAN inline hasConstTerm( poly h, const ring r )
{ return hasTermOfDegree(h,0,r); }
BOOLEAN inline hasLinearTerm( poly h, const ring r )
{ return hasTermOfDegree(h,1,r); }
#endif
// ----------------------------------------------------------------------------
// spectrum.h
// end of file
// ----------------------------------------------------------------------------
BOOLEAN
int BOOLEAN
Definition auxiliary.h:88
k
int k
Definition cfEzgcd.cc:99
Rational
Definition GMPrat.h:15
newtonPolygon
Definition npolygon.h:62
spectrumPolyList
Definition splist.h:57
h
STATIC_VAR Poly * h
Definition janet.cc:971
npolygon.h
hasAxis
BOOLEAN hasAxis(ideal J, int k, const ring r)
Definition spectrum.cc:81
hasLinearTerm
BOOLEAN hasLinearTerm(poly h, const ring r)
Definition spectrum.h:30
hasOne
int hasOne(ideal J, const ring r)
Definition spectrum.cc:96
ringIsLocal
BOOLEAN ringIsLocal(const ring r)
Definition spectrum.cc:461
computeWC
poly computeWC(const newtonPolygon &np, Rational max_weight, const ring r)
Definition spectrum.cc:142
hasConstTerm
BOOLEAN hasConstTerm(poly h, const ring r)
Definition spectrum.h:28
hasTermOfDegree
BOOLEAN hasTermOfDegree(poly h, int d, const ring r)
Definition spectrum.cc:46
computeNF
void computeNF(ideal stdJ, poly hc, poly wc, spectrumPolyList *NF, const ring r)
Definition spectrum.cc:309
splist.h