DEBSOURCES
Skip Quicknav
sources / normaliz / 3.11.1%2Bds-1 / example / cube_3.in
12345678910
amb_space 3 constraints 6 symbolic x[1] >= 0; x[2] >= 0; x[3] >= 0; x[1] <= 1; x[2] <= 1; x[3] <= 1; EuclideanAutomorphisms