Return to asir0.k CVS log | Up to [local] / OpenXM / src / k097 / debug |
version 1.3, 2001/01/05 11:14:27 | version 1.4, 2001/01/08 05:26:51 | ||
---|---|---|---|
|
|
||
if (IsInteger(f)) return(f); | if (IsInteger(f)) return(f); | ||
if (IsPolynomial(f)) { | if (IsPolynomial(f)) { | ||
if (f == Poly("0")) return(0); | if (f == Poly("0")) return(0); | ||
if (Characteristic(Ringp(f)) != 0) return(f); | if (Characteristic(GetRing(f)) != 0) return(f); | ||
if (IsConstant(f)) return(DC(f,"integer")); | if (IsConstant(f)) return(DC(f,"integer")); | ||
return(f); | return(f); | ||
} | } |