creation time≡1614891869
modification time≡1619635525
{top,bottom}=sides
sides∋x↦y↦(. where (.⊂x)× . nearest to c ×(symmetries(c)⊃{D(x),end-extrusion-size-permute})×(.∈X))
sides:((ℝ³→2)→ℕ→ℝ³)
cylinder:ℝ²→ℝ³→2
cylinder=(s↦r↦bool(((r₁,r₂)∈circle(s₁))+(((r₀=0)+(r₀=s₀))→((r₁,r₂)∈circle(s₁)))))
a surface cleaner consisting of
 (a=(cylinder((x,1))))×(a:ℝ)
  x-wheels≡h located at positions {(0,0,0),(s,0,0)}
   all h have D(n)-symmetric ball bearings on the outside
   all h have gyroscope and accelerometer in the center
  (cleaner mechanism=b)×(input(b)⊂bottom(a)(4))
  pump=d
   output(d)⊂top(offset(a,(0,0,-1)))(4)
   input(d)=output(b)
   output(d)=input(e)
   input(f)=output(e)
    a connector ring
   f=detatchable(tube(circle(1)))
    a bendable radial zig-zag tube
   g=trash can
    a sealed matter container
   output(f)=input(g)
    a valve
  a has gyroscopes and accelerometers and pendulums inside x-mirrored at x/2 not touching output(d)
the design of 0th with the wheels replaced with spheres for rolling+storage