\input texinfo  @c -*-texinfo-*-

@setfilename qaos.info
@c @smallbook
@settitle QaoS

@macro version
0.1
@end macro

@ifinfo
@dircategory 
@direntry
* QaoS: (qaos).		Reference Manual for the QaoS GAP package
@end direntry
@end ifinfo

@c Combine indices.
@synindex cp fn
@syncodeindex vr fn
@syncodeindex ky fn
@syncodeindex pg fn
@syncodeindex tp fn

@copying
This file documents the GAP Interface to QaoS databases

Copyright @copyright{} 2005 Sebastian Freundt and QaoS developers
@end copying

@c global variables
@setchapternewpage odd
@paragraphindent 0
@documentdescription
QaoS reference manual
@end documentdescription
@finalout

@titlepage
@title QaoS User Manual
@subtitle Version @version{}, August 2005

@author by Sebastian Freundt
@author and QaoS developers
@page

@vskip 0pt plus 1filll
@insertcopying

@sp 2
Version @version{} @*
August 2005.@*

Permission is granted to make and distribute verbatim copies of this
manual provided the copyright notice and this permission notice are
preserved on all copies.

Permission is granted to copy and distribute modified versions of this
manual under the conditions for verbatim copying, provided that the entire
resulting derived work is distributed under the terms of a permission notice
identical to this one.

Permission is granted to copy and distribute translations of this manual
into another language, under the above conditions for modified versions.
@end titlepage
@page

@summarycontents
@contents


@node Top, Concept, , (dir)
@top QaoS

This manual documents the GAP Interface to QaoS databases.  These are
databases of algebraic objects at the KANT Group Berlin.

This manual should be considered as introduction for users.
For more information about QaoS, we refer to the manual of QaoS.

@menu
* Concept::
* Installation::         
* User Functions::               
* Index::                 
@end menu



@node Concept, Installation, Top, Top
@comment  node-name,  next,  previous,  up
@chapter Concept

QaoS serves as gateway within GAP to the QaoS databases of Algebraic Objects
in Berlin.  The database frontend is able to output internal data in a
GAP-conform format.  This GAP package both triggers the database and retrieves
the data.  Beyond that, it is also able to retransform received information into
GAP objects which then could be used in the `normal way'.

QaoS itself is a backend/frontend combination of an SQL database which is
designed to grant public anonymous access via HTTP for reading operations, and
restricted access via HTTP and TCP/IP for writing operations.

The package functionality is partly driven by external utilities.  At the moment
we support cURL only.  cURL is used for network communication, HTTP GET and POST
requests and reading results from the network socket, while the GAP part is used
for content dependent operations.

Data for Transitive Groups has been taken from the current GAP distribution.  We
like to thank Alexander Hulpke for his permission to offer transitive group data
in our databases.

@itemize
@item
Alexander Hulpke,
Constructing Transitive Permutation Groups;
J. Symb. Comp. 39 (2005), 1-30.
@end itemize


@node Installation, User Functions, Concept, Top
@comment  node-name,  next,  previous,  up
@chapter Installation

Installation of the package is fairly easy.
Fetch the latest qaos package at

@url{http://www.math.tu-berlin.de/~kant/download/gap/qaos.tar.bz2}

or via FTP at

@url{ftp://ftp.math.tu-berlin.de/pub/algebra/Kant/contrib/gap/}


@section Installation of the GAP package

If you have permission to add files to the installation of GAP 4 on your system
you may install the qaos package into the @file{pkg/} subdirectory of the
GAP installation tree.

@example
shell> cd /path/to/GAP4/installation/tree/
shell> cd pkg/
shell> tar xjf /path/to/qaos.tar.bz2
@end example

This yields another subdirectory called @file{qaos/} with all the necessary
files.

If you do not have the permission to install the package globally just install
it to some private area, for example your home directory.

@example
shell> cd ~
shell> mkdir mygap
shell> mkdir mygap/pkg
shell> cd mygap/pkg/
shell> tar xjf /path/to/qaos.tar.bz2
@end example

Now whenever you start GAP, be sure to pass the @file{mygap/} directory to the
package search path of GAP.

@example
shell> gap -l ";$HOME/mygap"
@end example


@section Installation of cURL

Go to @url{http://curl.haxx.se} and fetch the latest release of cURL for your
system.  Install it.  Refer to cURL installation instructions if necessary.

If you have downloaded precompiled binary packages for your system and none of
them seem to work, you may also try installing cURL via sources.
Just fetch the source archive, unpack it somewhere and say

@example
shell> ./configure && make && make install
@end example

Finally, you can test for a successful curl installation by

@example
shell> curl http://curl.haxx.se
@end example

If this command spits out lots of HTML into your terminal everything is
installed properly.  If not, adjust your @var{$PATH} variable such that 

@example
shell> which curl
@end example

finds a valid path to the curl binary.



@node User Functions, Index, Installation, Top
@comment  node-name,  next,  previous,  up
@chapter User Functions

QaoS provides some user functions to obtain information from the databases.
Currently, we support queries for transitive groups and algebraic number
fields.  The corresponding commands are @var{QaosTransitiveGroup} and
@var{QaosNumberField}.

@section Retrieve objects matching a query

@defun QaosTransitiveGroup query [optarg]
  Return transitive groups matching @var{query}.
The amount of results is limited by the global variable @var{QaosDefaultLimit}.

Optional argument @var{optarg} is a record with some of the following
components:
@itemize
@item @var{Action} (string)
  @itemize
  @item determine an action to perform on @var{query}
  @item default value: "query"
  @item possible values: "query", "count"
  @end itemize

@item @var{ColGroups} (list of strings)
  @itemize
  @item determine which result groups should be returned; results of QaoS are
  usually grouped by a so-called `column group'.  In the web interface these
  column groups are choosable by checking the corresponding name under the text
  field for the query.
  @item default value: ["size","props","perm-struct"]
  @item possible values:
  combinations of "size", "props", "perm-struct", "fp-struct"
  @end itemize

@item @var{Limit} (integer/string)
  @itemize
  @item determine how many results are retrieved (maximally)
  @item default value: @var{QaosDefaultLimit}
  @item possible values: any positive integer or "all"
  @end itemize

@item @var{Offset} (integer/string)
  @itemize
  @item determine an offset on the set of results, this may be used to
  sequentially retrieve blocks of results.
  @item default value: 0
  @item possible values: any non-negative integer
  @end itemize
@end itemize
@end defun

@defun QaosNumberField query [optarg]
  Return number fields matching @var{query}.
The amount of results is limited by the global variable @var{QaosDefaultLimit}.

Optional argument @var{optarg} is a record with some of the following
components:
@itemize
@item @var{Action} (string)
  @itemize
  @item determine an action to perform on @var{query}
  @item default value: "query"
  @item possible values: "query", "count"
  @end itemize

@item @var{ColGroups} (list of strings)
  @itemize
  @item determine which result groups should be returned; results of QaoS are
  usually grouped by a so-called `column group'.  In the web interface these
  column groups are choosable by checking the corresponding name under the text
  field for the query.
  @item default value: ["size","struct","clsgroup","galgroup"]
  @item possible values:
  combinations of "size", "struct", "clsgroup", "galgroup", "galprops"
  @end itemize

@item @var{Limit} (integer/string)
  @itemize
  @item determine how many results are retrieved (maximally)
  @item default value: @var{QaosDefaultLimit}
  @item possible values: any positive integer or "all"
  @end itemize

@item @var{Offset} (integer/string)
  @itemize
  @item determine an offset on the set of results, this may be used to
  sequentially retrieve blocks of results.
  @item default value: 0
  @item possible values: any non-negative integer
  @end itemize
@end itemize
@end defun

@defvar QaosDefaultLimit Integer/String
  Determine the (maximal) amount of results returned in a query.
Usually, this can be overridden with the @var{Limit}-component in optargs.

The default value is 25.

The value can be any positive integer or the string "all", in which case no
limit is set and all results are returned.

@emph{CAUTION}: Setting this variable to "all" may result in exhaustive use of memory,
network bandwidth, and time.  Therefore, always consider to perform the count
action on a query before loading all of the results.  The database of number
fields contains more than 1.35 million number field objects.  Downloading them
all means retrieving a string of approx. 1.8 GB length!!!
@end defvar
@vindex QaosDefaultLimit


The following examples show their usage:

Query for transitive groups of degree 4.
@example
gap> QaosTransitiveGroup("d4");
#I Retrieved 5 Transitive Groups.
#I (C) 2004-2005 QaoS developers <kantdb@@math.tu-berlin.de>,
#I The Kant Project <kant@@math.tu-berlin.de>
#I qaos--dev--1.0--patch-32
#I 2005-08-29 07:54:18 UTC
<collection from database: 5 transitive groups; "d4">
@end example

Count transitive groups of degree 8.
@example
gap> QaosTransitiveGroup("d8",rec(Action:="count"));
#I (C) 2004-2005 QaoS developers <kantdb@@math.tu-berlin.de>,
#I The Kant Project <kant@@math.tu-berlin.de>
#I qaos--dev--1.0--patch-33
#I 2005-08-29 10:04:49 UTC
50 transitive group satisfy "d8"
@end example

Retrieve the first 25 transitive groups of degree 8.
@example
gap> q1:=QaosTransitiveGroup("d8");
#I Retrieved 25 Transitive Groups.
#I (C) 2004-2005 QaoS developers <kantdb@@math.tu-berlin.de>,
#I The Kant Project <kant@@math.tu-berlin.de>
#I qaos--dev--1.0--patch-33
#I 2005-08-29 10:08:50 UTC
<collection from database: 25 transitive groups; "d8">
@end example

Now retrieve the next 25 results.
@example
gap> q2:=QaosTransitiveGroup("d8",rec(Offset:=25));
#I Retrieved 25 Transitive Groups.
#I (C) 2004-2005 QaoS developers <kantdb@@math.tu-berlin.de>,
#I The Kant Project <kant@@math.tu-berlin.de>
#I qaos--dev--1.0--patch-33
#I 2005-08-29 10:09:41 UTC
<collection from database: 25 transitive groups; "d8">
@end example

Retrieve number fields of degree 4.
@example
gap> QaosNumberField("d4");
#I Retrieved 25 Algebraic Number Fields.
#I (C) 2004-2005 QaoS developers <kantdb@@math.tu-berlin.de>,
#I The Kant Project <kant@@math.tu-berlin.de>
#I qaos--dev--1.0--patch-32
#I 2005-08-29 07:55:11 UTC
<collection from database: 25 number fields; "d4">
@end example

When either of these functions is called with no arguments a short general help
is displayed:
@example
gap> QaosTransitiveGroup();
QaosTransitiveGroup(<query> [, <optarg>]) -> <result>
 
Searches the Algebraic Objects Database in Berlin.
The query string equals the keyword search method in the web surface.
See
`http://www.math.tu-berlin.de/cgi-bin/kant/qaos/query.scm?type=trnsg&action=Help'
for more information about the syntax and keywords.
 
Note: You must have `curl' (see http://curl.haxx.se) installed and properly
configured in order to use QaoS from within GAP.
 
true
@end example

In this manual we also refer to the help screen of the web interface to obtain
more detailed information about the query string.


@section Examine the contents of a database collection

In order to actually see the information there is a function called
@var{QaosResult} which displays a list of retrieved objects.

@defun QaosResult database-collection
Return the list of retrieved objects in @var{database-collection}.

This function actually reveals the result of a query.
@end defun
@findex QaosResult

@defun QaosResult database-count
Return the (non-negative) integer of a count query (see @var{Action}-component
in optarg record). 
@end defun
@findex QaosResult


Let us examine the groups behind a query for degree 8 abelian transitive groups.
@example
gap> Q:=QaosTransitiveGroup("d8 abelian");
#I Retrieved 3 Transitive Groups.
#I (C) 2004-2005 QaoS developers <kantdb@@math.tu-berlin.de>,
#I The Kant Project <kant@@math.tu-berlin.de>
#I qaos--dev--1.0--patch-32
#I 2005-08-29 08:01:30 UTC
<collection from database: 3 transitive groups; "d8 abelian">
gap>
gap> QaosResult(Q);
[ <transitive group from database: C(8) = 8; id 39>,
  <transitive group from database: 4[x]2; id 40>,
  <transitive group from database: E(8) = 2[x]2[x]2; id 41> ]
@end example

To use the retrieved group objects in GAP you may use the @var{AsGroup}
operation on a result.

@defun AsGroup database-group-object
Return the GAP group object representing @var{database-group-object}.

If @var{database-group-object} cannot be turned into a group, return @var{fail}.
@end defun
@findex AsGroup

From the above example, let us GAP-ify the third group object.
@example
gap> AsGroup(QaosResult(Q)[3]);
Group([ (1,8)(2,3)(4,5)(6,7), (1,3)(2,8)(4,6)(5,7), (1,5)(2,6)(3,7)(4,8) ])
@end example


For number field objects the corresponding operation is @var{AsField}.

@defun AsField database-field-object
Return the GAP field object representing @var{database-field-object}.

If @var{database-field-object} cannot be turned into a field, return
@var{fail}.
@end defun
@findex AsField

Consider following example for number fields (number fields of degree 5 with
absolute discrimnant between 100000 and 120000 and non-trivial class group):
@example
gap> R:=QaosNumberField("d5 |disc| 100000-120000 cn>1");
#I Retrieved 18 Algebraic Number Fields.
#I (C) 2004-2005 QaoS developers <kantdb@@math.tu-berlin.de>,
#I The Kant Project <kant@@math.tu-berlin.de>
#I qaos--dev--1.0--patch-32
#I 2005-08-29 08:32:35 UTC
<collection from database: 18 number fields; "d5 |disc| 100000-120000 cn>1">
gap> QaosResult(R);
[ <number field from database: x_1^5+x_1^4-2*x_1^2+7*x_1+1; id 843712>,
  <number field from database: x_1^5+x_1^4+2*x_1^3-4*x_1^2+2*x_1-1; id 843791>,
  <number field from database: x_1^5+2*x_1^4-2*x_1^3+2*x_1^2+x_1+4; id 843841>,
  <number field from database: x_1^5+x_1^4+4*x_1^3+4*x_1-1; id 843892>,
  <number field from database: x_1^5+x_1^4+x_1^3+4*x_1^2+3*x_1-1; id 843894>,
  <number field from database: x_1^5+x_1^4-3*x_1^3-2*x_1^2+6*x_1-4; id 843897>,
  <number field from database: x_1^5+2*x_1^3+2*x_1^2+4*x_1+1; id 843930>,
  <number field from database: x_1^5+2*x_1^4+6*x_1^3+4*x_1^2+4*x_1-1; id 843955>,
  <number field from database: x_1^5+x_1^4-4*x_1^2+2*x_1+1; id 844004>,
  <number field from database: x_1^5+4*x_1^2+1; id 844011>,
  <number field from database: x_1^5+2*x_1^4+3*x_1^3+2*x_1^2-3*x_1+1; id 844036>,
  <number field from database: x_1^5+x_1^4+3*x_1^3+2*x_1^2+8*x_1-1; id 844043>,
  <number field from database: x_1^5+x_1^4+5*x_1^3+5*x_1^2+2*x_1+1; id 844062>,
  <number field from database: x_1^5+2*x_1^4-3*x_1^3+6*x_1^2-3*x_1+1; id 844066>,
  <number field from database: x_1^5+x_1^4-x_1^3-4*x_1^2+5*x_1-1; id 844082>,
  <number field from database: x_1^5+2*x_1^4-x_1^3-3*x_1^2+4*x_1+1; id 844107>,
  <number field from database: x_1^5+x_1^4+2*x_1^3+3*x_1^2-2*x_1+1; id 844110>,
  <number field from database: x_1^5+2*x_1^4-6*x_1^3+5*x_1^2-2*x_1+1; id 844145> ]
gap> AsField(QaosResult(R)[4]);
<field in characteristic 0>
@end example


@node Index, , User Functions, Top
@chapter Index
@c @printindex cp
@printindex fn

@bye

@c End:
@c qaos.texi ends here
