-
Notifications
You must be signed in to change notification settings - Fork 0
/
hapax-ack.html
147 lines (106 loc) · 4.01 KB
/
hapax-ack.html
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
<!DOCTYPE html>
<html lang="en-US">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title>hapax-ackermann(2,2)</title>
<meta name="viewport" content="width=device-width, initial-scale=1">
<!--
===============================================================================
EXTERNAL SCRIPTS
===============================================================================
<script src="d3.min.js" charset="utf-8"></script>
<script src="jquery.min.js"></script>
<script src="hapax-tokens.js" charset="utf-8"></script>
-->
<!--
===============================================================================
CSS
===============================================================================
-->
<link rel="stylesheet" type="text/css" href="css/hapax.css">
</head>
<!--
===============================================================================
BODY
===============================================================================
-->
<body style="background-color: #232323; color: #ffffff; overflow: scroll;">
<!--
===============================================================================
INTERNAL SCRIPTS (except of main script and input script)
===============================================================================
-->
<script src="js/hapax-nodes.js" charset="utf-8"></script>
<script src="js/hapax-chem.js" charset="utf-8"></script>
<script src="js/hapax-phys.js" charset="utf-8"></script>
<script src="js/hapax-aux.js" charset="utf-8"></script>
<script src="js/hapax.js" charset="utf-8"></script>
<script src="js/hapax-mol.js" charset="utf-8"></script>
<!--
===============================================================================
MAIN HTML
===============================================================================
-->
<p style="position: absolute; top: 0; right: 0; border: 0;">
<a href="http://imar.ro/~mbuliga/" target="_blank">M. Buliga</a>, version: 15.06.2019 <a rel="license" href="http://creativecommons.org/licenses/by/4.0/"
><img alt="Creative Commons License" style="border-width:2" src="cc-by-4-0.png"/></a><br>
</p>
<p><span2 id="molhere">ackermann_2_2</span2> computed with <a href="https://github.com/mbuliga/hapax" target="_blank">(hapax)</a>. See also the computation of <a href="hapax-9quine.html" target="_blank">9_quine</a>. For the theory see <a href="http://imar.ro/~mbuliga/genchem.html" target="_blank">(slides)</a>.</p>
<p>
<button id="start">start</button>
<button id="stop">stop</button>
<button id="my2nd" onclick="document.location.reload(true)">refresh</button>
<div id="container">
<div class="flex">
<div class="box30"><ul><li>reactions ingredients:</li></ul></div>
<div class="box20"><ul><li>main molecule:</li></ul></div>
<div class="box30"><ul><li>means:</li></ul></div>
<div class="box20"><ul><li>tokens:</li></ul></div>
</div>
<div class="flex">
<div class="box30" id="molabs"> </div>
<div class="box20" id="molorig"> </div>
<div class="box30" id="molrelback"></div>
<div class="box20" id="seekind"></div>
</div>
</div>
<!--
===============================================================================
MAIN SCRIPT
===============================================================================
-->
<script src="js/hapax-play.js" charset="utf-8"></script>
<!-- document.getElementById("myBtn").disabled = true;
-->
<script>
function myMove() {
var elem = document.getElementById("container");
mockCycle();
}
var requestId;
function loop() {
requestId = undefined;
var elem = document.getElementById("container");
mockCycle();
start();
}
function start() {
if (!requestId) {
requestId = window.requestAnimationFrame(loop);
}
}
function stop() {
if (requestId) {
window.cancelAnimationFrame(requestId);
requestId = undefined;
}
}
document.querySelector("#start").addEventListener('click', function() {
start();
});
document.querySelector("#stop").addEventListener('click', function() {
stop();
});
</script>
</body>
</html>