libkant-4.1 and autokash-3.1 package
             ====================================

===============================================================================
Copyright:
==========

Authors: Lesseni Sylla <lesseni@math.tu-berlin.de>
         Sebastian Freundt <freundt@math.tu-berlin.de>

The KANT 4 SCSCP package and its client shell kapy are 
licensed according to the terms of the License as 
published from the KANT/KASH system website at:
http://www.math.tu-berlin.de/~kant/copyrigth.html

==============================================================================

Introduction: 
============

The release of KANT 4 SCSCP package is available now. It allows the 
system to work as SCSCP server and client. 
For more about the protocol SCSCP, see 
http://www.symbolic-computation.org/. 
This release contains the core functionality of the KANT system: libkant,
which is now at the version 4.1. This core functionality is, at this time of 
writing, only available for a native 64-bit linux build x86_64 hardware. 
Since it is due to licence issues, e.g not freely available, we made a 
static build in this release (statically linked). The release contains also 
autokash which in turn consists of a server, a simple client and a server in 
GCA mode. 
Also, it is, at this time, only available for a native 64-bit linux/x86_64 
build.

NB:
The libkant library is statically linked in the autokash tarball named 
autokash-3.1.11-x86_64-pc-linux.tar.bz2 which is freely available from:

  http://www.math.tu-berlin.de/~kant/kant-scscp.html


Prerequisites for autokash:
==========================

- libkash       (provided with autokash)
- libxml2       (provided with autokash)
- libiconv
- libcord       (provided with autokash)
- libgc         (provided with autokash)
- libkant       (provided with autokash)
- libgmp        (gmp, provided with autokash)
- libmpfr       (mpfr, provided with autokash)
- libz          (gzip support lib)
- libgcc_s
- libpopt       (popt cmd line parser, provided with autokash)
- libltdl       (provided with autokash, visit the libltdl/ directory)
- libpthread    (standard, but must not be linuxthreads husk)
- libm          (standard, no issues known)
- libdl         (standard, no issues known)
- libc          (standard, no issues known)


Building autokash:
==================

shell> tar xjf autokash-3.1.11.tar.bz2 
shell> cd autokash-3.1

The main binary is kashd, the KANT/KASH daemon. It is under the bin/ 
directory. You can display its help by typing:

shell> bin/kashd --help

Usage: kashd [options] [module...]

Input Options
  -l, --listen=spec       listen on input according to SPEC,  SPEC is a
                          socat-like string, supported specs are:
                          tcp4:<bind-address>:<port>,
                          tcp6:<bind-address>:<port>, unix:<socket-file>.
                          (default: "tcp6:[::]:26133")

Language Options
  -z, --no-namespaces     dispatch the result objects without namespaces

Help options:
  -?, --help              Show this help message
  --usage                 Display brief usage message

Running kashd:
=============

The bare minimum start up that yet allows for SCSCP communication is:

shell> bin/kashd  lib/kant/openmath.la &
or
shell> bin/kashd -z lib/kant/openmath.la &

From then now, by default, incoming connections on any configured 
network device will be accepted.

Example:
=======
We suppose you get knowledge on SCSCP protocol for client/server 
communication.
The connection to the running KANT SCSCP sever can be done from any SCSCP 
client shell or simply using netcat (or telnet) as the following:

shell> user@issel:~> netcat localhost 26133
<?scscp service_name="libkant" service_version="4.1" 
service_id="140398289176304" scscp_versions="1.1 1.2 1.3" ?>

<?scscp version="1.3" ?>

<?scscp version="1.3" ?>
<?scscp info text="negotiation succeeded, go on then ..." ?>

<?scscp start ?>
<?xml version="1.0"?>
<OM:OMOBJ
  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
  xsi:schemaLocation="http://www.openmath.org/OpenMath \
  http://www.openmath.org/standard/relaxng/openmath1.xsd"
  xmlns:OM="http://www.openmath.org/OpenMath">
  <OM:OMATTR>
    <OM:OMATP>
      <OM:OMS cd="scscp1" name="call_id"/>
      <OM:OMSTR>symcomp.org:26133:18668:SyllaLBl</OM:OMSTR>
      <OM:OMS cd="scscp1" name="option_return_object"/>
      <OM:OMSTR></OM:OMSTR>
    </OM:OMATP>
    <OM:OMA>
      <OM:OMS cd="scscp1" name="procedure_call"/>
      <OM:OMA>
        <OM:OMS name="plus" cd="arith1"/>
        <OM:OMI>1</OM:OMI>
        <OM:OMI>1</OM:OMI>
      </OM:OMA>
    </OM:OMA>
  </OM:OMATTR>
</OM:OMOBJ>
<?scscp end ?>

<!-- get the answer below -->

<?scscp start ?>
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<OM:OMOBJ xmlns:OM="http://www.openmath.org/OpenMath" xmlns:xsi=\
  "http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation=\
  "http://www.openmath.org/OpenMath http://www.openmath.org/\
  standard/om20-2004-06-30/openmath2.xsd" version="2.0">
  <OM:OMATTR>
    <OM:OMATP>
      <OM:OMS cd="scscp1" name="call_id"/>
      <OM:OMSTR>symcomp.org:26133:18668:SyllaLBl</OM:OMSTR>
    </OM:OMATP>
    <OM:OMA>
      <OM:OMS cd="scscp1" name="procedure_completed"/>
      <OM:OMI>2</OM:OMI>
    </OM:OMA>
  </OM:OMATTR>
</OM:OMOBJ>
<?scscp end ?>


Have a lot of fun ...