File: cube-10codim.in

package info (click to toggle)
normaliz 3.9.4%2Bds-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 27,624 kB
  • sloc: cpp: 39,173; makefile: 2,008; python: 715; sh: 6
file content (31 lines) | stat: -rw-r--r-- 334 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
 
amb_space 11
hom_constraints 20 symbolic
x[1] >= 0;
x[2] >= 0;
x[3] >= 0;
x[4] >= 0;
x[5] >= 0;
x[6] >= 0;
x[7] >= 0;
x[8] >= 0;
x[9] >= 0;
x[10] >= 0;


x[1] <= 1;
x[2] <= 1;
x[3] <= 1;
x[4] <= 1;
x[5] <= 1;
x[6] <= 1;
x[7] <= 1;
x[8] <= 1;
x[9] <= 1;

x[10] <= 1;

grading
unit_vector 11
NoMatricesOutput
FVector
face_codim_bound 3