$ gapdev rundemo.g
######### ###### ########### ###
############# ###### ############ ####
############## ######## ############# #####
############### ######## ##### ###### #####
###### # ######### ##### ##### ######
###### ########## ##### ##### #######
##### ##### #### ##### ###### ########
#### ##### ##### ############# ### ####
##### ####### #### #### ########### #### ####
##### ####### ##### ##### ###### #### ####
##### ####### ##### ##### ##### #############
##### ##### ################ ##### #############
###### ##### ################ ##### #############
################ ################## ##### ####
############### ##### ##### ##### ####
############# ##### ##### ##### ####
######### ##### ##### ##### ####
Information at: http://www.gap-system.org
Try '?help' for help. See also '?copyright' and '?authors'
Loading the library. Please be patient, this may take a while.
#I Trying to use
#I [ "safari", "screen" ]
#I (in this order) as help viewer.
--------------------------------------------------------------------------------------------------------
Loading IO 2.3 (Bindings to low level I/O in the C library)
by Max Neunhoeffer (http://www-groups.mcs.st-and.ac.uk/~neunhoef/).
--------------------------------------------------------------------------------------------------------
######################################################################
## ##
## GAPDoc 1.2 (a GAP documentation meta-package) ##
## ##
## Questions and remarks to: Frank.Luebeck@Math.RWTH-Aachen.De ##
## Max.Neunhoeffer@Math.RWTH-Aachen.De ##
## ##
######################################################################
OpenMath package, by Andrew Solomon and Marco Costantini
#I Warning: package openmath, the program `gpipe' is not compiled.
--------------------------------------------------------------------------------------------------------
Loading SCSCP 0.4 (Symbolic Computation Software Composability Protocol)
by Alexander Konovalov (http://www.cs.st-andrews.ac.uk/~alexk/) and
Steve Linton (http://www.cs.st-and.ac.uk/~sal/).
--------------------------------------------------------------------------------------------------------
#I Package ``nq'': The executable program is not available
GAP4, Version: 4.dev of today, i686-apple-darwin9.3.0-gcc
Components: small 2.1, small2 2.0, small3 2.0, small4 1.0, small5 1.0, small6 1.0, small7 1.0,
small8 1.0, small9 1.0, small10 0.2, small11 0.1, id2 3.0, id3 2.1, id4 1.0, id5 1.0,
id6 1.0, id9 1.0, id10 0.1, trans 1.0, prim 2.1 loaded.
Packages: openmath 06.03.02, GAPDoc 1.2, IO 2.3, SCSCP 0.4, AClib 1.1, Polycyclic 2.2, Alnuth 2.2.5,
CrystCat 1.1.1, Cryst 4.1.6, AutPGrp 1.2, CRISP 1.3.2, CTblLib 1.1.4, TomLib 1.1.2,
FactInt 1.5.2, FGA 1.1.0.1, IRREDSOL 1.1.2, LAGUNA 3.4, Sophus 1.22, Polenta 1.2.7,
ResClasses 2.5.3 loaded.
gap> # Output in OpenMath format
gap> OMPrint( 1 );
1
gap> OMPrint( [ 1, 2 ] );
1
2
gap> OMPrint( [ [ 1, 2 ], [ 3, 4 ] ] );
1
2
3
4
gap> OMPrint( "This is a string" );
This is a string
gap> OMPrint( true );
gap> OMPrint( (1,2,3) );
2
3
1
gap> OMTest( ( 1, 2, 3 ) );
true
gap> OMPrint(Integers);
gap> x := Indeterminate( Rationals, "x" );
x
gap> OMPrint( PolynomialRing( Rationals ) );
gap> OMPrint( 1 + 2*x + 3*x^2 + x^3 );
1
3
3
2
2
1
1
0
gap> # Calling SCSCP services
gap> chrystal := "chrystal.mcs.st-and.ac.uk";
"chrystal.mcs.st-and.ac.uk"
gap> PingWebService( chrystal, 26133 );
true
gap> PingStatistic( chrystal, 26133, 10 );
10 packets transmitted, 10 received, 0% packet loss, time 6ms
min/avg/max = [ 0, 3/5, 1 ]
gap> EvaluateBySCSCP( "Factorial", [ 10 ], chrystal, 26133 );
rec( object := 3628800, attributes := [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ] )
gap> EvaluateBySCSCP( "WS_factorial", [ 10 ], chrystal, 26133 );
rec( object := "3628800", attributes := [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ] )
gap> SetInfoLevel( InfoSCSCP, 4 );
gap> EvaluateBySCSCP( "Factorial", [ 10 ], chrystal, 26133 );
#I Creating a socket ...
#I Connecting to a remote socket via TCP/IP ...
#I Got connection initiation message
#I
#I Composing procedure_call message:
chrystal.mcs.st-and.ac.uk:26133:25745
10
#I Request sent ...
#I Waiting for reply ...
#I
#I Received message:
chrystal.mcs.st-and.ac.uk:26133:25745
3628800
#I
#I Got back: object 3628800 with attributes [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ]
rec( object := 3628800, attributes := [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ] )
gap> EvaluateBySCSCP( "WS_factorial", [ 10 ], chrystal, 26133 );
#I Creating a socket ...
#I Connecting to a remote socket via TCP/IP ...
#I Got connection initiation message
#I
#I Composing procedure_call message:
chrystal.mcs.st-and.ac.uk:26133:25745
10
#I Request sent ...
#I Waiting for reply ...
#I
#I Received message:
chrystal.mcs.st-and.ac.uk:26133:25745
3628800
#I
#I Got back: object 3628800 with attributes [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ]
rec( object := "3628800", attributes := [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ] )
gap> EvaluateBySCSCP( "WS_IdGroup", [ SymmetricGroup(3) ], chrystal, 26133 );
#I Creating a socket ...
#I Connecting to a remote socket via TCP/IP ...
#I Got connection initiation message
#I
#I Composing procedure_call message:
chrystal.mcs.st-and.ac.uk:26133:25745
2
3
1
2
1
#I Request sent ...
#I Waiting for reply ...
#I
#I Received message:
chrystal.mcs.st-and.ac.uk:26133:25745
6
1
#I
#I Got back: object [ 6, 1 ] with attributes [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ]
rec( object := [ 6, 1 ], attributes := [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ] )
gap> IdGroup(SymmetricGroup(3));
[ 6, 1 ]
gap> EvaluateBySCSCP( "GroupIdentificationService", [ [ (1,2,3), (2,3) ] ], chrystal, 26133 );
#I Creating a socket ...
#I Connecting to a remote socket via TCP/IP ...
#I Got connection initiation message
#I
#I Composing procedure_call message:
chrystal.mcs.st-and.ac.uk:26133:25745
2
3
1
1
3
2
#I Request sent ...
#I Waiting for reply ...
#I
#I Received message:
chrystal.mcs.st-and.ac.uk:26133:25745
6
1
#I
#I Got back: object [ 6, 1 ] with attributes [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ]
rec( object := [ 6, 1 ], attributes := [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ] )
gap> IdGroup( Group( (1,2,3), (2,3) ) );
[ 6, 1 ]
gap> Read("~/scscp/tst/id512.g");
gap> G := DihedralGroup( IsPermGroup, 512 );
gap> IdGroup512( G );
#I Creating a socket ...
#I Connecting to a remote socket via TCP/IP ...
#I Got connection initiation message
#I
#I Composing procedure_call message:
localhost:26133:1372
2940208627577393070560341803949986912431725641726
#I Request sent ...
#I Waiting for reply ...
#I
#I Received message:
localhost:26133:1372
512
2042
#I
#I Got back: object [ 512, 2042 ] with attributes [ [ "call_ID", "localhost:26133:1372" ] ]
[ 512, 2042 ]
gap> SetInfoLevel( InfoSCSCP, 0 );
gap> IdGroup512( G );
[ 512, 2042 ]
gap> Working with remote objects
gap> S := SymmetricGroup( 3 );
Sym( [ 1 .. 3 ] )
gap> S1 := StoreAsRemoteObject( S, chrystal, 26133 );
< remote object TEMPVarSCSCP@chrystal.mcs.st-and.ac.uk:26133 >
gap> EvaluateBySCSCP( "WS_IdGroup", [ S1 ], chrystal, 26133 );
rec( object := [ 6, 1 ], attributes := [ [ "call_ID", "chrystal.mcs.st-and.ac.uk:26133:25745" ] ] )
gap> GeneratorsOfGroup( S );
[ (1,2,3), (1,2) ]
gap> List( [1..4], i -> EvaluateBySCSCP( "PointImages", [ S1, i ], chrystal, 26133 ).object );
[ [ 2 ], [ 1, 3 ], [ 1, 3 ], [ 4 ] ]
gap> RetrieveRemoteObject( S1 );
Group([ (1,2,3), (1,2) ])
gap> UnbindRemoteObject( S1 );
true
gap>