As is previously mentioned, Asir reads in the file
`$HOME/.dbxinit' at its invocation.
This file is originally used to define various initializing commands
dbx debugger, but Asir recognizes only
lines. For example, by the setting
% cat ~/.dbxinit alias n next alias c cont alias p print alias s step alias d delete alias r run alias l list alias q quit
one can use short aliases, e.g.,
c etc., for frequently
used commands such as
cont etc. One can create
new aliases in the debug-mode during an execution.
lex_hensel(La,[a,b,c],0,[a,b,c],0); stopped in gennf at line 226 in file "/home/usr3/noro/asir/gr" 226 N = length(V); Len = length(G); dp_ord(O); PS = newvect(Len); (debug) p V V = [a,b,c] (debug) c ...
Go to the first, previous, next, last section, table of contents.