... keywords¹

See chapter 2.4.3 for a detailed description of these commands.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... computer.²

The solving of an equation is, of course, subject to the limitations of AriNET. See chapter 4.1 for an exhaustive list of these limitations.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... MzScheme³

For a brief description of MrEd, MzScheme and PLT DrScheme, see 1.3.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Tex/Latex.⁴

see 1.3 for a brief description of Tex/Latex.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... bug-free⁵

although we are not really sure it exists in computer science...

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... RAM.⁶

IBM Aptiva 2128 and IBM Netvista 4029 are trademarks of the IBM Corporation. (http://www.ibm.com), Pentium and Celeron are trademarks of Intel Inc. (http://www.intel.com).

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... 3.0.0-10.⁷

Windows ME is a trademark of the Microsoft Corp. (http://www.microsoft.com), Linux is a trademark of Linus Torvalds (http://www.linux.org), RedHat 7.3 is a trademark of RedHat Inc. (http://www.redhat.com).

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... USA.⁸

See http://www.plt-scheme.org for further information on DrScheme, MrEd, MzScheme and on the PLT team.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... 2.04⁹

To be really accurate AriNET was developed on the version 2.02 of these programs, but the final executables were compiled using the version 2.04.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... 2.04¹⁰

DrScheme, MzScheme, MrEd are under : Copyright (c) 1995-2002 PLT (http://www.plt-scheme.org).

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... files.¹¹

GNU Emacs (c) Free Software Foundation, under GPL. LaTeX was invented by Leslie Lamport. xdvi by Eric Cooper, CMU, dvips(k) 5.86 Copyright 1999 Radical Eye Software (http://www.radicaleye.com), jLaTeX2HTML Version 2002 (1.62) JA patch-1.4 by Kenshi Muto, Debian Project. Original LaTeX2HTML Version 2002 (1.62) by Nikos Drakos, Computer Based Learning Unit, University of Leeds.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... bar.¹²

Some of AriNET's functions are only accessible by typing them in the text area.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... networks¹³

When speaking of arithmetical networks you should understand equations or any other form of arithmetical calculation.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... errors¹⁴

See 2.6 for a list of common errors.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... available.¹⁵

Some of the very specific Scheme commands are not available when using AriNET. Some other commands, (as let, and...) may differ from Scheme's standard as these were redefined in AriNET

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... networks¹⁶

Using a variable defined with the underlying Scheme command (define $<var>$ $<value>$) in an arithmetical network is forbidden. This, because a Scheme variable defined this way, is a number whereas an AriNET variable, is an object. (see 3.2 for more information about this issue.).

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... changes¹⁷

This can be very useful as, when set on a unknown value, it tells us when the equation is solved.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... 2ary-operations¹⁸

The 2ary-operations may also be used in underlying Scheme's prefix form (i.e (+ $expr expr$))

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... up).¹⁹

This option is selected automatically when launching the program.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... bug.²⁰

It is important to know that even if an error is prompted as a bug it still might be a user generated one (and vice-et-versa). This especially when running AriNET in display all errors (see 2.6.1) mode.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... cross.²¹

As the aim of this chapter is to explain the way AriNET works and not how Scheme does, we start as if you had knowledge in Scheme or LISP already.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... function.²²

As we are working with the rules of the underlying Scheme, it is easier to treat prefix functions rather than infix functions.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... them.²³

In order to understand this part, section 3.2 should have been read carefully.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... numbers.²⁴

$x²=-1$ does not have a solution for AriNET.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... bugs.²⁵

This error system is briefly described in section 2.6.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... beginner.²⁶

The direct access to the on-line help is available only for Microsoft Windows users, however this manual can be found under http://www.gmipsoft.com/unifr/arinet/ whatever platform you are using.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.