Home Page |
Computations in Commutative Algebra |
Install and run CoCoA |
You may use the Textual Interface (within Terminal) or Emacs Interface (within Emacs) or the GraphicalUserInterface:
Download CoCoA and DRAG the CoCoA-4.7 folder into the Applications folder.
Double-click on the cocoa icon. This should automatically open the application Terminal and run CoCoA into it.If you want to add cocoa to your Dock just drag the icon into the file area of your Dock (next to the Trash icon)
This way you will have NO EDITING facilities, so you might want to:
Download CoCoA and DRAG the CoCoA-4.7 folder into the Applications folder.
May 2006: Suggested Emacs application (a proper Emacs with a remarkable Macintosh "feel")new-prefs.command
creates a brand new .emacs
fileupdate-prefs.command
adds one line to your current .emacs fileOpen by dragging: You may open any file in Emacs by dragging it onto the Emacs icon or into an Emacs window.
Open by double-click: If you want all your cocoa files to open with Emacs when double-clicked, this is what you need to do:
foo.cocoa
and select File - Get Info, click the Open with:
triangle and
choose Other... to select Emacs.
.cocoa
).
A few words for the Emacs beginners...
Older Emacs applications for MacOSX 10.2 and MacOSX 10.1: download and move into the Applications folder.
The code will (should) automatically expand into a folder called "CoCoA 4.0".
When you are in the folder "CoCoA 4.0", double-click on "CoCoA 4" to run the program.
1+1;
<Enter>)
The manual is called by typing Man( );
<Enter>.
If you want to know
about some topic, e.g. Hilbert-Poincare' Series, type a suitable
substring, e.g. Man("hilb");
<Enter>
To quit CoCoA select "Quit" from the "Edit" menu.
Download CoCoA and gunzip-tar your binary in the directory you want, e.g.
cp cocoa-4.7-text-linux.tar.gz /usr/local/ cd /usr/local/ gunzip cocoa-4.7-text-linux.tar.gz tar xf cocoa-4.7-text-linux.tarIt will produce a directory called "cocoa-4.7".
When you are in the directory "cocoa-4.7/", type
./cocoa_text
to run the program.
To allow all users in a Unix system to share the same installation you should:if your cocoa directory is NOT /usr/local/cocoa-4.7
then you need to edit the file calledcocoa
according to the instructions contained therein (you probably want to change only the value of the variableCOCOA_PREFIX=/usr/local/cocoa-4.7
).link it to some publicly accessible directory of executables like this: cd /usr/local/bin ln -s /usr/local/cocoa-4.7/cocoa cocoa
Any user may then typecocoa
to run the program from any directory.
cocoa
in a shell and follow these
instructions.
.emacs
file with any editor
(it should be in your home, and it may not exist!):
cocoa-4.7/emacs/cocoa.emacs
.
(load-file "<path>/emacs/cocoa.emacs")
(load-file "/usr/local/cocoa-4.7/emacs/cocoa.emacs")
/usr/local/
then you need to correct the path in the files:
<path>/cocoa-4.7/emacs/cocoa.emacs
<path>/cocoa-4.7/cocoa
1+1;
<Enter>)
The manual is called by typing Man( );
<Enter>.
If you want to know
about some topic, e.g. Hilbert-Poincare' Series, type a suitable
substring, e.g. Man("hilb");
<Enter>
or ?hilb
<Enter> (starting from version 4.2)
To quit CoCoA type
Quit;
<Enter> (or
Ciao;
<Enter> ;-)
To enter commands from the interactive buffer click on the "cog" symbol in the top bar or type <Control><Enter>.
To enter commands from an editing buffer (file): a one-line command from a file or a selected region, type <Control><Enter>.
To quit enter
Quit;
or select Quit from the Edit menu.
Manual:
Click on Help
.
You get a Windows help system which is self-explanatory.
You can search for all commands containing (in their name or
description) a given string.
The GUI help system is also available on-line and downloadable at
http://cocoa.dima.unige.it/download/doc/