File: j462.in

package info (click to toggle)
normaliz 3.11.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 40,448 kB
  • sloc: cpp: 48,104; makefile: 2,247; sh: 1
file content (27 lines) | stat: -rw-r--r-- 375 bytes parent folder | download | duplicates (5)
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
amb_space 5
inequalities 8
1 0 0 0 0
0 1 0 0 0
0 0 1 0 0
0 0 0 1 0

-1 0 0 0 1
0 -1 0 0 1
0 0 -1 0 1
0 0 0 -1 1
equations 1
-1 -1 -1 -1 2
grading 
unit_vector 5
polynomial
x[1]*x[2]*x[3]*x[4]*x[1]*x[2]*x[3]*x[4]*
(x[1]-x[2])*(x[1]-x[2])*
(x[1]-x[3])*(x[1]-x[3])*
(x[1]-x[4])*(x[1]-x[4])*
(x[2]-x[3])*(x[2]-x[3])*
(x[2]-x[4])*(x[2]-x[4])*
(x[3]-x[4])*(x[3]-x[4]);
Integral