Context Navigation

← Previous Changeset
Next Changeset →

Changeset 401

Timestamp:

08/01/06 00:38:48 (4 years ago)

Author:

vasi

Message:

mult works, want it better

Location:

icfp2006/trunk

Files:

: 3 modified

mult.2d (modified) (1 diff)
mult.graffle (modified) (18 diffs)
passwords (modified) (1 diff)

Legend:

: Unmodified
: Added
: Removed

icfp2006/trunk/mult.2d

r400	r401
17	17
18	18
19		mult N,W =
20		case N
21		Inr val: N
22		Inl val: plus (mult val,W), W
	19	,......\|.................................,
	20	:mult v :
	21	: ================== :
	22	: !send [(N,S),(N,E)]!------+ :
	23	: ================== \| :
	24	: \| \| :
	25	: v v :
	26	: ============= ======== ========:
	27	->!case W of E,S!->!use mult!->!use plus!-
	28	: ============= ======== ========:
	29	: \| :
	30	: v :
	31	:================= :
	32	:!send [(Inr (),E)]!----------------------
	33	:================= :
	34	,........................................,
23	35
24		,.....\|
25		:mult v
26		:============== =================
27		:!case N of S, E!>\|send [(Inr (),E)]!----
28		:============== =================
29		: \|
30		: +--------------------+
31		: v
32		:================== ========
33		-!send [(W,S),(W,E)]!>!use mult!>
34		:================== ========
	36	,..............................................................,
	37	:main :
	38	: :
	39	: ================================================ :
	40	: !send [(Inl Inl Inl Inr (),E),(Inl Inl Inr (),S)]!--+ :
	41	: ================================================ \| :
	42	: \| v :
	43	: \| ======== :
	44	: +--------------------------->!use mult!-----
	45	: ======== :
	46	,..............................................................,

icfp2006/trunk/mult.graffle

r400	r401
34	34	<string>LineGraphic</string>
35	35	<key>ID</key>
	36	<integer>18</integer>
	37	<key>OrthogonalBarAutomatic</key>
	38	<true/>
	39	<key>OrthogonalBarPosition</key>
	40	<real>-1</real>
	41	<key>Points</key>
	42	<array>
	43	<string>{48, 154}</string>
	44	<string>{21, 154}</string>
	45	</array>
	46	<key>Style</key>
	47	<dict>
	48	<key>stroke</key>
	49	<dict>
	50	<key>HeadArrow</key>
	51	<string>0</string>
	52	<key>LineType</key>
	53	<integer>2</integer>
	54	<key>TailArrow</key>
	55	<string>0</string>
	56	</dict>
	57	</dict>
	58	<key>Tail</key>
	59	<dict>
	60	<key>ID</key>
	61	<integer>2</integer>
	62	<key>Info</key>
	63	<integer>4</integer>
	64	</dict>
	65	</dict>
	66	<dict>
	67	<key>Class</key>
	68	<string>LineGraphic</string>
	69	<key>ID</key>
36	70	<integer>17</integer>
37	71	<key>OrthogonalBarAutomatic</key>
…	…
41	75	<key>Points</key>
42	76	<array>
43		<string>{109.5, 270}</string>
44		<string>{45, 270}</string>
45		</array>
46		<key>Style</key>
47		<dict>
48		<key>stroke</key>
49		<dict>
50		<key>HeadArrow</key>
51		<string>0</string>
52		<key>LineType</key>
53		<integer>2</integer>
54		<key>TailArrow</key>
55		<string>0</string>
56		</dict>
57		</dict>
58		<key>Tail</key>
59		<dict>
60		<key>ID</key>
61		<integer>8</integer>
62		</dict>
63		</dict>
64		<dict>
65		<key>Class</key>
66		<string>LineGraphic</string>
67		<key>ID</key>
68		<integer>16</integer>
69		<key>OrthogonalBarAutomatic</key>
70		<true/>
71		<key>OrthogonalBarPosition</key>
72		<real>-1</real>
73		<key>Points</key>
74		<array>
75		<string>{482.5, 270}</string>
76		<string>{533, 270}</string>
77		</array>
78		<key>Style</key>
79		<dict>
80		<key>stroke</key>
81		<dict>
82		<key>HeadArrow</key>
83		<string>0</string>
84		<key>LineType</key>
85		<integer>2</integer>
86		<key>TailArrow</key>
87		<string>0</string>
88		</dict>
89		</dict>
90		<key>Tail</key>
91		<dict>
92		<key>ID</key>
93		<integer>14</integer>
94		</dict>
95		</dict>
96		<dict>
97		<key>Class</key>
98		<string>LineGraphic</string>
99		<key>Head</key>
100		<dict>
101		<key>ID</key>
102		<integer>14</integer>
103		</dict>
104		<key>ID</key>
105		<integer>13</integer>
106		<key>OrthogonalBarAutomatic</key>
107		<true/>
108		<key>OrthogonalBarPosition</key>
109		<real>19.416793823242188</real>
110		<key>Points</key>
111		<array>
112		<string>{224.305, 286.166}</string>
113		<string>{374, 339}</string>
114		<string>{380, 222}</string>
115		<string>{423.596, 253.706}</string>
	77	<string>{213.5, 78}</string>
	78	<string>{213.5, 52}</string>
116	79	</array>
117	80	<key>Style</key>
…	…
140	103	<key>Class</key>
141	104	<string>LineGraphic</string>
	105	<key>ID</key>
	106	<integer>16</integer>
	107	<key>OrthogonalBarAutomatic</key>
	108	<true/>
	109	<key>OrthogonalBarPosition</key>
	110	<real>-1</real>
	111	<key>Points</key>
	112	<array>
	113	<string>{341, 154}</string>
	114	<string>{370, 154}</string>
	115	</array>
	116	<key>Style</key>
	117	<dict>
	118	<key>stroke</key>
	119	<dict>
	120	<key>HeadArrow</key>
	121	<string>0</string>
	122	<key>HopLines</key>
	123	<true/>
	124	<key>HopType</key>
	125	<integer>1</integer>
	126	<key>LineType</key>
	127	<integer>2</integer>
	128	<key>TailArrow</key>
	129	<string>0</string>
	130	</dict>
	131	</dict>
	132	<key>Tail</key>
	133	<dict>
	134	<key>ID</key>
	135	<integer>14</integer>
	136	<key>Info</key>
	137	<integer>3</integer>
	138	</dict>
	139	</dict>
	140	<dict>
	141	<key>Class</key>
	142	<string>LineGraphic</string>
142	143	<key>Head</key>
143	144	<dict>
144	145	<key>ID</key>
145	146	<integer>14</integer>
	147	<key>Info</key>
	148	<integer>2</integer>
	149	</dict>
	150	<key>ID</key>
	151	<integer>13</integer>
	152	<key>OrthogonalBarAutomatic</key>
	153	<true/>
	154	<key>OrthogonalBarPosition</key>
	155	<real>-1</real>
	156	<key>Points</key>
	157	<array>
	158	<string>{282, 94}</string>
	159	<string>{305, 138}</string>
	160	</array>
	161	<key>Style</key>
	162	<dict>
	163	<key>stroke</key>
	164	<dict>
	165	<key>HeadArrow</key>
	166	<string>0</string>
	167	<key>HopLines</key>
	168	<true/>
	169	<key>HopType</key>
	170	<integer>1</integer>
	171	<key>LineType</key>
	172	<integer>2</integer>
	173	<key>TailArrow</key>
	174	<string>0</string>
	175	</dict>
	176	</dict>
	177	<key>Tail</key>
	178	<dict>
	179	<key>ID</key>
	180	<integer>8</integer>
	181	</dict>
	182	</dict>
	183	<dict>
	184	<key>Class</key>
	185	<string>LineGraphic</string>
	186	<key>Head</key>
	187	<dict>
	188	<key>ID</key>
	189	<integer>14</integer>
146	190	</dict>
147	191	<key>ID</key>
…	…
153	197	<key>Points</key>
154	198	<array>
155		<string>{353.5, 270}</string>
156		<string>{409.5, 270}</string>
157		</array>
158		<key>Style</key>
159		<dict>
160		<key>stroke</key>
161		<dict>
162		<key>HeadArrow</key>
163		<string>0</string>
	199	<string>{249.5, 154}</string>
	200	<string>{269, 154}</string>
	201	</array>
	202	<key>Style</key>
	203	<dict>
	204	<key>stroke</key>
	205	<dict>
	206	<key>HeadArrow</key>
	207	<string>0</string>
	208	<key>HopLines</key>
	209	<true/>
	210	<key>HopType</key>
	211	<integer>1</integer>
164	212	<key>LineType</key>
165	213	<integer>2</integer>
…	…
176	224	<dict>
177	225	<key>Bounds</key>
178		<string>{{~~410, 254~~}, {72, 32}}</string>
	226	<string>{{269, 138}, {72, 32}}</string>
179	227	<key>Class</key>
180	228	<string>ShapedGraphic</string>
181	229	<key>ID</key>
182	230	<integer>14</integer>
	231	<key>Magnets</key>
	232	<array>
	233	<string>{0, 1}</string>
	234	<string>{0, -1}</string>
	235	<string>{1, 0}</string>
	236	<string>{-1, 0}</string>
	237	</array>
183	238	<key>Shape</key>
184	239	<string>Rectangle</string>
…	…
201	256	<key>ID</key>
202	257	<integer>9</integer>
	258	<key>Info</key>
	259	<integer>4</integer>
203	260	</dict>
204	261	<key>ID</key>
…	…
207	264	<true/>
208	265	<key>OrthogonalBarPosition</key>
209		<real>69.635848999023438</real>
210		<key>Points</key>
211		<array>
212		<string>{157.396, 100.364}</string>
213		<string>{301.604, 253.636}</string>
214		</array>
215		<key>Style</key>
216		<dict>
217		<key>stroke</key>
218		<dict>
219		<key>HeadArrow</key>
220		<string>0</string>
	266	<real>-1</real>
	267	<key>Points</key>
	268	<array>
	269	<string>{158, 154}</string>
	270	<string>{177.5, 154}</string>
	271	</array>
	272	<key>Style</key>
	273	<dict>
	274	<key>stroke</key>
	275	<dict>
	276	<key>HeadArrow</key>
	277	<string>0</string>
	278	<key>HopLines</key>
	279	<true/>
	280	<key>HopType</key>
	281	<integer>1</integer>
221	282	<key>LineType</key>
222	283	<integer>2</integer>
…	…
238	299	<key>ID</key>
239	300	<integer>9</integer>
	301	<key>Info</key>
	302	<integer>2</integer>
240	303	</dict>
241	304	<key>ID</key>
…	…
247	310	<key>Points</key>
248	311	<array>
249		<string>{247.5, 270}</string>
250		<string>{280.5, 270}</string>
251		</array>
252		<key>Style</key>
253		<dict>
254		<key>stroke</key>
255		<dict>
256		<key>HeadArrow</key>
257		<string>0</string>
	312	<string>{213.5, 110}</string>
	313	<string>{213.5, 138}</string>
	314	</array>
	315	<key>Style</key>
	316	<dict>
	317	<key>stroke</key>
	318	<dict>
	319	<key>HeadArrow</key>
	320	<string>0</string>
	321	<key>HopLines</key>
	322	<true/>
	323	<key>HopType</key>
	324	<integer>1</integer>
258	325	<key>LineType</key>
259	326	<integer>2</integer>
…	…
266	333	<key>ID</key>
267	334	<integer>8</integer>
	335	<key>Info</key>
	336	<integer>1</integer>
268	337	</dict>
269	338	</dict>
270	339	<dict>
271	340	<key>Bounds</key>
272		<string>{{~~281, 254~~}, {72, 32}}</string>
	341	<string>{{177.5, 138}, {72, 32}}</string>
273	342	<key>Class</key>
274	343	<string>ShapedGraphic</string>
275	344	<key>ID</key>
276	345	<integer>9</integer>
	346	<key>Magnets</key>
	347	<array>
	348	<string>{0, 1}</string>
	349	<string>{0, -1}</string>
	350	<string>{1, 0}</string>
	351	<string>{-1, 0}</string>
	352	</array>
277	353	<key>Shape</key>
278	354	<string>Rectangle</string>
…	…
290	366	<dict>
291	367	<key>Bounds</key>
292		<string>{{1~~10, 254~~}, {137, 32}}</string>
	368	<string>{{145, 78}, {137, 32}}</string>
293	369	<key>Class</key>
294	370	<string>ShapedGraphic</string>
295	371	<key>ID</key>
296	372	<integer>8</integer>
	373	<key>Magnets</key>
	374	<array>
	375	<string>{0, 1}</string>
	376	<string>{0, -1}</string>
	377	<string>{1, 0}</string>
	378	<string>{-1, 0}</string>
	379	</array>
297	380	<key>Shape</key>
298	381	<string>Rectangle</string>
…	…
305	388	\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
306	389
307		\f0\b\fs28 \cf0 send [(W,S),(W,E)]}</string>
	390	\f0\b\fs28 \cf0 send [(N,S),(N,E)]}</string>
	391	</dict>
	392	</dict>
	393	<dict>
	394	<key>Class</key>
	395	<string>LineGraphic</string>
	396	<key>ID</key>
	397	<integer>5</integer>
	398	<key>OrthogonalBarAutomatic</key>
	399	<true/>
	400	<key>OrthogonalBarPosition</key>
	401	<real>-1</real>
	402	<key>Points</key>
	403	<array>
	404	<string>{275, 214}</string>
	405	<string>{367, 214}</string>
	406	</array>
	407	<key>Style</key>
	408	<dict>
	409	<key>stroke</key>
	410	<dict>
	411	<key>HeadArrow</key>
	412	<string>0</string>
	413	<key>HopLines</key>
	414	<true/>
	415	<key>HopType</key>
	416	<integer>1</integer>
	417	<key>LineType</key>
	418	<integer>2</integer>
	419	<key>TailArrow</key>
	420	<string>0</string>
	421	</dict>
	422	</dict>
	423	<key>Tail</key>
	424	<dict>
	425	<key>ID</key>
	426	<integer>3</integer>
308	427	</dict>
309	428	</dict>
…	…
314	433	<dict>
315	434	<key>ID</key>
	435	<integer>3</integer>
	436	</dict>
	437	<key>ID</key>
	438	<integer>4</integer>
	439	<key>OrthogonalBarAutomatic</key>
	440	<true/>
	441	<key>OrthogonalBarPosition</key>
	442	<real>-1</real>
	443	<key>Points</key>
	444	<array>
	445	<string>{103, 170}</string>
	446	<string>{152, 214}</string>
	447	</array>
	448	<key>Style</key>
	449	<dict>
	450	<key>stroke</key>
	451	<dict>
	452	<key>HeadArrow</key>
	453	<string>0</string>
	454	<key>HopLines</key>
	455	<true/>
	456	<key>HopType</key>
	457	<integer>1</integer>
	458	<key>LineType</key>
	459	<integer>2</integer>
	460	<key>TailArrow</key>
	461	<string>0</string>
	462	</dict>
	463	</dict>
	464	<key>Tail</key>
	465	<dict>
	466	<key>ID</key>
316	467	<integer>2</integer>
317		</dict>
318		<key>ID</key>
319		<integer>6</integer>
320		<key>OrthogonalBarAutomatic</key>
321		<true/>
322		<key>OrthogonalBarPosition</key>
323		<real>-1</real>
324		<key>Points</key>
325		<array>
326		<string>{142, 21}</string>
327		<string>{142, 67.5}</string>
328		</array>
329		<key>Style</key>
330		<dict>
331		<key>stroke</key>
332		<dict>
333		<key>HeadArrow</key>
334		<string>0</string>
335		<key>LineType</key>
336		<integer>2</integer>
337		<key>TailArrow</key>
338		<string>0</string>
339		</dict>
340		</dict>
341		</dict>
342		<dict>
343		<key>Class</key>
344		<string>LineGraphic</string>
345		<key>ID</key>
346		<integer>5</integer>
347		<key>OrthogonalBarAutomatic</key>
348		<true/>
349		<key>OrthogonalBarPosition</key>
350		<real>-1</real>
351		<key>Points</key>
352		<array>
353		<string>{438.5, 84}</string>
354		<string>{518, 84}</string>
355		</array>
356		<key>Style</key>
357		<dict>
358		<key>stroke</key>
359		<dict>
360		<key>HeadArrow</key>
361		<string>0</string>
362		<key>LineType</key>
363		<integer>2</integer>
364		<key>TailArrow</key>
365		<string>0</string>
366		</dict>
367		</dict>
368		<key>Tail</key>
369		<dict>
370		<key>ID</key>
371		<integer>3</integer>
372		</dict>
373		</dict>
374		<dict>
375		<key>Class</key>
376		<string>LineGraphic</string>
377		<key>Head</key>
378		<dict>
379		<key>ID</key>
380		<integer>3</integer>
381		</dict>
382		<key>ID</key>
383		<integer>4</integer>
384		<key>OrthogonalBarAutomatic</key>
385		<true/>
386		<key>OrthogonalBarPosition</key>
387		<real>-1</real>
388		<key>Points</key>
389		<array>
390		<string>{197.5, 84}</string>
391		<string>{314.5, 84}</string>
392		</array>
393		<key>Style</key>
394		<dict>
395		<key>stroke</key>
396		<dict>
397		<key>HeadArrow</key>
398		<string>0</string>
399		<key>LineType</key>
400		<integer>2</integer>
401		<key>TailArrow</key>
402		<string>0</string>
403		</dict>
404		</dict>
405		<key>Tail</key>
406		<dict>
407		<key>ID</key>
408		<integer>2</integer>
	468	<key>Info</key>
	469	<integer>1</integer>
409	470	</dict>
410	471	</dict>
411	472	<dict>
412	473	<key>Bounds</key>
413		<string>{{~~315, 6~~8}, {123, 32}}</string>
	474	<string>{{152, 198}, {123, 32}}</string>
414	475	<key>Class</key>
415	476	<string>ShapedGraphic</string>
416	477	<key>ID</key>
417	478	<integer>3</integer>
	479	<key>Magnets</key>
	480	<array>
	481	<string>{0, 1}</string>
	482	<string>{0, -1}</string>
	483	<string>{1, 0}</string>
	484	<string>{-1, 0}</string>
	485	</array>
418	486	<key>Shape</key>
419	487	<string>Rectangle</string>
…	…
426	494	\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
427	495
428		\f0\b\fs28 \cf0 send [(Inr (), E)]}</string>
	496	\f0\b\fs28 \cf0 send [(Inr (),E)]}</string>
429	497	</dict>
430	498	</dict>
431	499	<dict>
432	500	<key>Bounds</key>
433		<string>{{~~87, 6~~8}, {110, 32}}</string>
	501	<string>{{48, 138}, {110, 32}}</string>
434	502	<key>Class</key>
435	503	<string>ShapedGraphic</string>
436	504	<key>ID</key>
437	505	<integer>2</integer>
	506	<key>Magnets</key>
	507	<array>
	508	<string>{0, 1}</string>
	509	<string>{0, -1}</string>
	510	<string>{1, 0}</string>
	511	<string>{-1, 0}</string>
	512	</array>
438	513	<key>Shape</key>
439	514	<string>Rectangle</string>
…	…
446	521	\pard\tx560\tx1120\tx1680\tx2240\tx2800\tx3360\tx3920\tx4480\tx5040\tx5600\tx6160\tx6720\qc\pardirnatural
447	522
448		\f0\b\fs28 \cf0 case ~~N of S, E~~}</string>
	523	\f0\b\fs28 \cf0 case W of E,S}</string>
449	524	</dict>
450	525	</dict>
…	…
555	630	</array>
556	631	<key>ModificationDate</key>
557		<string>2006-08-01 00:1~~2:10~~ -0400</string>
	632	<string>2006-08-01 00:19:23 -0400</string>
558	633	<key>Modifier</key>
559	634	<string>Dave Vasilevsky</string>
…	…
622	697	<false/>
623	698	<key>Frame</key>
624		<string>{{181, ~~485}, {820, 487~~}}</string>
	699	<string>{{181, 311}, {845, 661}}</string>
625	700	<key>ShowRuler</key>
626	701	<false/>
…	…
628	703	<true/>
629	704	<key>VisibleRegion</key>
630		<string>{{-1~~05, 0}, {805, 373~~}}</string>
	705	<string>{{-118, 0}, {830, 547}}</string>
631	706	<key>Zoom</key>
632	707	<string>1</string>

icfp2006/trunk/passwords

r392	r401
1	1	ftd falderal90
2	2	guest ---
3		gardener mathematica
	3	gardener mathemantica
4	4	ohmega bidirectional
5	5	yang U+262F
6	6	howie xyzzy
7	7	hmonk COMEFROM
8		bbarker
	8	bbarker plinko
9	9	root?

Context Navigation

Changeset 401

Legend:

icfp2006/trunk/mult.2d

icfp2006/trunk/mult.graffle

icfp2006/trunk/passwords

Download in other formats: