Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In
| Download

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

Views: 415151
1


2
function randchar(str) {

3
  var i = Math.floor(Math.random() * str.length);

4
  while (i == str.length)

5
    i = Math.floor(Math.random() * str.length);

6
  return str[i]; 

7
}

8


9
hexdigits = "0123456789abcdef";

10


11
function randlight() {

12
  return    randchar("cdef")+randchar(hexdigits)+

13
            randchar("cdef")+randchar(hexdigits)+

14
            randchar("cdef")+randchar(hexdigits)

15
}

16
function randdark() {

17
  return    randchar("012345789")+randchar(hexdigits)+

18
            randchar("012345789")+randchar(hexdigits)+

19
            randchar("102345789")+randchar(hexdigits)

20
}

21


22
document.write('<style type="text/css">\n<!--\n');

23
document.write('body {\n  color: #'+randdark()+';\n  background: #'+

24
               randlight()+';\n}\n');

25
document.write('a:link {\n  color: #'+randdark()+';\n}\n');

26
document.write('a:visited {\n  color: #'+randdark()+';\n}\n');

27
document.write('a:active {\n  color: #'+randdark()+';\n}\n');

28
document.write('a:hover {\n  background-color: #'+randlight()+';\n}\n');

29
document.write('pre {\n  color: #'+randdark()+';\n}\n');

30
document.write('tt {\n  color: #'+randdark()+';\n}\n');

31
document.write('code {\n  color: #'+randdark()+';\n}\n');

32
document.write('var {\n  color: #'+randdark()+';\n}\n');

33
document.write('div.func {\n  background-color: #'+randlight()+';\n}\n');

34
document.write('div.example {\n  background-color: #'+randlight()+';\n}\n');

35
document.write('div.chlinktop {\n  background-color: #'+randlight()+';\n}\n');

36
document.write('div.chlinkbot {\n  background-color: #'+randlight()+';\n}\n');

37
document.write('pre.normal {\n  color: #'+randdark()+';\n}\n');

38
document.write('code.func {\n  color: #'+randdark()+';\n}\n');

39
document.write('code.keyw {\n  color: #'+randdark()+';\n}\n');

40
document.write('code.file {\n  color: #'+randdark()+';\n}\n');

41
document.write('code.code {\n  color: #'+randdark()+';\n}\n');

42
document.write('code.i {\n  color: #'+randdark()+';\n}\n');

43
document.write('strong.button {\n  color: #'+randdark()+';\n}\n');

44
document.write('span.Heading {\n  color: #'+randdark()+';\n}\n');

45
document.write('var.Arg {\n  color: #'+randdark()+';\n}\n');

46
document.write('strong.pkg {\n  color: #'+randdark()+';\n}\n');

47
document.write('strong.Mark {\n  color: #'+randdark()+';\n}\n');

48
document.write('b.Ref {\n  color: #'+randdark()+';\n}\n');

49
document.write('span.Ref {\n  color: #'+randdark()+';\n}\n');

50
document.write('span.GAPprompt {\n  color: #'+randdark()+';\n}\n');

51
document.write('span.GAPbrkprompt {\n  color: #'+randdark()+';\n}\n');

52
document.write('span.GAPinput {\n  color: #'+randdark()+';\n}\n');

53
document.write('b.Bib_author {\n  color: #'+randdark()+';\n}\n');

54
document.write('span.Bib_key {\n  color: #'+randdark()+';\n}\n');

55
document.write('i.Bib_title {\n  color: #'+randdark()+';\n}\n');

56


57
document.write('-->\n</style>\n');

58


59


60


61


62