File: democicm.g

package info (click to toggle)
gap-scscp 2.2.3%2Bds-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 1,696 kB
  • sloc: xml: 1,226; sh: 388; makefile: 19
file content (52 lines) | stat: -rw-r--r-- 1,689 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
LoadPackage("scscp");
#
# Connect to GAP SCSCP server 
#
SetInfoLevel( InfoSCSCP, 0 );
port:=26133;
server:="localhost";
PingSCSCPservice( server, 26133 );
EvaluateBySCSCP( "WS_Factorial", [ 10 ], server, 26133 );
EvaluateBySCSCP( "WS_IdGroup", [ SymmetricGroup(3) ], server, 26133 );
IdGroup(SymmetricGroup(3));
EvaluateBySCSCP( "GroupIdentificationService", 
                 [ [ (1,2,3), (2,3) ] ], server, 26133 ); 
IdGroup( Group( (1,2,3), (2,3) ) );
#
# Now increase InfoLevel to look at details
#
SetInfoLevel( InfoSCSCP, 4 );
PingSCSCPservice( server, 26133 );
EvaluateBySCSCP( "WS_Factorial", [ 10 ], server, 26133 );
EvaluateBySCSCP( "WS_IdGroup", [ SymmetricGroup(3) ], server, 26133 );
IdGroup(SymmetricGroup(3));
EvaluateBySCSCP( "GroupIdentificationService", 
                 [ [ (1,2,3), (2,3) ] ], server, 26133 ); 
IdGroup( Group( (1,2,3), (2,3) ) );
ReadPackage("scscp", "example/id512.g");
G := DihedralGroup( IsPermGroup, 512 );
IdGroup512( G );
SetInfoLevel( InfoSCSCP, 0 );
IdGroup512( G );
#
# Working with remote objects
#
EvaluateBySCSCP( "MathieuGroup", [ 24 ], 
                 server, 26133 : output:="cookie" );
M24 := last.object;    
EvaluateBySCSCP( "NrConjugacyClasses", [ M24 ], server, 26133 );      
EvaluateBySCSCP( "SylowSubgroup", [ M24, 2 ], 
                 server, 26133 : output:="cookie", debuglevel:=3 );    
P2 := last.object;
EvaluateBySCSCP( "Size", [ P2 ], server, 26133 );      
RetrieveRemoteObject( P2 );
UnbindRemoteObject( M24 );
#
# Private data formats
#
OMString(SL(2,5));
x:=SL(2,5);
s:=IO_PickleToString(x);
r:=EvaluateBySCSCP("IO_UnpickleStringAndPickleItBack",[s],"localhost",26133);
y:=IO_UnpickleFromString(r.object);
x=y;