apply reln fn interval condition declare lambda domainofapp piecewise piece otherwise lowlimit uplimit bvar degree set list moment momentabout vector matrix matrixrow semantics annotation