21int hasOne( ideal J,
const ring r );
BOOLEAN hasAxis(ideal J, int k, const ring r)
BOOLEAN hasLinearTerm(poly h, const ring r)
int hasOne(ideal J, const ring r)
BOOLEAN ringIsLocal(const ring r)
poly computeWC(const newtonPolygon &np, Rational max_weight, const ring r)
BOOLEAN hasConstTerm(poly h, const ring r)
BOOLEAN hasTermOfDegree(poly h, int d, const ring r)
void computeNF(ideal stdJ, poly hc, poly wc, spectrumPolyList *NF, const ring r)