answered 2025-06-25 16:34:43 +0200
Use floor() function - like
floor()
x,n = var('x,n') sum(floor(x/3),x,0,n)
Instead of n%3 you can use n - 3*floor(n/3).
n%3
n - 3*floor(n/3)