Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Minisubpbl/450-Rewrite_Set_Inst.sml
author Walther Neuper <wneuper@ist.tugraz.at>
Thu, 10 Jan 2019 18:17:48 +0100
changeset 59492 b4fdc7f6bcc7
child 59749 cc3b1807f72e
permissions -rw-r--r--
[-Test_Isac] funpack: adapt substitution to type "char string" 
     1 (* Title:  450-Rewrite_Set_Inst.sml

     2    Author: Walther Neuper 1803

     3    (c) copyright due to lincense terms.

     4 *)

     5 

     6 "----------- Minisubplb/450-Rewrite_Set_Inst.sml -----------------";

     7 "----------- Minisubplb/450-Rewrite_Set_Inst.sml -----------------";

     8 "----------- Minisubplb/450-Rewrite_Set_Inst.sml -----------------";

     9 val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"];

    10 val (dI',pI',mI') =

    11    ("Test", ["sqroot-test","univariate","equation","test"],

    12     ["Test","squ-equ-test-subpbl1"]);

    13 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];

    14 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    15 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    16 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    17 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    18 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    19 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    20 val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Apply_Method ["Test", "squ-equ-test-subpbl1"]*)

    21 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    22 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    23 val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Subp ["LINEAR", "univariate", "equation", "test"]*)

    24 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    25 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    26 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    27 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    28 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    29 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    30 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    31 val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Apply_Method ["Test", "solve_linear"]*)

    32 val (p,_,f,nxt,_,pt) = me nxt p [] pt; (*nxt = Rewrite_Set_Inst isolate_bdv*);

    33 case nxt of ("Rewrite_Set_Inst", Rewrite_Set_Inst (["(''bdv'', x)"], "isolate_bdv")) => ()

    34 | _ => error "Rewrite_Set_Inst changed";
wneuper/isa