Rev 8120 | Rev 8526 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 8120 | Rev 8501 | ||
---|---|---|---|
Line 25... | Line 25... | ||
25 | /* This string tells gap to exit. */ |
25 | /* This string tells gap to exit. */ |
26 | char *quitstring="\nquit;\n"; |
26 | char *quitstring="\nquit;\n"; |
27 | /* The way to print a string in the program. */ |
27 | /* The way to print a string in the program. */ |
28 | char *stringprinter="Print(\"%s\\n\");\n"; |
28 | char *stringprinter="Print(\"%s\\n\");\n"; |
29 | /* This is GAP home page. To be kept up to date. */ |
29 | /* This is GAP home page. To be kept up to date. */ |
30 | #define homepage "http://www |
30 | #define homepage "http://www.gap-system.org/" |
31 | 31 | ||
32 | /* limit of input/output file sizes */ |
32 | /* limit of input/output file sizes */ |
33 | int fsizelim=131072; |
33 | int fsizelim=131072; |
34 | int precision=20; /* default */ |
34 | int precision=20; /* default */ |
35 | 35 |