User:Tomruen/mixed polytopes