1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
|
import PyNormaliz
equations = [
[1,1,1,1,-1,-1,-1,-1,0,0,0,0,0,0,0,0],
[1,1,1,1,0,0,0,0,-1,-1,-1,-1,0,0,0,0],
[1,1,1,1,0,0,0,0,0,0,0,0,-1,-1,-1,-1],
[0,1,1,1,-1,0,0,0,-1,0,0,0,-1,0,0,0],
[1,0,1,1,0,-1,0,0,0,-1,0,0,0,-1,0,0],
[1,1,0,1,0,0,-1,0,0,0,-1,0,0,0,-1,0],
[1,1,1,0,0,0,0,-1,0,0,0,-1,0,0,0,-1],
[0,1,1,1,0,-1,0,0,0,0,-1,0,0,0,0,-1],
[1,1,1,0,0,0,-1,0,0,-1,0,0,-1,0,0,0]]
grading = [1,1,1,1,0,0,0,0,0,0,0,0,0,0,0,0]
c = PyNormaliz.Cone( equations = equations, grading = grading)
|