-
Notifications
You must be signed in to change notification settings - Fork 0
/
dojo_diamond.xml
397 lines (331 loc) · 13.9 KB
/
dojo_diamond.xml
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
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
<?xml version='1.0' encoding='UTF-8' standalone='yes'?>
<!DOCTYPE Workspace
[
<!ELEMENT Workspace (Value*,Ravel*,SymbolTable,Symbol*,Commands,StateIndicator)>
<!ATTLIST Workspace wsid CDATA #REQUIRED>
<!ATTLIST Workspace year CDATA #REQUIRED>
<!ATTLIST Workspace month CDATA #REQUIRED>
<!ATTLIST Workspace day CDATA #REQUIRED>
<!ATTLIST Workspace hour CDATA #REQUIRED>
<!ATTLIST Workspace minute CDATA #REQUIRED>
<!ATTLIST Workspace second CDATA #REQUIRED>
<!ATTLIST Workspace timezone CDATA #REQUIRED>
<!ATTLIST Workspace saving_SVN CDATA #REQUIRED>
<!ELEMENT Value (#PCDATA)>
<!ATTLIST Value flg CDATA #REQUIRED>
<!ATTLIST Value vid CDATA #REQUIRED>
<!ATTLIST Value parent CDATA #IMPLIED>
<!ATTLIST Value rk CDATA #REQUIRED>
<!ATTLIST Value sh-0 CDATA #IMPLIED>
<!ATTLIST Value sh-1 CDATA #IMPLIED>
<!ATTLIST Value sh-2 CDATA #IMPLIED>
<!ATTLIST Value sh-3 CDATA #IMPLIED>
<!ATTLIST Value sh-4 CDATA #IMPLIED>
<!ATTLIST Value sh-5 CDATA #IMPLIED>
<!ATTLIST Value sh-6 CDATA #IMPLIED>
<!ATTLIST Value sh-7 CDATA #IMPLIED>
<!ELEMENT Ravel (#PCDATA)>
<!ATTLIST Ravel vid CDATA #REQUIRED>
<!ATTLIST Ravel cells CDATA #REQUIRED>
<!ELEMENT SymbolTable (Symbol*)>
<!ATTLIST SymbolTable size CDATA #REQUIRED>
<!ELEMENT Symbol (unused-name|Variable|Function|Label|Shared-Variable)*>
<!ATTLIST Symbol name CDATA #REQUIRED>
<!ATTLIST Symbol stack-size CDATA #REQUIRED>
<!ELEMENT unused-name EMPTY>
<!ELEMENT Variable (#PCDATA)>
<!ATTLIST Variable vid CDATA #REQUIRED>
<!ELEMENT Function (UCS)>
<!ATTLIST Function creation-time CDATA #IMPLIED>
<!ATTLIST Function exec-properties CDATA #IMPLIED>
<!ELEMENT Label (#PCDATA)>
<!ATTLIST Label value CDATA #REQUIRED>
<!ELEMENT Shared-Variable (#PCDATA)>
<!ATTLIST Shared-Variable key CDATA #REQUIRED>
<!ELEMENT UCS (#PCDATA)>
<!ATTLIST UCS uni CDATA #REQUIRED>
<!ELEMENT Commands (Command*)>
<!ATTLIST Commands size CDATA #REQUIRED>
<!ELEMENT Command (#PCDATA)>
<!ATTLIST Command name CDATA #REQUIRED>
<!ATTLIST Command mode CDATA #REQUIRED>
<!ATTLIST Command fun CDATA #REQUIRED>
<!ELEMENT StateIndicator (SI-entry*)>
<!ATTLIST StateIndicator levels CDATA #REQUIRED>
<!ELEMENT SI-entry ((Execute|Statements|UserFunction),Parser+)>
<!ATTLIST SI-entry level CDATA #REQUIRED>
<!ATTLIST SI-entry pc CDATA #REQUIRED>
<!ATTLIST SI-entry line CDATA #REQUIRED>
<!ELEMENT Statements (UCS)>
<!ELEMENT Execute (UCS)>
<!ELEMENT UserFunction (#PCDATA)>
<!ATTLIST UserFunction ufun-name CDATA #IMPLIED>
<!ATTLIST UserFunction macro-num CDATA #IMPLIED>
<!ATTLIST UserFunction lambda-name CDATA #IMPLIED>
<!ATTLIST UserFunction symbol-level CDATA #IMPLIED>
<!ELEMENT Parser (Token*)>
<!ATTLIST Parser size CDATA #REQUIRED>
<!ATTLIST Parser assign-pending CDATA #REQUIRED>
<!ATTLIST Parser lookahead-high CDATA #REQUIRED>
<!ATTLIST Parser action CDATA #REQUIRED>
<!ELEMENT Token (#PCDATA)>
<!ATTLIST Token pc CDATA #REQUIRED>
<!ATTLIST Token tag CDATA #REQUIRED>
<!ATTLIST Token char CDATA #IMPLIED>
<!ATTLIST Token int CDATA #IMPLIED>
<!ATTLIST Token float CDATA #IMPLIED>
<!ATTLIST Token real CDATA #IMPLIED>
<!ATTLIST Token imag CDATA #IMPLIED>
<!ATTLIST Token sym CDATA #IMPLIED>
<!ATTLIST Token line CDATA #IMPLIED>
<!ATTLIST Token vid CDATA #IMPLIED>
<!ATTLIST Token index CDATA #IMPLIED>
<!ATTLIST Token fun-id CDATA #IMPLIED>
<!ATTLIST Token ufun-name CDATA #IMPLIED>
<!ATTLIST Token symbol-level CDATA #IMPLIED>
<!ATTLIST Token comment CDATA #IMPLIED>
]>
<!-- hour/minute/second is )SAVE time in UTC (aka. GMT).
timezone is offset to UTC in seconds.
local time is UTC + offset -->
<Workspace wsid="dojo_diamond" year="2018" month="8" day="2"
hour="10" minute="43" second="6" timezone="3600"
saving_SVN=" 12588">
<Value flg="0x400" vid="0" parent="-1" rk="1" sh-0="21"/>
<Value flg="0x400" vid="1" parent="-1" rk="1" sh-0="5"/>
<Value flg="0x400" vid="2" parent="-1" rk="1" sh-0="256"/>
<Value flg="0x400" vid="3" parent="-1" rk="1" sh-0="6"/>
<Value flg="0x400" vid="4" parent="-1" rk="0"/>
<Value flg="0x400" vid="5" parent="-1" rk="1" sh-0="0"/>
<Value flg="0x400" vid="6" parent="-1" rk="0"/>
<Value flg="0x400" vid="7" parent="-1" rk="0"/>
<Value flg="0x400" vid="8" parent="-1" rk="0"/>
<Value flg="0x400" vid="9" parent="-1" rk="0"/>
<Value flg="0x400" vid="10" parent="-1" rk="0"/>
<Value flg="0x400" vid="11" parent="-1" rk="0"/>
<Value flg="0x400" vid="12" parent="-1" rk="1" sh-0="3"/>
<Value flg="0x400" vid="13" parent="-1" rk="0"/>
<Value flg="0x400" vid="14" parent="-1" rk="0"/>
<Value flg="0x400" vid="15" parent="-1" rk="0"/>
<Value flg="0x400" vid="16" parent="-1" rk="0"/>
<Value flg="0x400" vid="17" parent="-1" rk="0"/>
<Value flg="0x400" vid="18" parent="-1" rk="0"/>
<Value flg="0x400" vid="19" parent="-1" rk="0"/>
<Value flg="0x400" vid="20" parent="-1" rk="0"/>
<Value flg="0x400" vid="21" parent="-1" rk="0"/>
<Value flg="0x400" vid="22" parent="-1" rk="2" sh-0="10" sh-1="10"/>
<Value flg="0x400" vid="23" parent="-1" rk="0"/>
<Value flg="0x400" vid="24" parent="-1" rk="1" sh-0="1"/>
<Value flg="0x400" vid="25" parent="-1" rk="1" sh-0="1"/>
<Value flg="0x400" vid="26" parent="-1" rk="0"/>
<Value flg="0x400" vid="27" parent="-1" rk="0"/>
<Value flg="0x400" vid="28" parent="-1" rk="0"/>
<Value flg="0x400" vid="29" parent="-1" rk="1" sh-0="111"/>
<Value flg="0x400" vid="30" parent="-1" rk="1" sh-0="1"/>
<Value flg="0x400" vid="31" parent="-1" rk="1" sh-0="81"/>
<Value flg="0x400" vid="32" parent="-1" rk="2" sh-0="9" sh-1="9"/>
<Value flg="0x400" vid="33" parent="-1" rk="2" sh-0="4" sh-1="4"/>
<Value flg="0x400" vid="34" parent="-1" rk="2" sh-0="4" sh-1="3"/>
<Value flg="0x400" vid="35" parent="-1" rk="0"/>
<Ravel vid="0" cells="²SystemVariable.cc:626⁰"/>
<Ravel vid="1" cells="³-1³0³0³0³0"/>
<Ravel vid="2" cells="¹0¹1¹2¹3¹4¹5¹6¹7¹8¹9¹A
¹B¹C¹D¹E¹F¹10¹11¹12¹13¹14¹15¹16¹17¹18¹19¹1A¹1B¹1C¹1D¹1E¹1F² !⁰¹22²#$⁰
²%⁰¹26²'()*+,-./0123456789:;⁰¹3C²=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_⁰
²`abcdefghijklmnopqrstuvwxyz{|}~¥€⇄∧∼≬⋆⋸⌸⌺⌼μ⍁¡⍣⍅⎕⍞⌹⍆⍤⍇⍈⍊⊤λ⍍⍏£⊥⍶⌶⍐⍑χ⁰
²≢⍖⍗⍘⍚⍛⌈⍜⍢∪⍨⍕⍎⍬⍪∣│┤⍟∆∇→╣║╗╝←⌊┐└┴┬├─┼↑↓╔╚╩╦╠═╬≡⍸⍷∵⌷⍂⌻⊢⊣◊┘┌█▄▌▐▀⍺⍹⊂⊃⍝⍲⁰
²⍴⍱⌽⊖○∨⍳⍉∈∩⌿⍀≥≤≠×÷⍙∘⍵⍫⍋⍒¯¨ ⁰"/>
<Ravel vid="3" cells="².,⋆0_¯⁰"/>
<Ravel vid="4" cells="³1"/>
<Ravel vid="5" cells="² ⁰"/>
<Ravel vid="6" cells="³0"/>
<Ravel vid="7" cells="³10"/>
<Ravel vid="8" cells="³0"/>
<Ravel vid="9" cells="³0"/>
<Ravel vid="10" cells="³0"/>
<Ravel vid="11" cells="³0"/>
<Ravel vid="12" cells="¹8¹D¹A
"/>
<Ravel vid="13" cells="³0"/>
<Ravel vid="14" cells="³0"/>
<Ravel vid="15" cells="³1"/>
<Ravel vid="16" cells="³1"/>
<Ravel vid="17" cells="³0"/>
<Ravel vid="18" cells="³-6458406621023749011"/>
<Ravel vid="19" cells="² ⁰"/>
<Ravel vid="20" cells="³80"/>
<Ravel vid="21" cells="³0"/>
<Ravel vid="22" cells="³1³2³3³4³5³1³2³3³4³5³1³2³3³4³5³1³2³3³4³5³1³2³3
³4³5³1³2³3³4³5³1³2³3³4³5³1³2³3³4³5³1³2³3³4³5³1³2³3³4³5³1³2³3³4³5³1³2
³3³4³5³1³2³3³4³5³1³2³3³4³5³1³2³3³4³5³1³2³3³4³5³1³2³3³4³5³1³2³3³4³5³1
³2³3³4³5³1³2³3³4³5"/>
<Ravel vid="23" cells="³1"/>
<Ravel vid="24" cells="²*⁰"/>
<Ravel vid="25" cells="² ⁰"/>
<Ravel vid="26" cells="³1"/>
<Ravel vid="27" cells="³2"/>
<Ravel vid="28" cells="³1"/>
<Ravel vid="29" cells="³77³7³19³54³24³32³84³40³5³95³97³76³82³92³63³26
³10³98³21³50³38³80³99³90³30³74³85³81³47³93³88³61³59³17³56³12³69³66
³65³20³44³41³6³60³18³39³67³35³22³52³16³57³87³48³28³72³29³15³33³46³42
³34³86³11³55³58³31³1³43³53³94³49³23³78³64³68³13³37³45³89³62³75³3³36
³51³14³100³25³91³9³27³79³71³96³2³8³70³4³83³73³-10³9³8³7³6³5³4³3³2³1
³0"/>
<Ravel vid="30" cells="³7"/>
<Ravel vid="31" cells="³0³0³0³0³1³0³0³0³0³0³0³0³1³0³1³0³0³0³0³0³1³0³0
³0³1³0³0³0³1³0³0³0³0³0³1³0³1³0³0³0³0³0³0³0³1³0³1³0³0³0³0³0³1³0³0³0³1
³0³0³0³1³0³0³0³0³0³1³0³1³0³0³0³0³0³0³0³1³0³0³0³0"/>
<Ravel vid="32" cells="³0³0³0³0³1³0³0³0³0³0³0³0³1³0³1³0³0³0³0³0³1³0³0
³0³1³0³0³0³1³0³0³0³0³0³1³0³1³0³0³0³0³0³0³0³1³0³1³0³0³0³0³0³1³0³0³0³1
³0³0³0³1³0³0³0³0³0³1³0³1³0³0³0³0³0³0³0³1³0³0³0³0"/>
<Ravel vid="33" cells="³1³0³0³0³0³1³0³0³0³0³1³0³0³0³0³1"/>
<Ravel vid="34" cells="³0³0³0³1³0³0³0³1³0³0³0³1"/>
<Ravel vid="35" cells="⁴1e-13"/>
<SymbolTable size="10">
<Symbol name="a" stack-size="1">
<Variable vid="22"/>
</Symbol>
<Symbol name="formmatrix" stack-size="1">
<Function creation-time="1533163987492517" exec-properties="0,0,0,0">
<UCS uni="²z←formmatrix x;y⁰¹A
²x←identity x⁰¹A
²x←(⌽x),(lessmid x)⁰¹A
²y←⊖x⁰¹A
²y←⍉(lessmid ⍉y)⁰¹A
²x←x,[1]y⁰¹A
²z←x⁰¹A
"/>
</Function>
</Symbol>
<Symbol name="identity" stack-size="1">
<Function creation-time="1533166733894677" exec-properties="0,0,0,0">
<UCS uni="²z←identity n⁰¹A
²z←n n ⍴(⁰¹22²*⁰¹22²,n⍴⁰¹22² ⁰¹22²)⁰¹A
"/>
</Function>
</Symbol>
<Symbol name="lessmid" stack-size="1">
<Function creation-time="1533163903938063" exec-properties="0,0,0,0">
<UCS uni="²z←lessmid x;rhox;rhoy⁰¹A
²rhox← 1↑⍴x⁰¹A
²rhoy←(⍴x)[2]⁰¹A
²z← x[⍳rhox;1↓⍳rhoy]⁰¹A
"/>
</Function>
</Symbol>
<Symbol name="list" stack-size="1">
<Variable vid="29"/>
</Symbol>
<Symbol name="n" stack-size="1">
<Variable vid="30"/>
</Symbol>
<Symbol name="ravldtest" stack-size="1">
<Variable vid="31"/>
</Symbol>
<Symbol name="test" stack-size="1">
<Variable vid="32"/>
</Symbol>
<Symbol name="x" stack-size="1">
<Variable vid="33"/>
</Symbol>
<Symbol name="y" stack-size="1">
<Variable vid="34"/>
</Symbol>
</SymbolTable>
<Symbol name="⎕AI" stack-size="1">
<Variable vid="1"/>
</Symbol>
<Symbol name="⎕ARG" stack-size="1">
<unused-name/>
</Symbol>
<Symbol name="⎕AV" stack-size="1">
<Variable vid="2"/>
</Symbol>
<Symbol name="⎕CT" stack-size="1">
<Variable vid="35"/>
</Symbol>
<Symbol name="⎕EM" stack-size="1">
<unused-name/>
</Symbol>
<Symbol name="⎕ET" stack-size="1">
<unused-name/>
</Symbol>
<Symbol name="⎕FC" stack-size="1">
<Variable vid="3"/>
</Symbol>
<Symbol name="⎕IO" stack-size="1">
<Variable vid="4"/>
</Symbol>
<Symbol name="⎕L" stack-size="1">
<Variable vid="8"/>
</Symbol>
<Symbol name="⎕LC" stack-size="1">
<Variable vid="6"/>
</Symbol>
<Symbol name="⎕LX" stack-size="1">
<Variable vid="5"/>
</Symbol>
<Symbol name="⎕PP" stack-size="1">
<Variable vid="7"/>
</Symbol>
<Symbol name="⎕PR" stack-size="1">
<Variable vid="19"/>
</Symbol>
<Symbol name="⎕PS" stack-size="1">
<Variable vid="9"/>
</Symbol>
<Symbol name="⎕PW" stack-size="1">
<Variable vid="20"/>
</Symbol>
<Symbol name="⎕R" stack-size="1">
<Variable vid="11"/>
</Symbol>
<Symbol name="⎕RL" stack-size="1">
<Variable vid="18"/>
</Symbol>
<Symbol name="⎕SVE" stack-size="1">
<Variable vid="10"/>
</Symbol>
<Symbol name="⎕SYL" stack-size="1">
<Variable vid="14"/>
</Symbol>
<Symbol name="⎕TC" stack-size="1">
<Variable vid="12"/>
</Symbol>
<Symbol name="⎕TS" stack-size="1">
<Variable vid="13"/>
</Symbol>
<Symbol name="⎕TZ" stack-size="1">
<Variable vid="16"/>
</Symbol>
<Symbol name="⎕UL" stack-size="1">
<Variable vid="15"/>
</Symbol>
<Symbol name="⎕X" stack-size="1">
<Variable vid="21"/>
</Symbol>
<Symbol name="⎕WA" stack-size="1">
<Variable vid="17"/>
</Symbol>
<Symbol name="λ" stack-size="1">
<unused-name/>
</Symbol>
<Symbol name="⍺" stack-size="1">
<unused-name/>
</Symbol>
<Symbol name="⍵" stack-size="1">
<unused-name/>
</Symbol>
<Symbol name="χ" stack-size="1">
<unused-name/>
</Symbol>
<Symbol name="⍶" stack-size="1">
<unused-name/>
</Symbol>
<Symbol name="⍹" stack-size="1">
<unused-name/>
</Symbol>
<StateIndicator levels="0">
</StateIndicator>
</Workspace>