Index: apps/polytope/rules/initial.rules
===================================================================
--- apps/polytope/rules/initial.rules	(revision 10306)
+++ apps/polytope/rules/initial.rules	(revision 10375)
@@ -17,19 +17,16 @@
 
 object Polytope {
 
-rule initial : FEASIBLE : INEQUALITIES | EQUATIONS {
+rule initial : FEASIBLE : {
   $this->FEASIBLE = cdd_input_feasible($this);
 }
+precondition : exists(INEQUALITIES | EQUATIONS);
 
-rule initial : FEASIBLE, POINTED : POINTS | VERTICES {
+
+rule initial : FEASIBLE : {
   $this->FEASIBLE = ($this->POINTS | VERTICES)->rows;
-  my $LS=$this->lookup("LINEALITY_SPACE | INPUT_LINEALITY");
-  if (defined($LS) && $LS->rows) {
-    $this->POINTED = 0;
-  } else {
-    $this->POINTED = $this->FEASIBLE;
-  }
 }
+precondition : exists(POINTS | VERTICES);
 
 }