Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/ein16/synth/d2/stash/results_ty.txt
ViewVC logotype

Diff of /branches/ein16/synth/d2/stash/results_ty.txt

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 4263, Mon Jul 25 23:52:25 2016 UTC revision 4284, Tue Jul 26 21:11:09 2016 UTC
# Line 82  Line 82 
82          -F_v3_d3|t_0__14_7_          -F_v3_d3|t_0__14_7_
83  slicet0_neg |0_15  slicet0_neg |0_15
84  slicet1_neg |0_16  slicet1_neg |0_16
85    addition_neg |0_17
86            -F_sc_d1,F_sc_d1|t_0__17_0_
87            -F_sc_d2,F_sc_d2|t_0__17_1_
88            -F_v2_d2,F_v2_d2|t_0__17_2_
89            -F_v3_d2,F_v3_d2|t_0__17_3_
90            -F_m2x2_d2,F_m2x2_d2|t_0__17_4_
91            -F_sc_d3,F_sc_d3|t_0__17_5_
92            -F_v2_d3,F_v2_d3|t_0__17_6_
93            -F_v3_d3,F_v3_d3|t_0__17_7_
94            -F_m2x2_d3,F_m2x2_d3|t_0__17_8_
95    subtraction_neg |0_18
96            -F_sc_d1,F_sc_d1|t_0__18_0_
97            -F_sc_d2,F_sc_d2|t_0__18_1_
98            -F_v2_d2,F_v2_d2|t_0__18_2_
99            -F_v3_d2,F_v3_d2|t_0__18_3_
100            -F_m2x2_d2,F_m2x2_d2|t_0__18_4_
101            -F_sc_d3,F_sc_d3|t_0__18_5_
102            -F_v2_d3,F_v2_d3|t_0__18_6_
103            -F_v3_d3,F_v3_d3|t_0__18_7_
104            -F_m2x2_d3,F_m2x2_d3|t_0__18_8_
105    cross product_neg |0_19
106            -F_v2_d2,F_v2_d2|t_0__19_2_
107            -F_v3_d3,F_v3_d3|t_0__19_7_
108    outer product_neg |0_20
109            -F_v2_d2,F_v2_d2|t_0__20_2_
110            -F_v3_d2,F_v2_d2|t_0__20_3_
111            -F_m2x2_d2,F_v2_d2|t_0__20_4_
112            -F_v2_d2,F_v3_d2|t_0__20_2_
113            -F_v3_d2,F_v3_d2|t_0__20_3_
114            -F_v2_d2,F_m2x2_d2|t_0__20_2_
115            -F_v2_d3,F_v2_d3|t_0__20_6_
116            -F_v3_d3,F_v2_d3|t_0__20_7_
117            -F_m2x2_d3,F_v2_d3|t_0__20_8_
118            -F_v2_d3,F_v3_d3|t_0__20_6_
119            -F_v3_d3,F_v3_d3|t_0__20_7_
120            -F_v2_d3,F_m2x2_d3|t_0__20_6_
121    inner product_neg |0_21
122            -F_v2_d2,F_v2_d2|t_0__21_2_
123            -F_m2x2_d2,F_v2_d2|t_0__21_4_
124            -F_v3_d2,F_v3_d2|t_0__21_3_
125            -F_v2_d2,F_m2x2_d2|t_0__21_2_
126            -F_m2x2_d2,F_m2x2_d2|t_0__21_4_
127            -F_v2_d3,F_v2_d3|t_0__21_6_
128            -F_m2x2_d3,F_v2_d3|t_0__21_8_
129            -F_v3_d3,F_v3_d3|t_0__21_7_
130            -F_v2_d3,F_m2x2_d3|t_0__21_6_
131            -F_m2x2_d3,F_m2x2_d3|t_0__21_8_
132    multiplication_neg |0_22
133            -F_sc_d1,F_sc_d1|t_0__22_0_
134            -F_sc_d2,F_sc_d2|t_0__22_1_
135            -F_v2_d2,F_sc_d2|t_0__22_2_
136            -F_v3_d2,F_sc_d2|t_0__22_3_
137            -F_m2x2_d2,F_sc_d2|t_0__22_4_
138            -F_sc_d2,F_v2_d2|t_0__22_1_
139            -F_sc_d2,F_v3_d2|t_0__22_1_
140            -F_sc_d2,F_m2x2_d2|t_0__22_1_
141            -F_sc_d3,F_sc_d3|t_0__22_5_
142            -F_v2_d3,F_sc_d3|t_0__22_6_
143            -F_v3_d3,F_sc_d3|t_0__22_7_
144            -F_m2x2_d3,F_sc_d3|t_0__22_8_
145            -F_sc_d3,F_v2_d3|t_0__22_5_
146            -F_sc_d3,F_v3_d3|t_0__22_5_
147            -F_sc_d3,F_m2x2_d3|t_0__22_5_
148    division_neg |0_23
149            -F_sc_d1,F_sc_d1|t_0__23_0_
150            -F_sc_d2,F_sc_d2|t_0__23_1_
151            -F_v2_d2,F_sc_d2|t_0__23_2_
152            -F_v3_d2,F_sc_d2|t_0__23_3_
153            -F_m2x2_d2,F_sc_d2|t_0__23_4_
154            -F_sc_d3,F_sc_d3|t_0__23_5_
155            -F_v2_d3,F_sc_d3|t_0__23_6_
156            -F_v3_d3,F_sc_d3|t_0__23_7_
157            -F_m2x2_d3,F_sc_d3|t_0__23_8_
158    modulate_neg |0_24
159            -F_v2_d2,F_v2_d2|t_0__24_2_
160            -F_v3_d2,F_v3_d2|t_0__24_3_
161            -F_m2x2_d2,F_m2x2_d2|t_0__24_4_
162            -F_v2_d3,F_v2_d3|t_0__24_6_
163            -F_v3_d3,F_v3_d3|t_0__24_7_
164            -F_m2x2_d3,F_m2x2_d3|t_0__24_8_
165    op_doubledot_neg |0_25
166            -F_m2x2_d2,F_m2x2_d2|t_0__25_4_
167            -F_m2x2_d3,F_m2x2_d3|t_0__25_8_
168    
169  norm |1  norm |1
170  neg_norm |1_0  neg_norm |1_0
# Line 146  Line 229 
229  slicev1_norm |1_14  slicev1_norm |1_14
230  slicet0_norm |1_15  slicet0_norm |1_15
231  slicet1_norm |1_16  slicet1_norm |1_16
232    addition_norm |1_17
233            -F_sc_d1,F_sc_d1|t_1__17_0_
234            -F_sc_d2,F_sc_d2|t_1__17_1_
235            -F_v2_d2,F_sc_d2|t_1__17_2_
236            -F_v3_d2,F_sc_d2|t_1__17_3_
237            -F_m2x2_d2,F_sc_d2|t_1__17_4_
238            -F_sc_d3,F_sc_d3|t_1__17_5_
239            -F_v2_d3,F_sc_d3|t_1__17_6_
240            -F_v3_d3,F_sc_d3|t_1__17_7_
241            -F_m2x2_d3,F_sc_d3|t_1__17_8_
242    subtraction_norm |1_18
243            -F_sc_d1,F_sc_d1|t_1__18_0_
244            -F_sc_d2,F_sc_d2|t_1__18_1_
245            -F_v2_d2,F_sc_d2|t_1__18_2_
246            -F_v3_d2,F_sc_d2|t_1__18_3_
247            -F_m2x2_d2,F_sc_d2|t_1__18_4_
248            -F_sc_d3,F_sc_d3|t_1__18_5_
249            -F_v2_d3,F_sc_d3|t_1__18_6_
250            -F_v3_d3,F_sc_d3|t_1__18_7_
251            -F_m2x2_d3,F_sc_d3|t_1__18_8_
252    cross product_norm |1_19
253    outer product_norm |1_20
254    inner product_norm |1_21
255    multiplication_norm |1_22
256            -F_sc_d1,F_sc_d1|t_1__22_0_
257            -F_sc_d2,F_sc_d2|t_1__22_1_
258            -F_v2_d2,F_sc_d2|t_1__22_2_
259            -F_v3_d2,F_sc_d2|t_1__22_3_
260            -F_m2x2_d2,F_sc_d2|t_1__22_4_
261            -F_sc_d2,F_v2_d2|t_1__22_1_
262            -F_v2_d2,F_v2_d2|t_1__22_2_
263            -F_v3_d2,F_v2_d2|t_1__22_3_
264            -F_m2x2_d2,F_v2_d2|t_1__22_4_
265            -F_sc_d2,F_v3_d2|t_1__22_1_
266            -F_v2_d2,F_v3_d2|t_1__22_2_
267            -F_v3_d2,F_v3_d2|t_1__22_3_
268            -F_m2x2_d2,F_v3_d2|t_1__22_4_
269            -F_sc_d2,F_m2x2_d2|t_1__22_1_
270            -F_v2_d2,F_m2x2_d2|t_1__22_2_
271            -F_v3_d2,F_m2x2_d2|t_1__22_3_
272            -F_m2x2_d2,F_m2x2_d2|t_1__22_4_
273            -F_sc_d3,F_sc_d3|t_1__22_5_
274            -F_v2_d3,F_sc_d3|t_1__22_6_
275            -F_v3_d3,F_sc_d3|t_1__22_7_
276            -F_m2x2_d3,F_sc_d3|t_1__22_8_
277            -F_sc_d3,F_v2_d3|t_1__22_5_
278            -F_v2_d3,F_v2_d3|t_1__22_6_
279            -F_v3_d3,F_v2_d3|t_1__22_7_
280            -F_m2x2_d3,F_v2_d3|t_1__22_8_
281            -F_sc_d3,F_v3_d3|t_1__22_5_
282            -F_v2_d3,F_v3_d3|t_1__22_6_
283            -F_v3_d3,F_v3_d3|t_1__22_7_
284            -F_m2x2_d3,F_v3_d3|t_1__22_8_
285            -F_sc_d3,F_m2x2_d3|t_1__22_5_
286            -F_v2_d3,F_m2x2_d3|t_1__22_6_
287            -F_v3_d3,F_m2x2_d3|t_1__22_7_
288            -F_m2x2_d3,F_m2x2_d3|t_1__22_8_
289    division_norm |1_23
290            -F_sc_d1,F_sc_d1|t_1__23_0_
291            -F_sc_d2,F_sc_d2|t_1__23_1_
292            -F_v2_d2,F_sc_d2|t_1__23_2_
293            -F_v3_d2,F_sc_d2|t_1__23_3_
294            -F_m2x2_d2,F_sc_d2|t_1__23_4_
295            -F_sc_d3,F_sc_d3|t_1__23_5_
296            -F_v2_d3,F_sc_d3|t_1__23_6_
297            -F_v3_d3,F_sc_d3|t_1__23_7_
298            -F_m2x2_d3,F_sc_d3|t_1__23_8_
299    modulate_norm |1_24
300    op_doubledot_norm |1_25
301    
302  normalize |2  normalize |2
303  neg_normalize |2_0  neg_normalize |2_0
# Line 228  Line 380 
380          -F_v3_d3|t_2__14_7_          -F_v3_d3|t_2__14_7_
381  slicet0_normalize |2_15  slicet0_normalize |2_15
382  slicet1_normalize |2_16  slicet1_normalize |2_16
383    addition_normalize |2_17
384            -F_sc_d1,F_sc_d1|t_2__17_0_
385            -F_sc_d2,F_sc_d2|t_2__17_1_
386            -F_v2_d2,F_v2_d2|t_2__17_2_
387            -F_v3_d2,F_v3_d2|t_2__17_3_
388            -F_m2x2_d2,F_m2x2_d2|t_2__17_4_
389            -F_sc_d3,F_sc_d3|t_2__17_5_
390            -F_v2_d3,F_v2_d3|t_2__17_6_
391            -F_v3_d3,F_v3_d3|t_2__17_7_
392            -F_m2x2_d3,F_m2x2_d3|t_2__17_8_
393    subtraction_normalize |2_18
394            -F_sc_d1,F_sc_d1|t_2__18_0_
395            -F_sc_d2,F_sc_d2|t_2__18_1_
396            -F_v2_d2,F_v2_d2|t_2__18_2_
397            -F_v3_d2,F_v3_d2|t_2__18_3_
398            -F_m2x2_d2,F_m2x2_d2|t_2__18_4_
399            -F_sc_d3,F_sc_d3|t_2__18_5_
400            -F_v2_d3,F_v2_d3|t_2__18_6_
401            -F_v3_d3,F_v3_d3|t_2__18_7_
402            -F_m2x2_d3,F_m2x2_d3|t_2__18_8_
403    cross product_normalize |2_19
404            -F_v2_d2,F_v2_d2|t_2__19_2_
405            -F_v3_d3,F_v3_d3|t_2__19_7_
406    outer product_normalize |2_20
407            -F_v2_d2,F_v2_d2|t_2__20_2_
408            -F_v3_d2,F_v2_d2|t_2__20_3_
409            -F_m2x2_d2,F_v2_d2|t_2__20_4_
410            -F_v2_d2,F_v3_d2|t_2__20_2_
411            -F_v3_d2,F_v3_d2|t_2__20_3_
412            -F_v2_d2,F_m2x2_d2|t_2__20_2_
413            -F_v2_d3,F_v2_d3|t_2__20_6_
414            -F_v3_d3,F_v2_d3|t_2__20_7_
415            -F_m2x2_d3,F_v2_d3|t_2__20_8_
416            -F_v2_d3,F_v3_d3|t_2__20_6_
417            -F_v3_d3,F_v3_d3|t_2__20_7_
418            -F_v2_d3,F_m2x2_d3|t_2__20_6_
419    inner product_normalize |2_21
420            -F_v2_d2,F_v2_d2|t_2__21_2_
421            -F_m2x2_d2,F_v2_d2|t_2__21_4_
422            -F_v3_d2,F_v3_d2|t_2__21_3_
423            -F_v2_d2,F_m2x2_d2|t_2__21_2_
424            -F_m2x2_d2,F_m2x2_d2|t_2__21_4_
425            -F_v2_d3,F_v2_d3|t_2__21_6_
426            -F_m2x2_d3,F_v2_d3|t_2__21_8_
427            -F_v3_d3,F_v3_d3|t_2__21_7_
428            -F_v2_d3,F_m2x2_d3|t_2__21_6_
429            -F_m2x2_d3,F_m2x2_d3|t_2__21_8_
430    multiplication_normalize |2_22
431            -F_sc_d1,F_sc_d1|t_2__22_0_
432            -F_sc_d2,F_sc_d2|t_2__22_1_
433            -F_v2_d2,F_sc_d2|t_2__22_2_
434            -F_v3_d2,F_sc_d2|t_2__22_3_
435            -F_m2x2_d2,F_sc_d2|t_2__22_4_
436            -F_sc_d2,F_v2_d2|t_2__22_1_
437            -F_sc_d2,F_v3_d2|t_2__22_1_
438            -F_sc_d2,F_m2x2_d2|t_2__22_1_
439            -F_sc_d3,F_sc_d3|t_2__22_5_
440            -F_v2_d3,F_sc_d3|t_2__22_6_
441            -F_v3_d3,F_sc_d3|t_2__22_7_
442            -F_m2x2_d3,F_sc_d3|t_2__22_8_
443            -F_sc_d3,F_v2_d3|t_2__22_5_
444            -F_sc_d3,F_v3_d3|t_2__22_5_
445            -F_sc_d3,F_m2x2_d3|t_2__22_5_
446    division_normalize |2_23
447            -F_sc_d1,F_sc_d1|t_2__23_0_
448            -F_sc_d2,F_sc_d2|t_2__23_1_
449            -F_v2_d2,F_sc_d2|t_2__23_2_
450            -F_v3_d2,F_sc_d2|t_2__23_3_
451            -F_m2x2_d2,F_sc_d2|t_2__23_4_
452            -F_sc_d3,F_sc_d3|t_2__23_5_
453            -F_v2_d3,F_sc_d3|t_2__23_6_
454            -F_v3_d3,F_sc_d3|t_2__23_7_
455            -F_m2x2_d3,F_sc_d3|t_2__23_8_
456    modulate_normalize |2_24
457            -F_v2_d2,F_v2_d2|t_2__24_2_
458            -F_v3_d2,F_v3_d2|t_2__24_3_
459            -F_m2x2_d2,F_m2x2_d2|t_2__24_4_
460            -F_v2_d3,F_v2_d3|t_2__24_6_
461            -F_v3_d3,F_v3_d3|t_2__24_7_
462            -F_m2x2_d3,F_m2x2_d3|t_2__24_8_
463    op_doubledot_normalize |2_25
464            -F_m2x2_d2,F_m2x2_d2|t_2__25_4_
465            -F_m2x2_d3,F_m2x2_d3|t_2__25_8_
466    
467  trace |3  trace |3
468  neg_trace |3_0  neg_trace |3_0
# Line 257  Line 492 
492  slicev1_trace |3_14  slicev1_trace |3_14
493  slicet0_trace |3_15  slicet0_trace |3_15
494  slicet1_trace |3_16  slicet1_trace |3_16
495    addition_trace |3_17
496            -F_m2x2_d2,F_sc_d2|t_3__17_0_
497            -F_m2x2_d3,F_sc_d3|t_3__17_1_
498    subtraction_trace |3_18
499            -F_m2x2_d2,F_sc_d2|t_3__18_0_
500            -F_m2x2_d3,F_sc_d3|t_3__18_1_
501    cross product_trace |3_19
502    outer product_trace |3_20
503    inner product_trace |3_21
504    multiplication_trace |3_22
505            -F_m2x2_d2,F_sc_d2|t_3__22_0_
506            -F_m2x2_d2,F_v2_d2|t_3__22_0_
507            -F_m2x2_d2,F_v3_d2|t_3__22_0_
508            -F_m2x2_d2,F_m2x2_d2|t_3__22_0_
509            -F_m2x2_d3,F_sc_d3|t_3__22_1_
510            -F_m2x2_d3,F_v2_d3|t_3__22_1_
511            -F_m2x2_d3,F_v3_d3|t_3__22_1_
512            -F_m2x2_d3,F_m2x2_d3|t_3__22_1_
513    division_trace |3_23
514            -F_m2x2_d2,F_sc_d2|t_3__23_0_
515            -F_m2x2_d3,F_sc_d3|t_3__23_1_
516    modulate_trace |3_24
517    op_doubledot_trace |3_25
518    
519  transpose |4  transpose |4
520  neg_transpose |4_0  neg_transpose |4_0
# Line 294  Line 552 
552  slicev1_transpose |4_14  slicev1_transpose |4_14
553  slicet0_transpose |4_15  slicet0_transpose |4_15
554  slicet1_transpose |4_16  slicet1_transpose |4_16
555    addition_transpose |4_17
556            -F_m2x2_d2,F_m2x2_d2|t_4__17_0_
557            -F_m2x2_d3,F_m2x2_d3|t_4__17_1_
558    subtraction_transpose |4_18
559            -F_m2x2_d2,F_m2x2_d2|t_4__18_0_
560            -F_m2x2_d3,F_m2x2_d3|t_4__18_1_
561    cross product_transpose |4_19
562    outer product_transpose |4_20
563            -F_m2x2_d2,F_v2_d2|t_4__20_0_
564            -F_m2x2_d3,F_v2_d3|t_4__20_1_
565    inner product_transpose |4_21
566            -F_m2x2_d2,F_v2_d2|t_4__21_0_
567            -F_m2x2_d2,F_m2x2_d2|t_4__21_0_
568            -F_m2x2_d3,F_v2_d3|t_4__21_1_
569            -F_m2x2_d3,F_m2x2_d3|t_4__21_1_
570    multiplication_transpose |4_22
571            -F_m2x2_d2,F_sc_d2|t_4__22_0_
572            -F_m2x2_d3,F_sc_d3|t_4__22_1_
573    division_transpose |4_23
574            -F_m2x2_d2,F_sc_d2|t_4__23_0_
575            -F_m2x2_d3,F_sc_d3|t_4__23_1_
576    modulate_transpose |4_24
577            -F_m2x2_d2,F_m2x2_d2|t_4__24_0_
578            -F_m2x2_d3,F_m2x2_d3|t_4__24_1_
579    op_doubledot_transpose |4_25
580            -F_m2x2_d2,F_m2x2_d2|t_4__25_0_
581            -F_m2x2_d3,F_m2x2_d3|t_4__25_1_
582    
583  det |5  det |5
584  neg_det |5_0  neg_det |5_0
# Line 323  Line 608 
608  slicev1_det |5_14  slicev1_det |5_14
609  slicet0_det |5_15  slicet0_det |5_15
610  slicet1_det |5_16  slicet1_det |5_16
611    addition_det |5_17
612            -F_m2x2_d2,F_sc_d2|t_5__17_0_
613            -F_m2x2_d3,F_sc_d3|t_5__17_1_
614    subtraction_det |5_18
615            -F_m2x2_d2,F_sc_d2|t_5__18_0_
616            -F_m2x2_d3,F_sc_d3|t_5__18_1_
617    cross product_det |5_19
618    outer product_det |5_20
619    inner product_det |5_21
620    multiplication_det |5_22
621            -F_m2x2_d2,F_sc_d2|t_5__22_0_
622            -F_m2x2_d2,F_v2_d2|t_5__22_0_
623            -F_m2x2_d2,F_v3_d2|t_5__22_0_
624            -F_m2x2_d2,F_m2x2_d2|t_5__22_0_
625            -F_m2x2_d3,F_sc_d3|t_5__22_1_
626            -F_m2x2_d3,F_v2_d3|t_5__22_1_
627            -F_m2x2_d3,F_v3_d3|t_5__22_1_
628            -F_m2x2_d3,F_m2x2_d3|t_5__22_1_
629    division_det |5_23
630            -F_m2x2_d2,F_sc_d2|t_5__23_0_
631            -F_m2x2_d3,F_sc_d3|t_5__23_1_
632    modulate_det |5_24
633    op_doubledot_det |5_25
634    
635  probe |6  probe |6
636  neg_probe |6_0  neg_probe |6_0
# Line 405  Line 713 
713          -F_v3_d3|t_6__14_7_          -F_v3_d3|t_6__14_7_
714  slicet0_probe |6_15  slicet0_probe |6_15
715  slicet1_probe |6_16  slicet1_probe |6_16
716    addition_probe |6_17
717            -F_sc_d1,F_sc_d1|t_6__17_0_
718            -F_sc_d2,F_sc_d2|t_6__17_1_
719            -F_v2_d2,F_v2_d2|t_6__17_2_
720            -F_v3_d2,F_v3_d2|t_6__17_3_
721            -F_m2x2_d2,F_m2x2_d2|t_6__17_4_
722            -F_sc_d3,F_sc_d3|t_6__17_5_
723            -F_v2_d3,F_v2_d3|t_6__17_6_
724            -F_v3_d3,F_v3_d3|t_6__17_7_
725            -F_m2x2_d3,F_m2x2_d3|t_6__17_8_
726    subtraction_probe |6_18
727            -F_sc_d1,F_sc_d1|t_6__18_0_
728            -F_sc_d2,F_sc_d2|t_6__18_1_
729            -F_v2_d2,F_v2_d2|t_6__18_2_
730            -F_v3_d2,F_v3_d2|t_6__18_3_
731            -F_m2x2_d2,F_m2x2_d2|t_6__18_4_
732            -F_sc_d3,F_sc_d3|t_6__18_5_
733            -F_v2_d3,F_v2_d3|t_6__18_6_
734            -F_v3_d3,F_v3_d3|t_6__18_7_
735            -F_m2x2_d3,F_m2x2_d3|t_6__18_8_
736    cross product_probe |6_19
737            -F_v2_d2,F_v2_d2|t_6__19_2_
738            -F_v3_d3,F_v3_d3|t_6__19_7_
739    outer product_probe |6_20
740            -F_v2_d2,F_v2_d2|t_6__20_2_
741            -F_v3_d2,F_v2_d2|t_6__20_3_
742            -F_m2x2_d2,F_v2_d2|t_6__20_4_
743            -F_v2_d2,F_v3_d2|t_6__20_2_
744            -F_v3_d2,F_v3_d2|t_6__20_3_
745            -F_v2_d2,F_m2x2_d2|t_6__20_2_
746            -F_v2_d3,F_v2_d3|t_6__20_6_
747            -F_v3_d3,F_v2_d3|t_6__20_7_
748            -F_m2x2_d3,F_v2_d3|t_6__20_8_
749            -F_v2_d3,F_v3_d3|t_6__20_6_
750            -F_v3_d3,F_v3_d3|t_6__20_7_
751            -F_v2_d3,F_m2x2_d3|t_6__20_6_
752    inner product_probe |6_21
753            -F_v2_d2,F_v2_d2|t_6__21_2_
754            -F_m2x2_d2,F_v2_d2|t_6__21_4_
755            -F_v3_d2,F_v3_d2|t_6__21_3_
756            -F_v2_d2,F_m2x2_d2|t_6__21_2_
757            -F_m2x2_d2,F_m2x2_d2|t_6__21_4_
758            -F_v2_d3,F_v2_d3|t_6__21_6_
759            -F_m2x2_d3,F_v2_d3|t_6__21_8_
760            -F_v3_d3,F_v3_d3|t_6__21_7_
761            -F_v2_d3,F_m2x2_d3|t_6__21_6_
762            -F_m2x2_d3,F_m2x2_d3|t_6__21_8_
763    multiplication_probe |6_22
764            -F_sc_d1,F_sc_d1|t_6__22_0_
765            -F_sc_d2,F_sc_d2|t_6__22_1_
766            -F_v2_d2,F_sc_d2|t_6__22_2_
767            -F_v3_d2,F_sc_d2|t_6__22_3_
768            -F_m2x2_d2,F_sc_d2|t_6__22_4_
769            -F_sc_d2,F_v2_d2|t_6__22_1_
770            -F_sc_d2,F_v3_d2|t_6__22_1_
771            -F_sc_d2,F_m2x2_d2|t_6__22_1_
772            -F_sc_d3,F_sc_d3|t_6__22_5_
773            -F_v2_d3,F_sc_d3|t_6__22_6_
774            -F_v3_d3,F_sc_d3|t_6__22_7_
775            -F_m2x2_d3,F_sc_d3|t_6__22_8_
776            -F_sc_d3,F_v2_d3|t_6__22_5_
777            -F_sc_d3,F_v3_d3|t_6__22_5_
778            -F_sc_d3,F_m2x2_d3|t_6__22_5_
779    division_probe |6_23
780            -F_sc_d1,F_sc_d1|t_6__23_0_
781            -F_sc_d2,F_sc_d2|t_6__23_1_
782            -F_v2_d2,F_sc_d2|t_6__23_2_
783            -F_v3_d2,F_sc_d2|t_6__23_3_
784            -F_m2x2_d2,F_sc_d2|t_6__23_4_
785            -F_sc_d3,F_sc_d3|t_6__23_5_
786            -F_v2_d3,F_sc_d3|t_6__23_6_
787            -F_v3_d3,F_sc_d3|t_6__23_7_
788            -F_m2x2_d3,F_sc_d3|t_6__23_8_
789    modulate_probe |6_24
790            -F_v2_d2,F_v2_d2|t_6__24_2_
791            -F_v3_d2,F_v3_d2|t_6__24_3_
792            -F_m2x2_d2,F_m2x2_d2|t_6__24_4_
793            -F_v2_d3,F_v2_d3|t_6__24_6_
794            -F_v3_d3,F_v3_d3|t_6__24_7_
795            -F_m2x2_d3,F_m2x2_d3|t_6__24_8_
796    op_doubledot_probe |6_25
797            -F_m2x2_d2,F_m2x2_d2|t_6__25_4_
798            -F_m2x2_d3,F_m2x2_d3|t_6__25_8_
799    
800  grad |7  grad |7
801  neg_grad |7_0  neg_grad |7_0
# Line 447  Line 838 
838          -F_sc_d3|t_7__14_2_          -F_sc_d3|t_7__14_2_
839  slicet0_grad |7_15  slicet0_grad |7_15
840  slicet1_grad |7_16  slicet1_grad |7_16
841    addition_grad |7_17
842            -F_sc_d1,F_sc_d1|t_7__17_0_
843            -F_sc_d2,F_v2_d2|t_7__17_1_
844            -F_sc_d3,F_v3_d3|t_7__17_2_
845    subtraction_grad |7_18
846            -F_sc_d1,F_sc_d1|t_7__18_0_
847            -F_sc_d2,F_v2_d2|t_7__18_1_
848            -F_sc_d3,F_v3_d3|t_7__18_2_
849    cross product_grad |7_19
850            -F_sc_d2,F_v2_d2|t_7__19_1_
851            -F_sc_d3,F_v3_d3|t_7__19_2_
852    outer product_grad |7_20
853            -F_sc_d2,F_v2_d2|t_7__20_1_
854            -F_sc_d2,F_v3_d2|t_7__20_1_
855            -F_sc_d2,F_m2x2_d2|t_7__20_1_
856            -F_sc_d3,F_v2_d3|t_7__20_2_
857            -F_sc_d3,F_v3_d3|t_7__20_2_
858    inner product_grad |7_21
859            -F_sc_d2,F_v2_d2|t_7__21_1_
860            -F_sc_d2,F_m2x2_d2|t_7__21_1_
861            -F_sc_d3,F_v3_d3|t_7__21_2_
862    multiplication_grad |7_22
863            -F_sc_d1,F_sc_d1|t_7__22_0_
864            -F_sc_d2,F_sc_d2|t_7__22_1_
865            -F_sc_d3,F_sc_d3|t_7__22_2_
866    division_grad |7_23
867            -F_sc_d1,F_sc_d1|t_7__23_0_
868            -F_sc_d2,F_sc_d2|t_7__23_1_
869            -F_sc_d3,F_sc_d3|t_7__23_2_
870    modulate_grad |7_24
871            -F_sc_d2,F_v2_d2|t_7__24_1_
872            -F_sc_d3,F_v3_d3|t_7__24_2_
873    op_doubledot_grad |7_25
874    
875  div |8  div |8
876  neg_div |8_0  neg_div |8_0
# Line 476  Line 900 
900  slicev1_div |8_14  slicev1_div |8_14
901  slicet0_div |8_15  slicet0_div |8_15
902  slicet1_div |8_16  slicet1_div |8_16
903    addition_div |8_17
904            -F_v2_d2,F_sc_d2|t_8__17_0_
905            -F_v3_d3,F_sc_d3|t_8__17_1_
906    subtraction_div |8_18
907            -F_v2_d2,F_sc_d2|t_8__18_0_
908            -F_v3_d3,F_sc_d3|t_8__18_1_
909    cross product_div |8_19
910    outer product_div |8_20
911    inner product_div |8_21
912    multiplication_div |8_22
913            -F_v2_d2,F_sc_d2|t_8__22_0_
914            -F_v2_d2,F_v2_d2|t_8__22_0_
915            -F_v2_d2,F_v3_d2|t_8__22_0_
916            -F_v2_d2,F_m2x2_d2|t_8__22_0_
917            -F_v3_d3,F_sc_d3|t_8__22_1_
918            -F_v3_d3,F_v2_d3|t_8__22_1_
919            -F_v3_d3,F_v3_d3|t_8__22_1_
920            -F_v3_d3,F_m2x2_d3|t_8__22_1_
921    division_div |8_23
922            -F_v2_d2,F_sc_d2|t_8__23_0_
923            -F_v3_d3,F_sc_d3|t_8__23_1_
924    modulate_div |8_24
925    op_doubledot_div |8_25
926    
927  curl |9  curl |9
928  neg_curl |9_0  neg_curl |9_0
# Line 509  Line 956 
956          -F_v3_d3|t_9__14_1_          -F_v3_d3|t_9__14_1_
957  slicet0_curl |9_15  slicet0_curl |9_15
958  slicet1_curl |9_16  slicet1_curl |9_16
959    addition_curl |9_17
960            -F_v2_d2,F_sc_d2|t_9__17_0_
961            -F_v3_d3,F_v3_d3|t_9__17_1_
962    subtraction_curl |9_18
963            -F_v2_d2,F_sc_d2|t_9__18_0_
964            -F_v3_d3,F_v3_d3|t_9__18_1_
965    cross product_curl |9_19
966            -F_v3_d3,F_v3_d3|t_9__19_1_
967    outer product_curl |9_20
968            -F_v3_d3,F_v2_d3|t_9__20_1_
969            -F_v3_d3,F_v3_d3|t_9__20_1_
970    inner product_curl |9_21
971            -F_v3_d3,F_v3_d3|t_9__21_1_
972    multiplication_curl |9_22
973            -F_v2_d2,F_sc_d2|t_9__22_0_
974            -F_v2_d2,F_v2_d2|t_9__22_0_
975            -F_v2_d2,F_v3_d2|t_9__22_0_
976            -F_v2_d2,F_m2x2_d2|t_9__22_0_
977            -F_v3_d3,F_sc_d3|t_9__22_1_
978    division_curl |9_23
979            -F_v2_d2,F_sc_d2|t_9__23_0_
980            -F_v3_d3,F_sc_d3|t_9__23_1_
981    modulate_curl |9_24
982            -F_v3_d3,F_v3_d3|t_9__24_1_
983    op_doubledot_curl |9_25
984    
985  jacob |10  jacob |10
986  neg_jacob |10_0  neg_jacob |10_0
# Line 546  Line 1018 
1018  slicev1_jacob |10_14  slicev1_jacob |10_14
1019  slicet0_jacob |10_15  slicet0_jacob |10_15
1020  slicet1_jacob |10_16  slicet1_jacob |10_16
1021    addition_jacob |10_17
1022            -F_v2_d2,F_m2x2_d2|t_10__17_0_
1023    subtraction_jacob |10_18
1024            -F_v2_d2,F_m2x2_d2|t_10__18_0_
1025    cross product_jacob |10_19
1026    outer product_jacob |10_20
1027            -F_v2_d2,F_v2_d2|t_10__20_0_
1028            -F_v3_d3,F_v3_d3|t_10__20_1_
1029    inner product_jacob |10_21
1030            -F_v2_d2,F_v2_d2|t_10__21_0_
1031            -F_v2_d2,F_m2x2_d2|t_10__21_0_
1032            -F_v3_d3,F_v3_d3|t_10__21_1_
1033    multiplication_jacob |10_22
1034            -F_v2_d2,F_sc_d2|t_10__22_0_
1035            -F_v3_d3,F_sc_d3|t_10__22_1_
1036    division_jacob |10_23
1037            -F_v2_d2,F_sc_d2|t_10__23_0_
1038            -F_v3_d3,F_sc_d3|t_10__23_1_
1039    modulate_jacob |10_24
1040            -F_v2_d2,F_m2x2_d2|t_10__24_0_
1041    op_doubledot_jacob |10_25
1042            -F_v2_d2,F_m2x2_d2|t_10__25_0_
1043    
1044  slicem0 |11  slicem0 |11
1045  neg_slicem0 |11_0  neg_slicem0 |11_0
# Line 580  Line 1074 
1074          -F_m2x2_d3|t_11__14_1_          -F_m2x2_d3|t_11__14_1_
1075  slicet0_slicem0 |11_15  slicet0_slicem0 |11_15
1076  slicet1_slicem0 |11_16  slicet1_slicem0 |11_16
1077    addition_slicem0 |11_17
1078            -F_m2x2_d2,F_v2_d2|t_11__17_0_
1079            -F_m2x2_d3,F_v2_d3|t_11__17_1_
1080    subtraction_slicem0 |11_18
1081            -F_m2x2_d2,F_v2_d2|t_11__18_0_
1082            -F_m2x2_d3,F_v2_d3|t_11__18_1_
1083    cross product_slicem0 |11_19
1084            -F_m2x2_d2,F_v2_d2|t_11__19_0_
1085    outer product_slicem0 |11_20
1086            -F_m2x2_d2,F_v2_d2|t_11__20_0_
1087            -F_m2x2_d2,F_v3_d2|t_11__20_0_
1088            -F_m2x2_d2,F_m2x2_d2|t_11__20_0_
1089            -F_m2x2_d3,F_v2_d3|t_11__20_1_
1090            -F_m2x2_d3,F_v3_d3|t_11__20_1_
1091            -F_m2x2_d3,F_m2x2_d3|t_11__20_1_
1092    inner product_slicem0 |11_21
1093            -F_m2x2_d2,F_v2_d2|t_11__21_0_
1094            -F_m2x2_d2,F_m2x2_d2|t_11__21_0_
1095            -F_m2x2_d3,F_v2_d3|t_11__21_1_
1096            -F_m2x2_d3,F_m2x2_d3|t_11__21_1_
1097    multiplication_slicem0 |11_22
1098            -F_m2x2_d2,F_sc_d2|t_11__22_0_
1099            -F_m2x2_d3,F_sc_d3|t_11__22_1_
1100    division_slicem0 |11_23
1101            -F_m2x2_d2,F_sc_d2|t_11__23_0_
1102            -F_m2x2_d3,F_sc_d3|t_11__23_1_
1103    modulate_slicem0 |11_24
1104            -F_m2x2_d2,F_v2_d2|t_11__24_0_
1105            -F_m2x2_d3,F_v2_d3|t_11__24_1_
1106    op_doubledot_slicem0 |11_25
1107    
1108  slicem1 |12  slicem1 |12
1109  neg_slicem1 |12_0  neg_slicem1 |12_0
# Line 614  Line 1138 
1138          -F_m2x2_d3|t_12__14_1_          -F_m2x2_d3|t_12__14_1_
1139  slicet0_slicem1 |12_15  slicet0_slicem1 |12_15
1140  slicet1_slicem1 |12_16  slicet1_slicem1 |12_16
1141    addition_slicem1 |12_17
1142            -F_m2x2_d2,F_v2_d2|t_12__17_0_
1143            -F_m2x2_d3,F_v2_d3|t_12__17_1_
1144    subtraction_slicem1 |12_18
1145            -F_m2x2_d2,F_v2_d2|t_12__18_0_
1146            -F_m2x2_d3,F_v2_d3|t_12__18_1_
1147    cross product_slicem1 |12_19
1148            -F_m2x2_d2,F_v2_d2|t_12__19_0_
1149    outer product_slicem1 |12_20
1150            -F_m2x2_d2,F_v2_d2|t_12__20_0_
1151            -F_m2x2_d2,F_v3_d2|t_12__20_0_
1152            -F_m2x2_d2,F_m2x2_d2|t_12__20_0_
1153            -F_m2x2_d3,F_v2_d3|t_12__20_1_
1154            -F_m2x2_d3,F_v3_d3|t_12__20_1_
1155            -F_m2x2_d3,F_m2x2_d3|t_12__20_1_
1156    inner product_slicem1 |12_21
1157            -F_m2x2_d2,F_v2_d2|t_12__21_0_
1158            -F_m2x2_d2,F_m2x2_d2|t_12__21_0_
1159            -F_m2x2_d3,F_v2_d3|t_12__21_1_
1160            -F_m2x2_d3,F_m2x2_d3|t_12__21_1_
1161    multiplication_slicem1 |12_22
1162            -F_m2x2_d2,F_sc_d2|t_12__22_0_
1163            -F_m2x2_d3,F_sc_d3|t_12__22_1_
1164    division_slicem1 |12_23
1165            -F_m2x2_d2,F_sc_d2|t_12__23_0_
1166            -F_m2x2_d3,F_sc_d3|t_12__23_1_
1167    modulate_slicem1 |12_24
1168            -F_m2x2_d2,F_v2_d2|t_12__24_0_
1169            -F_m2x2_d3,F_v2_d3|t_12__24_1_
1170    op_doubledot_slicem1 |12_25
1171    
1172  slicev0 |13  slicev0 |13
1173  neg_slicev0 |13_0  neg_slicev0 |13_0
# Line 653  Line 1207 
1207  slicev1_slicev0 |13_14  slicev1_slicev0 |13_14
1208  slicet0_slicev0 |13_15  slicet0_slicev0 |13_15
1209  slicet1_slicev0 |13_16  slicet1_slicev0 |13_16
1210    addition_slicev0 |13_17
1211  slicev1 |14          -F_v2_d2,F_sc_d2|t_13__17_0_
1212  neg_slicev1 |14_0          -F_v3_d2,F_sc_d2|t_13__17_1_
1213          -F_v2_d2|t_14__0_0_          -F_v2_d3,F_sc_d3|t_13__17_2_
1214          -F_v3_d2|t_14__0_1_          -F_v3_d3,F_sc_d3|t_13__17_3_
1215          -F_v2_d3|t_14__0_2_  subtraction_slicev0 |13_18
1216          -F_v3_d3|t_14__0_3_          -F_v2_d2,F_sc_d2|t_13__18_0_
1217  norm_slicev1 |14_1          -F_v3_d2,F_sc_d2|t_13__18_1_
1218          -F_v2_d2|t_14__1_0_          -F_v2_d3,F_sc_d3|t_13__18_2_
1219          -F_v3_d2|t_14__1_1_          -F_v3_d3,F_sc_d3|t_13__18_3_
1220          -F_v2_d3|t_14__1_2_  cross product_slicev0 |13_19
1221          -F_v3_d3|t_14__1_3_  outer product_slicev0 |13_20
1222  normalize_slicev1 |14_2  inner product_slicev0 |13_21
1223          -F_v2_d2|t_14__2_0_  multiplication_slicev0 |13_22
1224          -F_v3_d2|t_14__2_1_          -F_v2_d2,F_sc_d2|t_13__22_0_
1225          -F_v2_d3|t_14__2_2_          -F_v3_d2,F_sc_d2|t_13__22_1_
1226          -F_v3_d3|t_14__2_3_          -F_v2_d2,F_v2_d2|t_13__22_0_
1227  trace_slicev1 |14_3          -F_v3_d2,F_v2_d2|t_13__22_1_
1228  transpose_slicev1 |14_4          -F_v2_d2,F_v3_d2|t_13__22_0_
1229  det_slicev1 |14_5          -F_v3_d2,F_v3_d2|t_13__22_1_
1230  probe_slicev1 |14_6          -F_v2_d2,F_m2x2_d2|t_13__22_0_
1231          -F_v2_d2|t_14__6_0_          -F_v3_d2,F_m2x2_d2|t_13__22_1_
1232          -F_v3_d2|t_14__6_1_          -F_v2_d3,F_sc_d3|t_13__22_2_
1233          -F_v2_d3|t_14__6_2_          -F_v3_d3,F_sc_d3|t_13__22_3_
1234          -F_v3_d3|t_14__6_3_          -F_v2_d3,F_v2_d3|t_13__22_2_
1235  grad_slicev1 |14_7          -F_v3_d3,F_v2_d3|t_13__22_3_
1236          -F_v2_d2|t_14__7_0_          -F_v2_d3,F_v3_d3|t_13__22_2_
1237          -F_v3_d2|t_14__7_1_          -F_v3_d3,F_v3_d3|t_13__22_3_
         -F_v2_d3|t_14__7_2_  
         -F_v3_d3|t_14__7_3_  
 div_slicev1 |14_8  
 curl_slicev1 |14_9  
 jacob_slicev1 |14_10  
 slicem0_slicev1 |14_11  
 slicem1_slicev1 |14_12  
 slicev0_slicev1 |14_13  
 slicev1_slicev1 |14_14  
 slicet0_slicev1 |14_15  
 slicet1_slicev1 |14_16  
   
 slicet0 |15  
 neg_slicet0 |15_0  
 norm_slicet0 |15_1  
 normalize_slicet0 |15_2  
 trace_slicet0 |15_3  
 transpose_slicet0 |15_4  
 det_slicet0 |15_5  
 probe_slicet0 |15_6  
 grad_slicet0 |15_7  
 div_slicet0 |15_8  
 curl_slicet0 |15_9  
 jacob_slicet0 |15_10  
 slicem0_slicet0 |15_11  
 slicem1_slicet0 |15_12  
 slicev0_slicet0 |15_13  
 slicev1_slicet0 |15_14  
 slicet0_slicet0 |15_15  
 slicet1_slicet0 |15_16  
   
 slicet1 |16  
 neg_slicet1 |16_0  
 norm_slicet1 |16_1  
 normalize_slicet1 |16_2  
 trace_slicet1 |16_3  
 transpose_slicet1 |16_4  
 det_slicet1 |16_5  
 probe_slicet1 |16_6  
 grad_slicet1 |16_7  
 div_slicet1 |16_8  
 curl_slicet1 |16_9  
 jacob_slicet1 |16_10  
 slicem0_slicet1 |16_11  
 slicem1_slicet1 |16_12  
 slicev0_slicet1 |16_13  
 slicev1_slicet1 |16_14  
 slicet0_slicet1 |16_15  
 slicet1_slicet1 |16_16  
1238    
1239  addition |17  addition |17
1240  neg_addition |17_0  neg_addition |17_0
# Line 783  Line 1288 
1288          -F_v2_d3,N_v2|t_17__1_19_          -F_v2_d3,N_v2|t_17__1_19_
1289          -N_v2,F_v2_d3|t_17__1_20_          -N_v2,F_v2_d3|t_17__1_20_
1290          -F_v3_d3,F_v3_d3|t_17__1_21_          -F_v3_d3,F_v3_d3|t_17__1_21_
         -F_v3_d3,N_v3|t_17__1_22_  
         -N_v3,F_v3_d3|t_17__1_23_  
         -F_m2x2_d3,F_m2x2_d3|t_17__1_24_  
         -F_m2x2_d3,N_m2x2|t_17__1_25_  
         -N_m2x2,F_m2x2_d3|t_17__1_26_  
 normalize_addition |17_2  
         -F_sc_d1,F_sc_d1|t_17__2_0_  
         -F_sc_d1,N_sc|t_17__2_1_  
         -N_sc,F_sc_d1|t_17__2_2_  
         -F_sc_d2,F_sc_d2|t_17__2_3_  
         -F_sc_d2,N_sc|t_17__2_4_  
         -N_sc,F_sc_d2|t_17__2_5_  
         -F_v2_d2,F_v2_d2|t_17__2_6_  
         -F_v2_d2,N_v2|t_17__2_7_  
         -N_v2,F_v2_d2|t_17__2_8_  
         -F_v3_d2,F_v3_d2|t_17__2_9_  
         -F_v3_d2,N_v3|t_17__2_10_  
         -N_v3,F_v3_d2|t_17__2_11_  
         -F_m2x2_d2,F_m2x2_d2|t_17__2_12_  
         -F_m2x2_d2,N_m2x2|t_17__2_13_  
         -N_m2x2,F_m2x2_d2|t_17__2_14_  
         -F_sc_d3,F_sc_d3|t_17__2_15_  
         -F_sc_d3,N_sc|t_17__2_16_  
         -N_sc,F_sc_d3|t_17__2_17_  
         -F_v2_d3,F_v2_d3|t_17__2_18_  
         -F_v2_d3,N_v2|t_17__2_19_  
         -N_v2,F_v2_d3|t_17__2_20_  
         -F_v3_d3,F_v3_d3|t_17__2_21_  
         -F_v3_d3,N_v3|t_17__2_22_  
         -N_v3,F_v3_d3|t_17__2_23_  
         -F_m2x2_d3,F_m2x2_d3|t_17__2_24_  
         -F_m2x2_d3,N_m2x2|t_17__2_25_  
         -N_m2x2,F_m2x2_d3|t_17__2_26_  
 trace_addition |17_3  
         -F_m2x2_d2,F_m2x2_d2|t_17__3_12_  
         -F_m2x2_d2,N_m2x2|t_17__3_13_  
         -N_m2x2,F_m2x2_d2|t_17__3_14_  
         -F_m2x2_d3,F_m2x2_d3|t_17__3_24_  
1291    grad_addition |17_7
1292            -F_sc_d1,F_sc_d1|t_17__7_0_
1293            -F_sc_d1,N_sc|t_17__7_1_
1294            -N_sc,F_sc_d1|t_17__7_2_
1295            -F_sc_d2,F_sc_d2|t_17__7_3_
1296            -F_sc_d2,N_sc|t_17__7_4_
1297            -N_sc,F_sc_d2|t_17__7_5_
1298            -F_sc_d3,F_sc_d3|t_17__7_15_
1299            -F_sc_d3,N_sc|t_17__7_16_
1300            -N_sc,F_sc_d3|t_17__7_17_
1301    jacob_addition |17_10
1302            -F_v2_d2,F_v2_d2|t_17__10_6_
1303            -F_v2_d2,N_v2|t_17__10_7_
1304            -N_v2,F_v2_d2|t_17__10_8_
1305            -F_v3_d3,F_v3_d3|t_17__10_21_
1306            -F_v3_d3,N_v3|t_17__10_22_
1307            -N_v3,F_v3_d3|t_17__10_23_
1308    grad_subtraction |18_7
1309            -F_sc_d1,F_sc_d1|t_18__7_0_
1310            -F_sc_d1,N_sc|t_18__7_1_
1311            -N_sc,F_sc_d1|t_18__7_2_
1312            -F_sc_d2,F_sc_d2|t_18__7_3_
1313            -F_sc_d2,N_sc|t_18__7_4_
1314            -N_sc,F_sc_d2|t_18__7_5_
1315            -F_sc_d3,F_sc_d3|t_18__7_15_
1316            -F_sc_d3,N_sc|t_18__7_16_
1317            -N_sc,F_sc_d3|t_18__7_17_
1318    jacob_subtraction |18_10
1319            -F_v2_d2,F_v2_d2|t_18__10_6_
1320            -F_v2_d2,N_v2|t_18__10_7_
1321            -N_v2,F_v2_d2|t_18__10_8_
1322            -F_v3_d3,F_v3_d3|t_18__10_21_
1323            -F_v3_d3,N_v3|t_18__10_22_
1324            -N_v3,F_v3_d3|t_18__10_23_
1325    slicev0_cross product |19_13
1326            -F_v3_d3,F_v3_d3|t_19__13_3_
1327            -F_v3_d3,N_v3|t_19__13_4_
1328            -N_v3,F_v3_d3|t_19__13_5_

Legend:
Removed from v.4263  
changed lines
  Added in v.4284

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0