Maths Program User Guide

If you have not already downloaded this program and installed it then, first follow the procedure on this page.

Creating a New SPAD Project

The following allows us to initiate a new SPAD project and populate it with files from the FriCAS project.

From the Eclipse menu select: File -> New -> Other

This brings up the wizard on the right. Select
'SPAD project' in the SPAD folder.

Click on 'Next'

(If SPAD options don't show then check that the jar files are in the plugins folder as explained on this page.)

euclideanspace user guide

Enter the Project Name

Assuming that you want to populate the project with fricas SPAD files then, click on the lower 'browse' button and select the location of the FriCAS source. That is the directory that holds all the FriCAS source code (assuming you downloaded the FriCAS source as explained on this page.)

You can then click on finish (If you click on Next instead there are additional options but its best to leave these on their default values for now)

projectNameLocation

There may be some delay while the files are being processed.

The wizard dialog should then close and the project should then appear, in the 'package explorer' window, with src and src-gen folders.

There should be a folder for each FriCAS 'pamphlet' file. This contains a .txt file for the documentation and a number of .spad files.

euclideanspace user guide

The first time you doubleclick on an spad file, to open it, you may get this message about adding the Xtext nature, if so, click on yes.

euclideanspace

The spad file is displayed, note that braces have been automatically added and macros have been applied (and their definitions commented out).

euclideanspace

Errors are shown by a red underline. Note there are elements of the syntax that are not yet parsed correctly, such as a function name of '0'.

euclideanspace

There is also an outline window, here elements of the structure can be selected and the corresponding code is shown in the main window.

euclideanspace

metadata block
see also:

Correspondence about this page

Book Shop - Further reading.

Where I can, I have put links to Amazon for books that are relevant to the subject, click on the appropriate country flag to get more details of the book or to buy it from them.

 

This site may have errors. Don't use for critical systems.

Copyright (c) 1998-2017 Martin John Baker - All rights reserved - privacy policy.