Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
tutorial:ilp_and_hilbertbases [2014/01/03 15:45] – external edit 127.0.0.1 | user_guide:ilp_and_hilbertbases [2019/01/25 09:27] – ↷ Page moved from tutorial:ilp_and_hilbertbases to user_guide:ilp_and_hilbertbases oroehrig | ||
---|---|---|---|
Line 71: | Line 71: | ||
0 0 0 2 | 0 0 0 2 | ||
- | polytope > $scaled_rs=new Polytope< | + | polytope > $scaled_rs=new Polytope< |
</ | </ | ||