File: grassmann2_5.cone

package info (click to toggle)
gfan 0.7-4
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 12,680 kB
  • sloc: cpp: 63,081; makefile: 632
file content (16 lines) | stat: -rw-r--r-- 163 bytes parent folder | download | duplicates (9) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
{
f*i-e*j,
d*h-c*i,
d*f+a*j,
d*e+a*i,
c*e+a*h}
{
f*i-g*h-e*j,
d*h-c*i+b*j,
d*f-c*g+a*j,
d*e-b*g+a*i,
c*e-b*f+a*h}
{
(3,6,8,9,0,1,2,4,5,7),
(0,6,5,4,3,2,1,9,8,7)
}