1.1 --- a/src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex	Sun Apr 18 13:01:05 2021 +0200
     1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex	Sun Apr 18 13:11:05 2021 +0200
     1.3 @@ -93,6 +93,8 @@
     1.4  %----------------------------------------------------------------------------
     1.5  {\bf\UR{The screen-reader superimposes the Braille display \label{sreader-braille}}} in the software hierarchy, i.e. the former determines output of the latter.
     1.6  
     1.7 +{\bf\UR{Special keys can be defined by the user\label{def-spec-keys}}} for the Braille display.
     1.8 +
     1.9  \subsection{Specify Phase}
    1.10  %----------------------------------------------------------------------------
    1.11  {\bf\UR{Examples are selected from 
    1.12 @@ -110,7 +112,7 @@
    1.13  
    1.14  {\bf\UR{A Calculation can be completed with one keystroke\label{yyy}}} and 
    1.15  sub-Problems as well, when allowed by the User-Guide. See 
    1.16 -Exp.\ref{tab:calc-coll}.
    1.17 +Expl.\ref{tab:calc-coll}.
    1.18  
    1.19  {\bf\UR{Switching between survey and detail\label{yyy}}} is supported by 
    1.20  collapsing and expanding a Calculation, see Expl.\ref{tab:calc-exp} \dots 
    1.21 @@ -158,31 +160,44 @@
    1.22  {\bf\UR{The Braille-format can be changed\label{braille-format}}} to different 
    1.23  standards.
    1.24  
    1.25 +{\bf\UR{Braille-format can be displayed also in the standard frontend\label{braille-format-standard}}}, in particular for authoring purposes.
    1.26 +
    1.27 +{\bf\UR{Semantic information is available for all elements of 
    1.28 +terms.\label{term-semantic}}} Such information is:
    1.29 +\begin{compactenum}
    1.30 +\item the type for constants and variables by a pop-up.
    1.31 +\item the scope of a variable by (TODO ``internal'' and ``global'' seems to 
    1.32 +coarse).
    1.33 +\item the definition of constants and variables by jumping to the respective 
    1.34 +location, probably in another file.
    1.35 +\end{compactenum}
    1.36 +
    1.37 +{\bf\UR{On the Braille lines of pop-ups start with a special character\label{indicate-popup}}}, TODO? ``\#''.
    1.38 +
    1.39  {\bf\UR{Sub-terms are presented as strings\label{sub-term-str}}} the same way 
    1.40 -as whole terms. The location within the whole term is indicated by ?TODO?
    1.41 +as whole terms. ?TODO? show location within the whole term.
    1.42  
    1.43  {\bf\UR{A term can be shown as a tree\label{term-tree}}} if requested by a 
    1.44 -special key, TODO. The key followed by an integer argument determines the 
    1.45 -depth of the tree. For instance $<$TODO 1$>$ displays the term 
    1.46 -$\frac{\frac{1}{x}}{\frac{2}{y}}$ 
    1.47 +special key, TODO SK1. The key followed by an integer argument determines the 
    1.48 +depth of the tree. For instance $<$SK1 2$>$ displays the term 
    1.49 +$\frac{\frac{1}{x+2*y}}{\frac{3}{z}}$ 
    1.50  \begin{tabbing}
    1.51 -with argument \=$/$ \=1 / x 1234567890\=$/$ \=$/$ \=\=\kill
    1.52 -with argument \>$1$ \>                \>$2$       \\
    1.53 -              \>$/$ \>                \>$/$       \\
    1.54 -              \>    \> 1 / x          \>\>$/$     \\
    1.55 -              \>    \> 2 / y          \>\>\> 1    \\
    1.56 -              \>    \>                \>\>\> x    \\
    1.57 -              \>    \>                \>\>$/$     \\
    1.58 -              \>    \>                \>\>\> 2    \\
    1.59 -              \>    \>                \>\>\> y
    1.60 +123\=\#3.2 \=$/$ \=$/$ \=    \kill
    1.61 +   \>\#    \>$/$     \\
    1.62 +   \>\#1   \>\>$/$     \\
    1.63 +   \>\#1.1 \>\>\> 1    \\
    1.64 +   \>\#1.2 \>\>\> x + 2 * y\\
    1.65 +   \>\#2.  \>\>$/$     \\
    1.66 +   \>\#2.1 \>\>\> 3    \\
    1.67 +   \>\#2.2 \>\>\> z
    1.68  \end{tabbing}
    1.69 -TODO?: ``Dann eine Taste definieren, durch deren Dr\"ucken das Innere des 
    1.70 -ersten Klammerpaares - Z\"ahler - genauer angezeigt wird, sobald sich der 
    1.71 -Cursor auf einer der begrenzenden Klammern befindet.
    1.72 -Umgekehrt: Stehe ich irgendwo im Z\"ahler eines Bruches, dann soll es eine 
    1.73 -Taste geben, mit der sich der Z\"ahler zu einem geschweiften Klammerpaar 
    1.74 -verdichtet, vielleicht sogar eine Taste, mit der der Nenner das gleichzeitig 
    1.75 -auch tut.''
    1.76 +Note that there are operators with different arity, for instance arity one for $\sin$, arity two for $+$ and arity four for $\int^a_b\;f(x)\;dx{}$.
    1.77 +
    1.78 +{\bf\UR{Structure of the tree representation\label{yyy}}} of a term is (?TODO\dots) indicated by integer lists as shown in the example of UR\ref{term-tree}.
    1.79 +
    1.80 +{\bf\UR{Collapsing and expanding of the tree representation \label{term-coll-exp}}} for a term follow the rules established for file browsers.
    1.81 +
    1.82 +{\bf\UR{Special keys lead to the node at the deepest level\label{yyy}}} and ?TODO?
    1.83  
    1.84  {\bf\UR{Navigation through sub-terms is hierarchical\label{navi-sub-terms}}} 
    1.85  and supported by a special key combined with the arrow keys as follows:
    1.86 @@ -197,16 +212,6 @@
    1.87  indication at the bottom.
    1.88  \end{compactenum}
    1.89  
    1.90 -{\bf\UR{Semantic information is available for all elements of 
    1.91 -terms.\label{term-semantic}}} Such information is:
    1.92 -\begin{compactenum}
    1.93 -\item the type for constants and variables by a pop-up.
    1.94 -\item the scope of a variable by (TODO ``internal'' and ``global'' seems to 
    1.95 -coarse).
    1.96 -\item the definition of constants and variables by jumping to the respective 
    1.97 -location, probably in another file.
    1.98 -\end{compactenum}
    1.99 -
   1.100  %{\bf\UR{xxx.\label{yyy}}}
   1.101  
   1.102