CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418384
1
#include "defs.h"
2
3
# define SPACE 2000000
4
# define CSPACE 1000000
5
# define WDL 20000
6
# define PTRSP 10000
7
# define CDPTRSP 10000
8
# define CPTRSP 500000
9
# define MB 80
10
# define MM 129
11
# define MPR 500
12
# define MARG 20000
13
/* This program uses output of extprun. Some of variables are the same */
14
15
char mult,inf0[80],inf1[80],inf2[80],outf[80],outft[80],inf3[80];
16
/* No defaults. inf1 is G inf2 H for corestriction H to G
17
inf1 also takes values G.cp and G.rel.
18
inf3 mats of cosetreps. (only if -m not set)
19
outf always inf1.er. inf0 to remember gpname.
20
*/
21
short csp[CSPACE],***coeff[MB],*cpsp[CPTRSP],**cdpsp[CDPTRSP];
22
short sp[SPACE],*psp[PTRSP],**imcos[MB],**mat[MM],**cpco[MB],lorb[MB],pinv[100],
23
wdl=WDL,ptrsp=PTRSP,marg=MARG,
24
cdptrsp=CDPTRSP,mb=MB,mpr=MPR;
25
int space=SPACE,cptrsp=CPTRSP,cspace=CSPACE;
26
27
int
28
main (int argc, char *argv[])
29
{ short arg; short err;
30
mult=0; err=0; arg=1; if (argc<=arg) {err=1; goto error; }
31
if (argv[arg][0]=='-')
32
{ if (argv[arg][1]!='m') {err=1; goto error;}
33
mult=1;
34
arg++; if (argc<=arg) {err=1; goto error; }
35
}
36
strcpy(inf0,argv[arg]);strcat(inf0,".");strcpy(inf2,inf0);strcpy(inf3,inf0);
37
arg++; if (argc<=arg) {err=1; goto error;} strcat(inf0,argv[arg]);
38
arg++; if (argc<=arg) {err=1; goto error;} strcat(inf2,argv[arg]);
39
if (mult==0)
40
{ arg++; if (argc<=arg) {err=1; goto error;} strcat(inf3,argv[arg]);
41
strcat(inf3,"mat");
42
}
43
strcpy(outf,inf0); strcat(outf,".er");
44
strcpy(outft,inf0); strcat(outft,".wl");
45
if (crprog1()== -1) exit(1);
46
if (crprog2()== -1) exit(1);;
47
error: if (err)
48
{ fprintf(stderr,"Usage: crrun [-m] gpname inf1 inf2 (if not -m inf3)\n");
49
exit(1);
50
}
51
exit(0);
52
}
53
54