WIT-Help

WIT
Web Intersection Theory
© S. Xambó

This page explains how to operate WIT, the Java interface to the Wit package. It also provides links to resources that explain the structure and functionality of the latter.

The WIT Java Interface

The WIT window. The input to the WIT system is entered in the WIT interface window. It can be entered from the keyboard or by loading a file. It is supposed to be text consisting of one or more valid expressions (these are described in the documentation linked below). The extension of the input file is immaterial (but note that for the examples we have chosen the extension 'wit').

About. This button links to an html file intended to keep track of the development of the WIT interface.

Browse. To search for an input file and load its full name in the slot on the left of the Browse button.

Examples. Lists files available in the WIT server. Their extension is 'wit'.

Help. Links to this page.

Load. Loads into the WIT window the file in the Browse slot. Remember that the extension is immaterial, provided the file is a text file.

LoadExample. Loads the selected example file.

Run. Sends the input in the WIT window to the Wit engine and returns the result in the same window.

Save. Allows to save the input expressions in the WIT window into a file, or clipping it to the user's favorite text editor. By default, only the input expressions are saved, but the user has the option to check the box next to the Save button in order to save the Wit answers as well.

Remark. Text in the WIT window can be selected with the mouse in the usual way, coppied with ctrl-c and pasted anywhere with ctrl-v. After a Run, the expressions entered by the user are preceeded by IT> and the answers by WIT>.

The Wit system

The Wit system is a package build on top of the general purpose mathematical engine Tau. You can find a user's guide for each of the two systems at the links below. User's primarily interested in Wit should consult the Tau user's guide only when this appears to be necessary for the understanding of the Wit source code.