1.1 --- a/src/Tools/isac/TODO.thy	Fri May 10 15:59:58 2019 +0200
     1.2 +++ b/src/Tools/isac/TODO.thy	Mon May 27 19:28:40 2019 +0200
     1.3 @@ -27,9 +27,56 @@
     1.4      input only the polynomial as argument of partial_function, in ([1], Frm) compile lhs "X z" ?
     1.5    \end{itemize}
     1.6  \item Test.thy: met_test_sqrt2: deleted?!
     1.7 -\item 
     1.8 +\item re-consideration whole of modelling- + specification-phase
     1.9 +  \begin{itemize}
    1.10 +  \item introduction of y, dy as arguments in IntegrierenUndKonstanteBestimmen2
    1.11 +    caused major problems:
    1.12 +    \begin{itemize}
    1.13 +    \item required "--- hack for funpack: generalise handling of meths which extend problem items"
    1.14 +      in order to make Test_Isac run again.
    1.15 +      \begin{itemize}
    1.16 +      \item see several locations of hack in code
    1.17 +      \item these locations are NOT sufficient, see
    1.18 +        test/../biegelinie-3.sml --- IntegrierenUndKonstanteBestimmen2: Bsp.7.70. auto ---
    1.19 +      \item "fun assod" "match_ags ..dI" instead "..pI" breaks many tests, however,
    1.20 +        this would be according to survey Notes (3) in src/../calchead.sml.
    1.21 +      \end{itemize}
    1.22 +    \end{itemize}
    1.23 +  \item decide, whether to start with hack or with general notes
    1.24 +    \begin{itemize}
    1.25 +    \item reconsidering Model.max_vt, use problem with meth ["DiffApp","max_by_calculus"]
    1.26 +    \item reconsider add_field': where is it used for what? Shift into mk_oris
    1.27 +    \item reconsider match_itms_oris: where is it used for what? max_vt ONLY???
    1.28 +    \item in Specify_Method search root-oris for items (e.g. "errorBound"), #1# in survey
    1.29 +    \item Specify_Problem, Specify_Method: check respective identifiers after re-Specify_
    1.30 +      (relevant for pre-condition)
    1.31 +    \item unify match_ags to mk_oris1..N with different args (fmz | pat list, pbl | meth
    1.32 +    \item 
    1.33 +    \end{itemize}
    1.34 +  \item other issues
    1.35 +    \begin{itemize}
    1.36 +    \item type model = itm list ?
    1.37 +    \item review survey Notes in src/../calchead.sml: they are questionable
    1.38 +    \item review copy-named, probably two issues commingled 
    1.39 +      \begin{itemize}
    1.40 +      \item special handling of "#Find#, because it is not a formal argument of partial_function
    1.41 +      \item special naming for solutions of equation solving: x_1, x_2, ...
    1.42 +      \end{itemize}
    1.43 +    \end{itemize}
    1.44 +  \end{itemize}
    1.45 +\item \item abstract specify + nxt_specif to common aux-funs;
    1.46 +  see e.g. "--- hack for funpack: generalise handling of meths which extend problem items ---"
    1.47 +\item \item 
    1.48 +\item \item 
    1.49 +\item \item 
    1.50    \begin{itemize}
    1.51    \item 
    1.52 +    \begin{itemize}
    1.53 +    \item 
    1.54 +      \begin{itemize}
    1.55 +      \item 
    1.56 +      \end{itemize}
    1.57 +    \end{itemize}
    1.58    \end{itemize}
    1.59  \end{itemize}
    1.60  \<close>