I have theoretical reasons to doubt the correctness of integrals involving `floor`.
The smallest testcases: sage: integrate(floor(x)^2,x) // Giac share root-directory:/usr/share/giac/ // Giac share root-directory:/usr/share/giac/ Added 0 synonyms x*floor(x)^2 sage: integrate(2**floor(x),x) 2^floor(x)*x Would someone check with another CAS or prove/disprove by hand? -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAGUWgD8C_AeV31g3J%2BbQP-am7dKUj2gK1OzPYrqXMiPh8-y5JQ%40mail.gmail.com.