DEBSOURCES
Skip Quicknav
sources / normaliz / 3.10.4%2Bds-1 / test / test-Int / zero-I.in
12345678
amb_space 1 inequalities 2 1 -1 polynomial 1/2+x[1]; Integral grading 1