documentation:release:4.12:polytope:propagatedpolytope