wneuper/isa: test/Tools/isac/ADDTESTS/course/CADGME/example

     3 theory example_1 imports Isac.Isac_Knowledge

     4 begin

     6 section \<open>Equation Solving\<close>

     7 text \<open>Setup equation, Eval Tree,\ldots\<close>

     9 ML \<open>

    10   val expr = ["equality (-1 + -2 * z + 8 * z \<up> 2 = (0::real))",

    11               "solveFor z", "solutions L"];

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

    13     ("Isac_Knowledge",

    14       ["abcFormula", "degree_2", "polynomial", "univariate", "equation"],

    15       ["no_met"]);

    16 \<close>

    18 text \<open>Step through the Calculation\<close>

    20 ML \<open>

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

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

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

    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;

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

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

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

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

    36 \<close>

    38 ML \<open>

    39  f2str f;

    40  Test_Tool.show_pt pt;

    41 \<close>

    43 end

author	wneuper <walther.neuper@jku.at>
	Tue, 20 Apr 2021 16:58:44 +0200
changeset 60242	73ee61385493
parent 59997	46fe5a8c3911
child 60571	19a172de0bb5
permissions	-rw-r--r--