login  home  contents  what's new  discussion  bug reports help  links  subscribe  changes  refresh  edit

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).