Maple and Macsyma incorrectly give x floor x for integrate(floor(x),x). (Integrals are continuous.) Mma abstains. The answer is ceiling(x) floor(x) + 1 (x - ----------) (ceiling(x) - 1) = floor(x) (x - ------------), 2 2 (products of discontinuous functions). More generally, one can find (e.g., by undetermined coefficients) a polynomial(floor x) of degree p+q which, when added to x^p floor(x)^q, renders the sum continuous. E.g., / 4 4 8 7 [ 3 4 x floor (x) floor (x) 2 floor (x) I x floor (x) dx = ------------ - --------- - ----------- ] 4 8 7 / 5 3 3 floor (x) floor (x) 23 floor(x) + ----------- - --------- + -----------. 10 6 840 How does one seek in EIS a two-parameter family of polynomials with rational coefficents (presumably named Smarandache)? --rwg UNDERAGES UNGREASED DUNGAREES