Difference between revisions of "ApCoCoA-1:HowTo:Run ApCoCoA on a Computing Server"

From ApCoCoAWiki
Line 12: Line 12:
 
==Run ApCoCoA==
 
==Run ApCoCoA==
 
Go to the folder ApCoCoA-1.9.0. The contents in the folder are as follows.  
 
Go to the folder ApCoCoA-1.9.0. The contents in the folder are as follows.  
-rwxr-xr-x 1 xiu users  4283296 17. Mai 13:11 ApCoCoABBFServer
 
-rwxr-xr-x 1 xiu users  6461552 17. Mai 13:05 ApCoCoAQt
 
-rwxr-xr-x 1 xiu users 11324912 17. Mai 13:11 ApCoCoAServer
 
drwxr-xr-x 3 xiu users    4096 17. Mai 13:11 Bertini
 
drwxr-xr-x 3 xiu users    4096 17. Mai 13:11 Glpk
 
drwxr-xr-x 5 xiu users    4096 17. Mai 13:11 Hom4ps
 
-rw-r--r-- 1 xiu users    32422 17. Mai 13:11 LICENSE
 
drwxr-xr-x 3 xiu users    4096 17. Mai 13:11 Latte
 
-rw-r--r-- 1 xiu users    14300 17. Mai 13:11 README
 
-rwxr-xr-x 1 xiu users    2394 17. Mai 13:05 apcocoa
 
-rwxr-xr-x 1 xiu users  637708 17. Mai 13:05 apcocoa_text
 
drwxr-xr-x 7 xiu users    4096 17. Mai 13:11 doc
 
drwxr-xr-x 2 xiu users    4096 17. Mai 13:05 emacs
 
drwxr-xr-x 3 xiu users    4096 17. Mai 13:11 gnuplot
 
drwxr-xr-x 6 xiu users    4096 17. Mai 13:11 packages
 
drwxr-xr-x 3 xiu users    4096 17. Mai 13:11 sat
 
drwxr-xr-x 2 xiu users    4096 17. Mai 13:11 temp
 
-rw-r--r-- 1 xiu users      250 17. Mai 13:05 userinit.coc
 
-rw-r--r-- 1 xiu users    8477 17. Mai 13:11 wordlist.txt
 
-rwxr-xr-x 1 xiu users    3429 17. Mai 13:05 xapcocoa
 
In the following, we shall always assume that we are working at the directory ApCoCoA-1.9.0/.
 
  
===ApCoCoA with text Interface===
+
[[Image:ApCoCoA_files.jpg]]
 +
 
 +
In the following, assume that you are working at the directory ApCoCoA-1.9.0/.
 +
 
 +
 
 +
===ApCoCoA with Text Interface===
 
Run the following command at terminal to start the ApCoCoA text interface.
 
Run the following command at terminal to start the ApCoCoA text interface.
 
  ./apcocoa_text
 
  ./apcocoa_text
Line 43: Line 27:
  
 
[[Image:ApCoCoA_text1.jpg]]
 
[[Image:ApCoCoA_text1.jpg]]
 +
  
 
===ApCoCoAServer===
 
===ApCoCoAServer===
In many cases you also need to run the ApCoCoAServer. Here, we assume that you have some terminal tools, like "screen", "tmux", etc., to create new terminal sessions, and that you are able to switch between terminal sessions without having to stop the running program.
+
In many cases you also need to run the ApCoCoAServer. Here, assume that you have some terminal tools, like "screen", "tmux", etc., to create new terminal sessions, and that you are able to switch between terminal sessions without having to stop the running program.
  
 
Create a new terminal session for the ApCoCoAServer and run the following command to start the ApCoCoAServer.
 
Create a new terminal session for the ApCoCoAServer and run the following command to start the ApCoCoAServer.
Line 55: Line 40:
 
  ./ApCoCoAServer -p n
 
  ./ApCoCoAServer -p n
  
Now let us go to ApCoCoA test interface again, and run the following example.
+
Now let us switch to the terminal session for the ApCoCoA text interface again. Execute the following commands.
 +
X:="xy";
 +
M:=["xxx","yxy","xyx"];
 +
NCo.IsFinite(X, M); -- Check whether <x,y>/<x^3,yxy,xyx> is finite
 +
The function NCo.IsFinite uses the ApCoCoAServer. You will get the following result in the ApCoCoA text interface.
 +
 
 +
[[Image:ApCoCoA_text2.jpg]]
 +
 
 +
And you can see the following message in the terminal session for the ApCoCoAServer.
 +
 
 +
[[Image:ApCoCoA_Server1.jpg]]
 +
 
 +
 
 +
===ApCoCoA Program Files===
 +
If you want to reuse a long sequence of commands or some user-defined functions, it is convenient to put those commands and functions in some ApCoCoA program files as batch files and then ask ApCoCoA to process them when it starts. Here is how to do it.
  
  

Revision as of 13:04, 19 June 2013

Introduction

This HowTo shows you how to run ApCoCoA on a Linux server with terminal.


Prerequisites

  • Download ApCoCoA QT and unzip the file. (This HowTo takes ApCoCoA 1.9.0 as an example.)
wget http://www.apcocoa.org/download/apcocoa/linux-x86_64/apcocoa-1.9.0-QT-linux-x86_64.tgz
tar xzvf apcocoa-1.9.0-QT-linux-x86_64.tgz


Run ApCoCoA

Go to the folder ApCoCoA-1.9.0. The contents in the folder are as follows.

ApCoCoA files.jpg

In the following, assume that you are working at the directory ApCoCoA-1.9.0/.


ApCoCoA with Text Interface

Run the following command at terminal to start the ApCoCoA text interface.

./apcocoa_text

ApCoCoA text.jpg

You can run any (Ap)CoCoA command in this interface.

ApCoCoA text1.jpg


ApCoCoAServer

In many cases you also need to run the ApCoCoAServer. Here, assume that you have some terminal tools, like "screen", "tmux", etc., to create new terminal sessions, and that you are able to switch between terminal sessions without having to stop the running program.

Create a new terminal session for the ApCoCoAServer and run the following command to start the ApCoCoAServer.

./ApCoCoAServer

ApCoCoA Server0.jpg

Observe that the ApCoCoAServer is running on the default port 49344 (0xc0c0). One can change the port number to n by using option -p as follows.

./ApCoCoAServer -p n

Now let us switch to the terminal session for the ApCoCoA text interface again. Execute the following commands.

X:="xy";
M:=["xxx","yxy","xyx"];
NCo.IsFinite(X, M); -- Check whether <x,y>/<x^3,yxy,xyx> is finite

The function NCo.IsFinite uses the ApCoCoAServer. You will get the following result in the ApCoCoA text interface.

ApCoCoA text2.jpg

And you can see the following message in the terminal session for the ApCoCoAServer.

ApCoCoA Server1.jpg


ApCoCoA Program Files

If you want to reuse a long sequence of commands or some user-defined functions, it is convenient to put those commands and functions in some ApCoCoA program files as batch files and then ask ApCoCoA to process them when it starts. Here is how to do it.