ops for piecewise domain, constructure