polytope:functions:transformations:bound