Updated: local

Index Return to Main Contents

The hat-detect browser asks you questions, so the basic mode of interaction is to type answers:

**yes**- Yes, the equation looks correct by my understanding of the meaning of the function.
**no**- No, the equation looks incorrect. Given the displayed arguments, the function is returning the wrong result.
**maybe**- I am not sure whether this equation is correct. Continue, but ask me about this question again if it turns out to be relevant.

The following other commands are available. They each begin with a colon. A command can be abbreviated to its shortest non-ambiguous prefix.

**:quit**- Exit the interactive tool.
**:help [cmd]**-
Shows help text giving an overview of the commands available, or if a
command name
*cmd*is given, shows more detailed help about that command. Also*:help query*shows the detailed syntax of observation queries.**:set [flag]**With no argument, shows all current mode settings. Given an argument, it changes that mode and reports the new setting. The flag argument is one of: - uneval [on|off]
- show unevaluated expressions in full (default off)
- strSugar [on|off]
- sugar character strings (default on)
- listSugar [on|off]
- sugar lists (default on)
- recursive [on|off]
- ask about recursive calls (default on)
- qualified [on|off]
- show all identifiers qualified (default off)
- equations [on|off]
- show rhs of equations (default on)
- [all|unique]
- ask about all relevant equations (even duplicates) or only unique (default all)
- group n
- number of equations listed per page (default 10)
- cutoff n
- cut-off depth for deeply nested exprs (default 10)
**:+[n]**- Short-cut to increase the cutoff depth by <n> (default 1)
**:-[n]**-
Short-cut to decrease the cutoff depth by <n> (default 1)
**:source n**- Shows (in a separate window) the source code for the application usage of the numbered equation.
**:Source n**- Shows (in a separate window) the source code for the function definition of the numbered equation.
**:detect n**- Start a fresh copy of hat-detect in a new window, beginning with the numbered equation.
**:trail n**- Start the hat-trail browser in a new window, beginning with the numbered equation.
**:observe [query]**- With no argument, an interactive hat-observe window is started for the same traced program. Given a query argument, the new window starts with an immediate search for the expression pattern before giving an interactive prompt.
**:resize**- After resizing a window, use this command to inform the tool to detect the change in size, so that pretty-printing can fit the screen.
**:trust**- Trust all applications of the current function. This causes the system to assume the answer to any question involving this function is yes.
**:untrust**-
Cease all in-browser trusting of function identifiers. Reverts to
nothing trusted.

**/usr/local/bin/hat-detect**-

- NAME
- SYNOPSIS
- DESCRIPTION
- INTERACTIVE COMMANDS
- FILES
- SEE ALSO

This document was created by man2html, using the manual pages.

Time: 15:48:36 GMT, July 03, 2003