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 wneuper <Walther.Neuper@jku.at>
Mon, 01 Jan 2024 11:31:16 +0100
changeset 60789 8fa678b678e8
parent 60725 25233d8f7019
permissions -rw-r--r--
Doc/Specify_Phase 4: start use antiquotations from isar-ref 
     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) = Test_Code.init_calc @{context} [(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; val Apply_Method ["Test", "squ-equ-test-subpbl1"] = nxt;

    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; val Subproblem ("Test", ["LINEAR", "univariate", "equation", "test"]) = nxt;

    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; val Apply_Method ["Test", "solve_linear"] = nxt;

    32 val (p,_,f,nxt,_,pt) = me nxt p [] pt; val Rewrite_Set_Inst (["(''bdv'', x)"], "isolate_bdv") = nxt;

    33
wneuper/isa