tests/ehrhart/e3.in

   1 7 8
   2     1    1    0    0    0    0    0    0
   3     1   -1    0    0    1    0    0    0
   4     1    0    1    0    0    0    0    0
   5     1    2   -1    0    0    1    0    0
   6     1    0    0    1    0    0    0    0
   7     1    1    0   -1   -1    0    1    0
   8     1    0    0    0    0    0    0    1
   9
  10 4 5
  11     1    0    1    0    0
  12     1    1    0    0    0
  13     1   -1    0    1    0
  14     1    0    0    0    1
  15
  16 P Q R
  17 3rd example
  18
  19 There was a (corrected) :
  20 -------------------------------------------
  21 Fault in Polyhedron_Scan
  22 at DomainIntersection:
  23   C1 =
  24 call Polyhedron_Print(yyout, " %4d", C1)
  25 POLYHEDRON Dimension:6
  26            Constraints:4  Equations:0  Rays:7  Lines:3
  27 Constraints 4 8
  28 Inequality: [    0    0    0  208 142380    1    0 ]
  29 Inequality: [    0    0    0    0    0    1   -1 ]
  30 Inequality: [    0    0    0    1    0    1    0 ]
  31 Inequality: [    0    0    0    0    0    0    1 ]
  32 Rays 7 8
  33 Line:   [    1    0    0    0    0    0 ]
  34 Line:   [    0    1    0    0    0    0 ]
  35 Line:   [    0    0    1    0    0    0 ]
  36 Ray:    [    0    0    0 35595  -52    0 ]
  37 Ray:    [    0    0    0    0    1    0 ]
  38 Ray:    [    0    0    0 -15820   23 15820 ]
  39 Vertex: [    0    0    0 -15820   23 15820 ]/15820
  40 call Polyhedron_Print(yyout, " %4d", D1)
  41 POLYHEDRON Dimension:6
  42            Constraints:5  Equations:0  Rays:7  Lines:2
  43 Constraints 5 8
  44 Inequality: [    1    0    0    0    0    0    0 ]
  45 Inequality: [   -1    0    0    1    0    0    0 ]
  46 Inequality: [    1    0    0   -1    0    1    0 ]
  47 Inequality: [    2    0    0    0    1    0    0 ]
  48 Inequality: [    0    0    0    0    0    0    1 ]
  49 Rays 7 8
  50 Line:   [    0    1    0    0    0    0 ]
  51 Line:   [    0    0    1    0    0    0 ]
  52 Ray:    [    0    0    0    0    1    0 ]
  53 Ray:    [    0    0    0    1    0    1 ]
  54 Ray:    [    1    0    0    1   -2    0 ]
  55 Vertex: [    0    0    0    0    0    0 ]/1
  56 Ray:    [    0    0    0    0    0    1 ]
  57
  58 I suspect align_context...
  59
  60 call Polyhedron_Print(yyout, " %4d", C)
  61 POLYHEDRON Dimension:3
  62            Constraints:4  Equations:0  Rays:4  Lines:0
  63 Constraints 4 5
  64 Inequality: [    0    1    0    0 ]
  65 Inequality: [    1    0    0    0 ]
  66 Inequality: [   -1    0    1    0 ]
  67 Inequality: [    0    0    0    1 ]
  68 Rays 4 5
  69 Ray:    [    1    0    1 ]
  70 Ray:    [    0    0    1 ]
  71 Ray:    [    0    1    0 ]
  72 Vertex: [    0    0    0 ]/1
  73 stopped in Polyhedron_Scan at line 435 in file "erhart.c"
  74   435      C1  = align_context(C, dim2, MAXRAYS);
  75  print dim2
  76 dim2 = 6
  77 print n
  78 `cca032041`align_context`n = 6
  79  call Matrix_Print(yyout, " %4d", M)
  80 4 8
  81     0    0    0    0    0    0    0    0
  82     0    0    0    0    0    0    0    0
  83     0    0    0    0    0    0    0    0
  84     0    0    0    0    0    0    0    0
  85 stopped in align_context at line 393 in file "erhart.c"
  86   393         for (i=0; i<P->NbConstraints; i++)
  87