1.1 --- a/src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex Sat Apr 17 18:44:27 2021 +0200
1.2 +++ b/src/Tools/isac/Doc/Specify_Phase/document/user-requirements.tex Sun Apr 18 12:42:22 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