$ 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>