|
|
|
last edited 8 years ago by test1 |
Edit detail for SandBox Trace with )math revision 3 of 4
| 1 2 3 4 | ||
|
Editor: test1
Time: 2015/06/01 19:05:25 GMT+0 |
||
| Note: | ||
added:
Basically, anything containing types, will cause trouble when tracing without
')math'. Namely, types usually have many fields, one field contains lists
of operations which may be quite long. Worse yet, typical types contain
several other types. So printing type means printing huge, deeply nested
data structure which leads to unreadable result. During printing this
looks like an infinite loop, but given enough time and memory it will
eventually finish. Now, Spad functions contain a type (namely domain in
which they are defined). So anything containing functions (which happens
frequently) also contains a type).
The addition of )math below stopped the infinite loop from occurring!
For the version without )math, see [SandBox Trace in Windows]? :
\begin{axiom}
)trace INT
)trace EXPR INT )math -- added, I thought, to surpress output, but expecting same error
)trace SMP
1::EXPR INT
\end{axiom}
Basically, anything containing types, will cause trouble when tracing without
)math. Namely, types usually have many fields, one field contains lists
of operations which may be quite long. Worse yet, typical types contain
several other types. So printing type means printing huge, deeply nested
data structure which leads to unreadable result. During printing this
looks like an infinite loop, but given enough time and memory it will
eventually finish. Now, Spad functions contain a type (namely domain in
which they are defined). So anything containing functions (which happens
frequently) also contains a type).