1.1 --- a/test/Tools/isac/Interpret/li-tool.sml	Tue Oct 03 16:33:54 2023 +0200
     1.2 +++ b/test/Tools/isac/Interpret/li-tool.sml	Wed Oct 25 12:34:12 2023 +0200
     1.3 @@ -295,6 +295,15 @@
     1.4  (*[], Met*)val (p,_,f,nxt,_,pt) = me nxt p c pt; val Add_Given "AbleitungBiegelinie y'" = nxt
     1.5  (*[], Met*)val (p,_,f,nxt,_,pt) = me nxt p c pt; val Add_Given "Biegemoment M_b" = nxt
     1.6  (*[], Met*)val (p,_,f,nxt,_,pt) = me nxt p c pt; val Add_Given "Querkraft Q" = nxt
     1.7 +
     1.8 +(*/---with M_Model.match_itms_oris broken elementwise input to lists---\*)
     1.9 +(*NEW match_itms_oris*)
    1.10 +(*[], Met*)val (p,_,f,nxt,_,pt) = me nxt p c pt; val Add_Given "GleichungsVariablen [c]" = nxt
    1.11 +(*NEW*)(*[], Met*)val (p,_,f,nxt,_,pt) = me nxt p c pt; val Add_Given "GleichungsVariablen [c_2, c_3, c_4]" = nxt
    1.12 +(*NEW*)(*[], Met*)val (p,_,f,nxt,_,pt) = me nxt p c pt; val Apply_Method ["IntegrierenUndKonstanteBestimmen2"] = nxt
    1.13 +(*\---with M_Model.match_itms_oris broken elementwise input to lists---/*)
    1.14 +
    1.15 +(*--------------------- @ {context}----------------------------------------------
    1.16  (*[], Met*)val (p,_,f,nxt,_,pt) = me nxt p c pt; val Add_Given "GleichungsVariablen [c, c_2, c_3, c_4]" = nxt
    1.17  
    1.18  (*[], Met*)val return_me_Add_Given_GleichungsVariablen
    1.19 @@ -453,3 +462,5 @@
    1.20  (* final test ... ----------------------------------------------------------------------------*)
    1.21  (*+*)val ([], Met) = p
    1.22  (*+*)val Apply_Method ["IntegrierenUndKonstanteBestimmen2"] = nxt
    1.23 + --------------------- @ {context}----------------------------------------------*)
    1.24 +