interpolary convolvable intersective linearizable approximable tileable computable uniformizable inscriptable semilinear