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
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
/*
* Small program to test libgap linkability and basic working
*/
#include <stdio.h>
#include <unistd.h>
#include <compiled.h>
#include <libgap-api.h>
extern char ** environ;
UInt GAP_List_Length(Obj list)
{
return LEN_LIST(list);
}
Obj GAP_List_AtPosition(Obj list, Int pos)
{
return ELM_LIST(list, pos);
}
UInt GAP_String_Length(Obj string)
{
return GET_LEN_STRING(string);
}
Int GAP_String_GetCString(Obj string, Char * buffer, UInt n)
{
UInt len;
if (IS_STRING(string)) {
if (!IS_STRING_REP(string))
string = CopyToStringRep(string);
len = GET_LEN_STRING(string) + 1;
if (len >= n)
len = n - 1;
// Have to use mempcy because GAP strings can contain
// \0.
memcpy(buffer, CSTR_STRING(string), len);
if (len == n - 1)
buffer[n] = '\0';
return 1;
}
return 0;
}
void test_eval(const char * cmd)
{
Obj res, ires;
Int rc, i;
Char buffer[4096];
printf("gap> %s\n", cmd);
res = GAP_EvalString(cmd);
rc = GAP_List_Length(res);
for (i = 1; i <= rc; i++) {
ires = GAP_List_AtPosition(res, i);
if (GAP_List_AtPosition(ires, 1) == True) {
GAP_String_GetCString(GAP_List_AtPosition(ires, 5), buffer,
sizeof(buffer));
printf("%s\n", buffer);
}
}
}
int main(int argc, char ** argv)
{
printf("# Initializing GAP...\n");
GAP_Initialize(argc, argv, environ, 0L, 0L);
CollectBags(0, 1); // full GC
test_eval("1+2+3;");
test_eval("g:=FreeGroup(2);");
test_eval("a:=g.1;");
test_eval("b:=g.2;");
test_eval("lis:=[a^2, a^2, b*a];");
test_eval("h:=g/lis;");
test_eval("c:=h.1;");
test_eval("Set([1..1000000], i->Order(c));");
printf("# done\n");
return 0;
}
|
