Skip to content

Instantly share code, notes, and snippets.

@maxale

maxale/hilb_problem.in

Created May 30, 2024 14:34
Show Gist options
  • Save maxale/f1e1489cfdd5114ac4b0275531d3dc87 to your computer and use it in GitHub Desktop.
Save maxale/f1e1489cfdd5114ac4b0275531d3dc87 to your computer and use it in GitHub Desktop.
Download ZIP
Normaliz input file for the problem in https://mathoverflow.net/q/471887
Raw
hilb_problem.in
amb_space 18
constraints 18
0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 0 -1 0 <= -1
0 -1 -1 0 1 1 0 0 0 0 0 1 -1 0 -1 0 1 0 <= -1
0 1 -1 0 -1 0 0 0 0 0 0 0 1 0 -1 0 0 0 <= -1
0 0 1 -1 -1 0 0 0 0 1 0 0 0 0 -1 0 0 0 <= -1
0 -1 1 0 -1 0 0 -1 0 -1 0 -1 1 0 -1 0 -1 0 <= -1
0 -1 -1 0 1 -1 0 0 0 1 0 0 0 0 1 0 -1 0 <= -1
1 0 0 0 0 1 0 -1 0 -1 -1 -1 1 0 0 1 1 -1 <= -1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 <= -1
0 0 0 0 0 0 0 0 0 -1 0 0 0 0 0 0 0 0 <= -1
0 0 0 -1 1 0 1 0 0 0 0 1 -1 0 0 0 -1 0 <= -1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 <= -1
0 -1 0 0 1 0 -1 -1 0 -1 1 0 0 0 0 1 -1 -1 <= -1
0 1 0 0 0 1 -1 0 0 1 0 1 0 0 0 0 -1 0 <= -1
-1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 <= -1
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 <= -1
0 0 0 0 0 0 -1 0 0 0 1 0 0 0 0 -1 0 -1 <= -1
0 -1 -1 -1 0 1 0 0 0 0 0 0 1 0 0 0 -1 1 <= -1
0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 1 1 -1 0 <= -1
nonnegative
PrimalMode
NoBottomDec
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment