Old Revisions These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it. 2019/01/25 13:40 Semantics of Cones and Polytopes – ↷ Page moved from user_guide:polytope_semantics to user_guide:tutorials:polytope_semantics oroehrig +5.4 KB 2019/01/25 09:27 user_guide:polytope_semantics – ↷ Page moved from tutorial:polytope_semantics to user_guide:polytope_semantics oroehrig +5.4 KB 2017/07/18 16:02 tutorial:polytope_semantics – [Special Cases] oroehrig +11 B 2017/07/18 16:00 tutorial:polytope_semantics – added code oroehrig +755 B 2017/03/29 14:04 tutorial:polytope_semantics – [Special Cases] hnagel -3 B 2014/01/03 15:45 tutorial:polytope_semantics – external edit 127.0.0.1 ±0 B 2011/12/19 14:40 tutorial:polytope_semantics – [Special Cases] paffenholz ±0 B 2011/11/23 17:56 tutorial:polytope_semantics – moved case distinction for VERTICES to extra paragraph joswig ±0 B 2011/11/23 17:53 tutorial:polytope_semantics – [Special Cases] joswig ±0 B 2011/11/23 15:25 tutorial:polytope_semantics – [General Remarks] explained the difference between undef. empty or not-existant assarf ±0 B 2011/11/21 19:09 tutorial:polytope_semantics – [Special Cases] joswig ±0 B 2011/11/21 15:47 tutorial:polytope_semantics – [Without coordinates: Combinatorics] there was a ")" too mutch assarf ±0 B 2011/11/21 15:36 tutorial:polytope_semantics – [Special Cases] joswig ±0 B 2011/11/21 15:35 tutorial:polytope_semantics – [With coordinates: Geometry] joswig ±0 B 2011/11/21 15:34 tutorial:polytope_semantics – [General Remarks] joswig ±0 B 2011/11/21 15:33 tutorial:polytope_semantics – [Without coordinates: Combinatorics] joswig ±0 B 2011/11/21 15:32 tutorial:polytope_semantics – [Special Cases] joswig ±0 B 2011/11/21 15:31 tutorial:polytope_semantics – [Objects of type ''Polytope''] joswig ±0 B 2011/11/21 15:27 tutorial:polytope_semantics – created joswig ±0 B Show differences between selected revisions user_guide/tutorials/polytope_semantics.txt Last modified: 2019/02/04 22:55by 127.0.0.1