1.1 --- a/test/Tools/isac/Knowledge/eqsystem.sml	Thu Dec 19 12:40:17 2019 +0100
     1.2 +++ b/test/Tools/isac/Knowledge/eqsystem.sml	Thu Dec 19 16:41:57 2019 +0100
     1.3 @@ -519,7 +519,7 @@
     1.4  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
     1.5  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
     1.6  val (p,_,f,nxt,_,pt) = me nxt p c pt;
     1.7 -case nxt of ("Specify_Method",_) => ()
     1.8 +case nxt of Specify_Method ["EqSystem", "normalise", "2x2"] => ()
     1.9  	  | _ => error "eqsystem.sml [EqSystem,normalise,2x2] specify";
    1.10  
    1.11  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.12 @@ -529,7 +529,7 @@
    1.13  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.14  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.15  case nxt of
    1.16 -    (_, Subproblem ("Biegelinie", ["triangular", "2x2", "LINEAR",_])) => ()
    1.17 +    (Subproblem ("Biegelinie", ["triangular", "2x2", "LINEAR",_])) => ()
    1.18    | _ => error "eqsystem.sml me [EqSystem,normalise,2x2] SubProblem";
    1.19  
    1.20  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.21 @@ -537,7 +537,7 @@
    1.22  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.23  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.24  case nxt of
    1.25 -    (_, Specify_Method ["EqSystem", "top_down_substitution", "2x2"]) => ()
    1.26 +    (Specify_Method ["EqSystem", "top_down_substitution", "2x2"]) => ()
    1.27    | _ => error "eqsystem.sml me [EqSys...2x2] top_down_substitution";
    1.28  
    1.29  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.30 @@ -557,14 +557,14 @@
    1.31  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.32  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.33  case nxt of
    1.34 -    (_, Check_Postcond ["triangular", "2x2", "LINEAR", "system"]) => ()
    1.35 +    (Check_Postcond ["triangular", "2x2", "LINEAR", "system"]) => ()
    1.36    | _ => error "eqsystem.sml me Subpbl .[EqSys...2x2] finished";
    1.37  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.38  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.39  if f2str f = "[c = L * q_0 / 2, c_2 = 0]" then ()
    1.40  else error "eqsystem.sml me [EqSys...2x2] finished f2str f";
    1.41  case nxt of
    1.42 -    (_, End_Proof') => ()
    1.43 +    (End_Proof') => ()
    1.44    | _ => error "eqsystem.sml me [EqSys...2x2] finished End_Proof'";
    1.45  
    1.46  "----------- me [linear,system] ..normalise..top_down_sub..-------";
    1.47 @@ -585,7 +585,7 @@
    1.48  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.49  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.50  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.51 -case nxt of (_,Specify_Method ["EqSystem", "normalise", "2x2"]) => ()
    1.52 +case nxt of (Specify_Method ["EqSystem", "normalise", "2x2"]) => ()
    1.53  	  | _ => error "eqsystem.sml [linear,system] specify b";
    1.54  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.55  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.56 @@ -597,7 +597,7 @@
    1.57  "[c_2 = 0, L * c + c_2 = -1 * q_0 * L ^^^ 4 / (24 * EI)]"
    1.58  then () else error "eqsystem.sml me simpl. before SubProblem b";
    1.59  case nxt of
    1.60 -    (_, Subproblem ("Biegelinie", ["triangular", "2x2", "LINEAR",_])) => ()
    1.61 +    (Subproblem ("Biegelinie", ["triangular", "2x2", "LINEAR",_])) => ()
    1.62    | _ => error "eqsystem.sml me [linear,system] SubProblem b";
    1.63  
    1.64  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.65 @@ -605,7 +605,7 @@
    1.66  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.67  val (p,_,f,nxt,_,pt) = me nxt p c pt;val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.68  case nxt of
    1.69 -    (_, Specify_Method ["EqSystem", "top_down_substitution", "2x2"]) => ()
    1.70 +    (Specify_Method ["EqSystem", "top_down_substitution", "2x2"]) => ()
    1.71    | _ => error "eqsystem.sml me [EqSys...2x2] top_down_substitution b";
    1.72  
    1.73  val (p,_,f,nxt,_,pt) = me nxt p c pt;
    1.74 @@ -625,7 +625,7 @@
    1.75  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.76  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.77  case nxt of
    1.78 -    (_, Check_Postcond ["triangular", "2x2", "LINEAR", "system"]) => ()
    1.79 +    (Check_Postcond ["triangular", "2x2", "LINEAR", "system"]) => ()
    1.80    | _ => error "eqsystem.sml me Subpbl .[EqSys...2x2] finished b";
    1.81  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.82  val (p,_,f,nxt,_,pt) = me nxt p c pt;f2str f;
    1.83 @@ -633,7 +633,7 @@
    1.84  if f2str f = "[c = -1 * q_0 * L ^^^ 3 / (24 * EI), c_2 = 0]"
    1.85  then () else error "eqsystem.sml me [EqSys...2x2] finished f2str f b";
    1.86  case nxt of
    1.87 -    (_, End_Proof') => ()
    1.88 +    (End_Proof') => ()
    1.89    | _ => error "eqsystem.sml me [EqSys...2x2] finished End_Proof'";
    1.90  
    1.91