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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 4495 - (download) (annotate)
Sat Sep 3 06:29:28 2016 UTC (2 years, 10 months ago) by cchiw
File size: 22144 byte(s)
add backwards movements

 neg_neg |0_0
	-T_s|(t_s
	-F_s_d1|(t_s
	-F_s_d2|(t_s
	-F_s_d3|(t_s
	-T_v2|(t_v2
	-F_v2_d1|(t_v2
	-F_v2_d2|(t_v2
	-F_v2_d3|(t_v2
	-T_v3|(t_v3
	-F_v3_d1|(t_v3
	-F_v3_d2|(t_v3
	-F_v3_d3|(t_v3
	-T_v4|(t_v4
	-F_v4_d1|(t_v4
	-F_v4_d2|(t_v4
	-F_v4_d3|(t_v4
	-T_m2x2|(t_m2x2
	-F_m2x2_d1|(t_m2x2
	-F_m2x2_d2|(t_m2x2
	-F_m2x2_d3|(t_m2x2
	-T_m3x3|(t_m3x3
	-F_m3x3_d1|(t_m3x3
	-F_m3x3_d2|(t_m3x3
	-F_m3x3_d3|(t_m3x3

 norm_neg |0_1
	-T_s|(t_s
	-F_s_d1|(t_s
	-F_s_d2|(t_s
	-F_s_d3|(t_s
	-T_v2|(t_v2
	-F_v2_d1|(t_v2
	-F_v2_d2|(t_v2
	-F_v2_d3|(t_v2
	-T_v3|(t_v3
	-F_v3_d1|(t_v3
	-F_v3_d2|(t_v3
	-F_v3_d3|(t_v3
	-T_v4|(t_v4
	-F_v4_d1|(t_v4
	-F_v4_d2|(t_v4
	-F_v4_d3|(t_v4
	-T_m2x2|(t_m2x2
	-F_m2x2_d1|(t_m2x2
	-F_m2x2_d2|(t_m2x2
	-F_m2x2_d3|(t_m2x2
	-T_m3x3|(t_m3x3
	-F_m3x3_d1|(t_m3x3
	-F_m3x3_d2|(t_m3x3
	-F_m3x3_d3|(t_m3x3

 normalize_neg |0_2
	-T_v2|(t_v2
	-F_v2_d1|(t_v2
	-F_v2_d2|(t_v2
	-F_v2_d3|(t_v2
	-T_v3|(t_v3
	-F_v3_d1|(t_v3
	-F_v3_d2|(t_v3
	-F_v3_d3|(t_v3
	-T_v4|(t_v4
	-F_v4_d1|(t_v4
	-F_v4_d2|(t_v4
	-F_v4_d3|(t_v4
	-T_m2x2|(t_m2x2
	-F_m2x2_d1|(t_m2x2
	-F_m2x2_d2|(t_m2x2
	-F_m2x2_d3|(t_m2x2
	-T_m3x3|(t_m3x3
	-F_m3x3_d1|(t_m3x3
	-F_m3x3_d2|(t_m3x3
	-F_m3x3_d3|(t_m3x3

 trace_neg |0_3
	-T_m2x2|(t_m2x2
	-F_m2x2_d1|(t_m2x2
	-F_m2x2_d2|(t_m2x2
	-F_m2x2_d3|(t_m2x2
	-T_m3x3|(t_m3x3
	-F_m3x3_d1|(t_m3x3
	-F_m3x3_d2|(t_m3x3
	-F_m3x3_d3|(t_m3x3

 transpose_neg |0_4
	-T_m2x2|(t_m2x2
	-F_m2x2_d1|(t_m2x2
	-F_m2x2_d2|(t_m2x2
	-F_m2x2_d3|(t_m2x2
	-T_m3x3|(t_m3x3
	-F_m3x3_d1|(t_m3x3
	-F_m3x3_d2|(t_m3x3
	-F_m3x3_d3|(t_m3x3

 det_neg |0_5
	-T_m2x2|(t_m2x2
	-F_m2x2_d1|(t_m2x2
	-F_m2x2_d2|(t_m2x2
	-F_m2x2_d3|(t_m2x2
	-T_m3x3|(t_m3x3
	-F_m3x3_d1|(t_m3x3
	-F_m3x3_d2|(t_m3x3
	-F_m3x3_d3|(t_m3x3

 probe_neg |0_6
	-T_s|(t_s
	-F_s_d1|(t_s
	-F_s_d2|(t_s
	-F_s_d3|(t_s
	-T_v2|(t_v2
	-F_v2_d1|(t_v2
	-F_v2_d2|(t_v2
	-F_v2_d3|(t_v2
	-T_v3|(t_v3
	-F_v3_d1|(t_v3
	-F_v3_d2|(t_v3
	-F_v3_d3|(t_v3
	-T_v4|(t_v4
	-F_v4_d1|(t_v4
	-F_v4_d2|(t_v4
	-F_v4_d3|(t_v4
	-T_m2x2|(t_m2x2
	-F_m2x2_d1|(t_m2x2
	-F_m2x2_d2|(t_m2x2
	-F_m2x2_d3|(t_m2x2
	-T_m3x3|(t_m3x3
	-F_m3x3_d1|(t_m3x3
	-F_m3x3_d2|(t_m3x3
	-F_m3x3_d3|(t_m3x3

 grad_neg |0_7
	-F_s_d1|(t_s
	-F_s_d2|(t_s
	-F_s_d3|(t_s

 div_neg |0_8
	-F_v2_d2|(t_v2
	-F_v3_d3|(t_v3

 curl_neg |0_9
	-F_v2_d2|(t_v2
	-F_v3_d3|(t_v3

 jacob_neg |0_10
	-F_v2_d2|(t_v2
	-F_v3_d3|(t_v3

 slicem0_neg |0_11
	-T_m2x2|(t_m2x2
	-F_m2x2_d1|(t_m2x2
	-F_m2x2_d2|(t_m2x2
	-F_m2x2_d3|(t_m2x2
	-T_m3x3|(t_m3x3
	-F_m3x3_d1|(t_m3x3
	-F_m3x3_d2|(t_m3x3
	-F_m3x3_d3|(t_m3x3

 slicem1_neg |0_12
	-T_m2x2|(t_m2x2
	-F_m2x2_d1|(t_m2x2
	-F_m2x2_d2|(t_m2x2
	-F_m2x2_d3|(t_m2x2
	-T_m3x3|(t_m3x3
	-F_m3x3_d1|(t_m3x3
	-F_m3x3_d2|(t_m3x3
	-F_m3x3_d3|(t_m3x3

 slicev0_neg |0_13
	-T_v2|(t_v2
	-F_v2_d1|(t_v2
	-F_v2_d2|(t_v2
	-F_v2_d3|(t_v2
	-T_v3|(t_v3
	-F_v3_d1|(t_v3
	-F_v3_d2|(t_v3
	-F_v3_d3|(t_v3
	-T_v4|(t_v4
	-F_v4_d1|(t_v4
	-F_v4_d2|(t_v4
	-F_v4_d3|(t_v4

 slicev1_neg |0_14
	-T_v2|(t_v2
	-F_v2_d1|(t_v2
	-F_v2_d2|(t_v2
	-F_v2_d3|(t_v2
	-T_v3|(t_v3
	-F_v3_d1|(t_v3
	-F_v3_d2|(t_v3
	-F_v3_d3|(t_v3
	-T_v4|(t_v4
	-F_v4_d1|(t_v4
	-F_v4_d2|(t_v4
	-F_v4_d3|(t_v4

 slicet0_neg |0_15

 slicet1_neg |0_16

 addition_neg |0_17

 neg_neg |0_0

 neg_neg |0_0
	-T_s|(t_s
	-F_s_d1|(t_s
	-F_s_d2|(t_s
	-F_s_d3|(t_s
	-T_v2|(t_v2
	-F_v2_d1|(t_v2
	-F_v2_d2|(t_v2
	-F_v2_d3|(t_v2

 neg_neg |0_0
	-T_s|(t_s
	-F_s_d1|(t_s
	-F_s_d2|(t_s
	-F_s_d3|(t_s

 neg_neg |0_0
	-T_s|(t_s
	-F_s_d1|(t_s
	-F_s_d2|(t_s
	-F_s_d3|(t_s
	-T_v2|(t_v2
	-F_v2_d1|(t_v2
	-F_v2_d2|(t_v2
	-F_v2_d3|(t_v2
	-T_v3|(t_v3
	-F_v3_d1|(t_v3
	-F_v3_d2|(t_v3
	-F_v3_d3|(t_v3
	-T_v4|(t_v4
	-F_v4_d1|(t_v4
	-F_v4_d2|(t_v4
	-F_v4_d3|(t_v4
	-T_m2x2|(t_m2x2
	-F_m2x2_d1|(t_m2x2
	-F_m2x2_d2|(t_m2x2
	-F_m2x2_d3|(t_m2x2
	-T_m3x3|(t_m3x3
	-F_m3x3_d1|(t_m3x3
	-F_m3x3_d2|(t_m3x3
	-F_m3x3_d3|(t_m3x3

 norm_neg |0_1
	-T_s|(t_s
	-F_s_d1|(t_s
	-F_s_d2|(t_s
	-F_s_d3|(t_s
	-T_v2|(t_v2
	-F_v2_d1|(t_v2
	-F_v2_d2|(t_v2

 neg_ * |0_ *

 neg_neg |0_0
	-T_s|p_i0_o0_n0

 neg_neg |0_0
	-T_s|(t_s
	-F_s_d1|(t_s
	-F_s_d2|(t_s
	-F_s_d3|(t_s
	-T_v2|(t_v2
	-F_v2_d1|(t_v2

 grad_neg |0_7

 grad_addition |17_7

 grad_addition |17_7
	-F_s_d1,T_s|
	-F_s_d1,F_s_d1|

 grad_addition |17_7
	-F_s_d1,T_s|
	-F_s_d1,F_s_d1|
	-T_s,F_s_d1|		ex.(shape1:t_s, exp2:F_s_d1)-> F_s_d1
	-F_s_d2,T_s|
	-F_s_d2,F_s_d2|
	-T_s,F_s_d2|		ex.(shape1:t_s, exp2:F_s_d2)-> F_v2_d2
	-F_s_d3,T_s|
	-F_s_d3,F_s_d3|
	-T_s,F_s_d3|		ex.(shape1:t_s, exp2:F_s_d3)-> F_v3_d3

 grad_addition |17_7
	-F_s_d1,T_s|
	-F_s_d1,F_s_d1|
	-T_s,F_s_d1|		ex.(shape1:t_s, exp2:F_s_d1)-> F_s_d1
	-F_s_d2,T_s|
	-F_s_d2,F_s_d2|
	-T_s,F_s_d2|		ex.(shape1:t_s, exp2:F_s_d2)-> F_v2_d2
	-F_s_d3,T_s|

 grad_addition |17_7

 grad_addition |17_7

 grad_addition |17_7

 grad_addition |17_7
	-F_s_d1,T_s|
	-F_s_d1,F_s_d1|
	-T_s,F_s_d1|		ex.(shape1:t_s, exp2:F_s_d1)-> F_s_d1
	-F_s_d2,T_s|
	-F_s_d2,F_s_d2|
	-T_s,F_s_d2|		ex.(shape1:t_s, exp2:F_s_d2)-> F_v2_d2
	-F_s_d3,T_s|
	-F_s_d3,F_s_d3|
	-T_s,F_s_d3|		ex.(shape1:t_s, exp2:F_s_d3)-> F_v3_d3

 div_addition |17_8
	-F_v2_d2,T_v2|
	-F_v2_d2,F_v2_d2|
	-T_v2,F_v2_d2|		ex.(shape1:t_v2, exp2:F_v2_d2)-> F_s_d2
	-F_v3_d3,T_v3|
	-F_v3_d3,F_v3_d3|
	-T_v3,F_v3_d3|		ex.(shape1:t_v3, exp2:F_v3_d3)-> F_s_d3

 div_subtraction |18_8
	-F_v2_d2,T_v2|
	-F_v2_d2,F_v2_d2|
	-T_v2,F_v2_d2|		ex.(shape1:t_v2, exp2:F_v2_d2)-> F_s_d2
	-F_v3_d3,T_v3|
	-F_v3_d3,F_v3_d3|
	-T_v3,F_v3_d3|		ex.(shape1:t_v3, exp2:F_v3_d3)-> F_s_d3

 grad_subtraction |18_7
	-F_s_d1,T_s|
	-F_s_d1,F_s_d1|
	-T_s,F_s_d1|		ex.(shape1:t_s, exp2:F_s_d1)-> F_s_d1
	-F_s_d2,T_s|
	-F_s_d2,F_s_d2|
	-T_s,F_s_d2|		ex.(shape1:t_s, exp2:F_s_d2)-> F_v2_d2
	-F_s_d3,T_s|
	-F_s_d3,F_s_d3|
	-T_s,F_s_d3|		ex.(shape1:t_s, exp2:F_s_d3)-> F_v3_d3

 norm_multiplication |22_1

 normalize_multiplication |22_2

 curl_multiplication |22_9

 transpose_multiplication |22_4

 det_multiplication |22_5

 probe_multiplication |22_6

 grad_multiplication |22_7

 div_multiplication |22_8

 curl_multiplication |22_9

 jacob_multiplication |22_10

 slicem0_multiplication |22_11

 slicem1_multiplication |22_12

 cross product_multiplication |22_19

 slicev1_multiplication |22_14

 slicet0_multiplication |22_15

 slicet1_multiplication |22_16

 addition_multiplication |22_17

 subtraction_multiplication |22_18

 cross product_multiplication |22_19

 outer product_multiplication |22_20

 inner product_multiplication |22_21

 multiplication_multiplication |22_22

 arctangent_multiplication |22_29

 modulate_multiplication |22_24

 div_multiplication |22_8

 inverse_multiplication |22_26

 cosine_multiplication |22_27

 sine_multiplication |22_28

 arctangent_multiplication |22_29

 tangent_multiplication |22_30

 arccosine_multiplication |22_31

 arcsine_multiplication |22_32

 norm_curl |9_1

 normalize_curl |9_2

 curl_curl |9_9

 transpose_curl |9_4

 det_curl |9_5

 probe_curl |9_6

 grad_curl |9_7

 div_curl |9_8

 curl_curl |9_9

 jacob_curl |9_10

 slicem0_curl |9_11

 slicem1_curl |9_12

 cross product_curl |9_19

 slicev1_curl |9_14

 slicet0_curl |9_15

 slicet1_curl |9_16

 addition_curl |9_17

 subtraction_curl |9_18

 cross product_curl |9_19

 outer product_curl |9_20

 inner product_curl |9_21

 multiplication_curl |9_22

 arctangent_curl |9_29

 modulate_curl |9_24

 div_curl |9_8

 inverse_curl |9_26

 cosine_curl |9_27

 sine_curl |9_28

 arctangent_curl |9_29

 tangent_curl |9_30

 arccosine_curl |9_31

 arcsine_curl |9_32

 norm_grad |7_1

 normalize_grad |7_2

 curl_grad |7_9

 transpose_grad |7_4

 det_grad |7_5

 probe_grad |7_6

 grad_grad |7_7

 div_grad |7_8

 curl_grad |7_9

 jacob_grad |7_10

 slicem0_grad |7_11

 slicem1_grad |7_12

 cross product_grad |7_19

 slicev1_grad |7_14

 slicet0_grad |7_15

 slicet1_grad |7_16

 addition_grad |7_17

 subtraction_grad |7_18

 cross product_grad |7_19

 outer product_grad |7_20

 inner product_grad |7_21

 multiplication_grad |7_22

 arctangent_grad |7_29

 modulate_grad |7_24

 div_grad |7_8

 inverse_grad |7_26

 cosine_grad |7_27

 sine_grad |7_28

 arctangent_grad |7_29

 tangent_grad |7_30

 arccosine_grad |7_31

 arcsine_grad |7_32

 norm_probe |6_1

 normalize_probe |6_2

 curl_probe |6_9

 transpose_probe |6_4

 det_probe |6_5

 probe_probe |6_6

 grad_probe |6_7

 div_probe |6_8

 curl_probe |6_9

 jacob_probe |6_10

 slicem0_probe |6_11

 slicem1_probe |6_12

 cross product_probe |6_19

 slicev1_probe |6_14

 slicet0_probe |6_15

 slicet1_probe |6_16

 addition_probe |6_17

 subtraction_probe |6_18

 cross product_probe |6_19

 outer product_probe |6_20

 inner product_probe |6_21

 multiplication_probe |6_22

 arctangent_probe |6_29

 modulate_probe |6_24

 div_probe |6_8

 inverse_probe |6_26

 cosine_probe |6_27

 sine_probe |6_28

 arctangent_probe |6_29

 tangent_probe |6_30

 arccosine_probe |6_31

 arcsine_probe |6_32

 curl_norm |1_9

 curl_normalize |2_9

 curl_trace |3_9

 curl_transpose |4_9

 curl_det |5_9

 curl_probe |6_9

 curl_grad |7_9

 curl_div |8_9

 curl_curl |9_9

 curl_jacob |10_9

 curl_slicem0 |11_9

 curl_slicem1 |12_9

 curl_slicev0 |13_9

 curl_slicev1 |14_9

 curl_slicet0 |15_9

 curl_slicet1 |16_9

 curl_addition |17_9
	-F_v2_d2,T_v2|
	-F_v2_d2,F_v2_d2|
	-T_v2,F_v2_d2|		ex.(shape1:t_v2, exp2:F_v2_d2)-> F_s_d2
	-F_v3_d3,T_v3|
	-F_v3_d3,F_v3_d3|
	-T_v3,F_v3_d3|		ex.(shape1:t_v3, exp2:F_v3_d3)-> F_v3_d3

 curl_subtraction |18_9
	-F_v2_d2,T_v2|
	-F_v2_d2,F_v2_d2|
	-T_v2,F_v2_d2|		ex.(shape1:t_v2, exp2:F_v2_d2)-> F_s_d2
	-F_v3_d3,T_v3|
	-F_v3_d3,F_v3_d3|
	-T_v3,F_v3_d3|		ex.(shape1:t_v3, exp2:F_v3_d3)-> F_v3_d3

 curl_cross product |19_9

 curl_outer product |20_9

 curl_inner product |21_9

 curl_multiplication |22_9

 curl_division |23_9

 curl_modulate |24_9

 curl_op_doubledot |25_9

 curl_inverse |26_9

 curl_cosine |27_9

 curl_sine |28_9

 curl_arctangent |29_9

 curl_tangent |30_9

 curl_arccosine |31_9

 curl_arcsine |32_9

 curl_sqrt |33_9

 div_norm |1_8

 div_normalize |2_8

 div_trace |3_8

 div_transpose |4_8

 div_det |5_8

 div_probe |6_8

 div_grad |7_8

 div_div |8_8

 div_curl |9_8

 div_jacob |10_8

 div_slicem0 |11_8

 div_slicem1 |12_8

 div_slicev0 |13_8

 div_slicev1 |14_8

 div_slicet0 |15_8

 div_slicet1 |16_8

 div_addition |17_8
	-F_v2_d2,T_v2|
	-F_v2_d2,F_v2_d2|
	-T_v2,F_v2_d2|		ex.(shape1:t_v2, exp2:F_v2_d2)-> F_s_d2
	-F_v3_d3,T_v3|
	-F_v3_d3,F_v3_d3|
	-T_v3,F_v3_d3|		ex.(shape1:t_v3, exp2:F_v3_d3)-> F_s_d3

 div_subtraction |18_8
	-F_v2_d2,T_v2|
	-F_v2_d2,F_v2_d2|
	-T_v2,F_v2_d2|		ex.(shape1:t_v2, exp2:F_v2_d2)-> F_s_d2
	-F_v3_d3,T_v3|
	-F_v3_d3,F_v3_d3|
	-T_v3,F_v3_d3|		ex.(shape1:t_v3, exp2:F_v3_d3)-> F_s_d3

 div_cross product |19_8

 div_outer product |20_8

 div_inner product |21_8

 div_multiplication |22_8

 div_division |23_8

 div_modulate |24_8

 div_op_doubledot |25_8

 div_inverse |26_8

 div_cosine |27_8

 div_sine |28_8

 div_arctangent |29_8

 div_tangent |30_8

 div_arccosine |31_8

 div_arcsine |32_8

 div_sqrt |33_8

 grad_norm |1_7

 grad_normalize |2_7

 grad_trace |3_7

 grad_transpose |4_7

 grad_det |5_7

 grad_probe |6_7

 grad_grad |7_7

 transpose_addition |17_4

 transpose_addition |17_4

 transpose_addition |17_4

 transpose_addition |17_4

 transpose_addition |17_4

 transpose_addition |17_4

 transpose(addition) |17_4

 addition(transpose) |4_17

 addition(transpose) |4_17

 addition(transpose) |4_17

 transpose(addition) |17_4

 transpose(addition) |17_4

 transpose(addition) |17_4

 transpose(addition) |17_4

 transpose(addition) |17_4

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|
	-T_m2x2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d3|
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|
	-T_m3x3,F_m3x3_d1|
	-T_m3x3,F_m3x3_d2|
	-T_m3x3,F_m3x3_d3|
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|
	-T_m2x2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d3|
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2

 transpose(addition) |17_4

 transpose(addition) |17_4

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|
	-T_m2x2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d3|
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|
	-T_m3x3,F_m3x3_d1|
	-T_m3x3,F_m3x3_d2|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|
	-T_m2x2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d3|

 transpose(addition) |17_4

 transpose(addition) |17_4

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|
	-T_m2x2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d3|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|
	-T_m2x2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d3|
	-T_m3x3,T_m3x3|
	-T_m3x3,F_m3x3_d1|
	-T_m3x3,F_m3x3_d2|
	-T_m3x3,F_m3x3_d3|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|
	-T_m2x2,F_m2x2_d2|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|
	-T_m2x2,F_m2x2_d2|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|
	-T_m2x2,F_m2x2_d2|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,F_m2x2_d1|
	-T_m2x2,F_m2x2_d2|

 transpose(addition) |17_4

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 neg_ * |0_ *

 neg(neg) |0_0
	-T_s|p_i0_o0_n0
	-T_v2|p_i0_o0_n1
	-T_v3|p_i0_o0_n2
	-T_v4|p_i0_o0_n3
	-T_m2x2|p_i0_o0_n4
	-T_m3x3|p_i0_o0_n5
	-F_s_d1|p_i0_o0_n6
	-F_v2_d1|p_i0_o0_n7
	-F_v3_d1|p_i0_o0_n8
	-F_v4_d1|p_i0_o0_n9

 neg_ * |0_ *

 neg(neg) |0_0
	-T_s|p_i0_o0_n0
	-T_v2|p_i0_o0_n1
	-T_v3|p_i0_o0_n2
	-T_v4|p_i0_o0_n3
	-T_m2x2|p_i0_o0_n4
	-T_m3x3|p_i0_o0_n5
	-F_s_d1|p_i0_o0_n6

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|p_i17_o4_n16
	-T_m2x2,F_m2x2_d1|p_i17_o4_n17
	-T_m2x2,F_m2x2_d2|p_i17_o4_n18
	-T_m2x2,F_m2x2_d3|p_i17_o4_n19
	-T_m3x3,T_m3x3|p_i17_o4_n20
	-T_m3x3,F_m3x3_d1|p_i17_o4_n21
	-T_m3x3,F_m3x3_d2|p_i17_o4_n22
	-T_m3x3,F_m3x3_d3|p_i17_o4_n23
	-F_m2x2_d1,T_m2x2|p_i17_o4_n32
	-F_m2x2_d1,F_m2x2_d1|p_i17_o4_n33
	-F_m3x3_d1,T_m3x3|p_i17_o4_n34
	-F_m3x3_d1,F_m3x3_d1|p_i17_o4_n35
	-F_m2x2_d2,T_m2x2|p_i17_o4_n44
	-F_m2x2_d2,F_m2x2_d2|p_i17_o4_n45
	-F_m3x3_d2,T_m3x3|p_i17_o4_n46
	-F_m3x3_d2,F_m3x3_d2|p_i17_o4_n47
	-F_m2x2_d3,T_m2x2|p_i17_o4_n56
	-F_m2x2_d3,F_m2x2_d3|p_i17_o4_n57
	-F_m3x3_d3,T_m3x3|p_i17_o4_n58
	-F_m3x3_d3,F_m3x3_d3|p_i17_o4_n59

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3

 transpose(addition) |17_4

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-T_m2x2,F_m2x2_d1|		ex.(shape1:t_m2x2, exp2:F_m2x2_d1)-> F_m2x2_d1
	-T_m2x2,F_m2x2_d2|		ex.(shape1:t_m2x2, exp2:F_m2x2_d2)-> F_m2x2_d2
	-T_m2x2,F_m2x2_d3|		ex.(shape1:t_m2x2, exp2:F_m2x2_d3)-> F_m2x2_d3
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3
	-T_m3x3,F_m3x3_d1|		ex.(shape1:t_m3x3, exp2:F_m3x3_d1)-> F_m3x3_d1
	-T_m3x3,F_m3x3_d2|		ex.(shape1:t_m3x3, exp2:F_m3x3_d2)-> F_m3x3_d2
	-T_m3x3,F_m3x3_d3|		ex.(shape1:t_m3x3, exp2:F_m3x3_d3)-> F_m3x3_d3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-F_m2x2_d1,T_m2x2|
	-F_m2x2_d1,F_m2x2_d1|
	-T_m2x2,F_m2x2_d1|		ex.(shape1:t_m2x2, exp2:F_m2x2_d1)-> F_m2x2_d1
	-F_m2x2_d2,T_m2x2|
	-F_m2x2_d2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d2|		ex.(shape1:t_m2x2, exp2:F_m2x2_d2)-> F_m2x2_d2
	-F_m2x2_d3,T_m2x2|
	-F_m2x2_d3,F_m2x2_d3|
	-T_m2x2,F_m2x2_d3|		ex.(shape1:t_m2x2, exp2:F_m2x2_d3)-> F_m2x2_d3
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3
	-F_m3x3_d1,T_m3x3|
	-F_m3x3_d1,F_m3x3_d1|
	-T_m3x3,F_m3x3_d1|		ex.(shape1:t_m3x3, exp2:F_m3x3_d1)-> F_m3x3_d1
	-F_m3x3_d2,T_m3x3|
	-F_m3x3_d2,F_m3x3_d2|
	-T_m3x3,F_m3x3_d2|		ex.(shape1:t_m3x3, exp2:F_m3x3_d2)-> F_m3x3_d2
	-F_m3x3_d3,T_m3x3|
	-F_m3x3_d3,F_m3x3_d3|
	-T_m3x3,F_m3x3_d3|		ex.(shape1:t_m3x3, exp2:F_m3x3_d3)-> F_m3x3_d3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-T_m2x2,T_m2x2|		ex.(shape1:t_m2x2, exp2:T_m2x2)-> T_m2x2
	-F_m2x2_d1,T_m2x2|
	-F_m2x2_d1,F_m2x2_d1|
	-T_m2x2,F_m2x2_d1|		ex.(shape1:t_m2x2, exp2:F_m2x2_d1)-> F_m2x2_d1
	-F_m2x2_d2,T_m2x2|
	-F_m2x2_d2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d2|		ex.(shape1:t_m2x2, exp2:F_m2x2_d2)-> F_m2x2_d2
	-F_m2x2_d3,T_m2x2|
	-F_m2x2_d3,F_m2x2_d3|
	-T_m2x2,F_m2x2_d3|		ex.(shape1:t_m2x2, exp2:F_m2x2_d3)-> F_m2x2_d3
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-T_m3x3,T_m3x3|		ex.(shape1:t_m3x3, exp2:T_m3x3)-> T_m3x3
	-F_m3x3_d1,T_m3x3|
	-F_m3x3_d1,F_m3x3_d1|
	-T_m3x3,F_m3x3_d1|		ex.(shape1:t_m3x3, exp2:F_m3x3_d1)-> F_m3x3_d1
	-F_m3x3_d2,T_m3x3|
	-F_m3x3_d2,F_m3x3_d2|
	-T_m3x3,F_m3x3_d2|		ex.(shape1:t_m3x3, exp2:F_m3x3_d2)-> F_m3x3_d2
	-F_m3x3_d3,T_m3x3|
	-F_m3x3_d3,F_m3x3_d3|
	-T_m3x3,F_m3x3_d3|		ex.(shape1:t_m3x3, exp2:F_m3x3_d3)-> F_m3x3_d3

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|p_i17_o4_n16
	-T_m2x2,F_m2x2_d1|p_i17_o4_n17
	-T_m2x2,F_m2x2_d2|p_i17_o4_n18
	-T_m2x2,F_m2x2_d3|p_i17_o4_n19
	-T_m3x3,T_m3x3|p_i17_o4_n20
	-T_m3x3,F_m3x3_d1|p_i17_o4_n21
	-T_m3x3,F_m3x3_d2|p_i17_o4_n22
	-T_m3x3,F_m3x3_d3|p_i17_o4_n23
	-F_m2x2_d1,T_m2x2|p_i17_o4_n32
	-F_m2x2_d1,F_m2x2_d1|p_i17_o4_n33
	-F_m3x3_d1,T_m3x3|p_i17_o4_n34
	-F_m3x3_d1,F_m3x3_d1|p_i17_o4_n35
	-F_m2x2_d2,T_m2x2|p_i17_o4_n44
	-F_m2x2_d2,F_m2x2_d2|p_i17_o4_n45
	-F_m3x3_d2,T_m3x3|p_i17_o4_n46
	-F_m3x3_d2,F_m3x3_d2|p_i17_o4_n47
	-F_m2x2_d3,T_m2x2|p_i17_o4_n56
	-F_m2x2_d3,F_m2x2_d3|p_i17_o4_n57
	-F_m3x3_d3,T_m3x3|p_i17_o4_n58
	-F_m3x3_d3,F_m3x3_d3|p_i17_o4_n59

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|		ex.(exp1:T_m2x2, shape2:t_m2x2)-> T_m2x2
	-F_m2x2_d1,T_m2x2|
	-F_m2x2_d1,F_m2x2_d1|
	-F_m2x2_d2,T_m2x2|
	-F_m2x2_d2,F_m2x2_d2|
	-F_m2x2_d3,T_m2x2|
	-F_m2x2_d3,F_m2x2_d3|
	-T_m3x3,T_m3x3|		ex.(exp1:T_m3x3, shape2:t_m3x3)-> T_m3x3
	-F_m3x3_d1,T_m3x3|
	-F_m3x3_d1,F_m3x3_d1|
	-F_m3x3_d2,T_m3x3|
	-F_m3x3_d2,F_m3x3_d2|
	-F_m3x3_d3,T_m3x3|
	-F_m3x3_d3,F_m3x3_d3|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-T_m2x2,T_m2x2|
	-F_m2x2_d1,T_m2x2|
	-F_m2x2_d1,F_m2x2_d1|
	-T_m2x2,F_m2x2_d1|
	-F_m2x2_d2,T_m2x2|
	-F_m2x2_d2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d2|
	-F_m2x2_d3,T_m2x2|
	-F_m2x2_d3,F_m2x2_d3|
	-T_m2x2,F_m2x2_d3|
	-T_m3x3,T_m3x3|
	-T_m3x3,T_m3x3|
	-F_m3x3_d1,T_m3x3|
	-F_m3x3_d1,F_m3x3_d1|
	-T_m3x3,F_m3x3_d1|
	-F_m3x3_d2,T_m3x3|
	-F_m3x3_d2,F_m3x3_d2|
	-T_m3x3,F_m3x3_d2|
	-F_m3x3_d3,T_m3x3|
	-F_m3x3_d3,F_m3x3_d3|
	-T_m3x3,F_m3x3_d3|

 transpose(addition) |17_4
	-F_m2x2_d1,T_m2x2|
	-F_m2x2_d1,F_m2x2_d1|
	-T_m2x2,F_m2x2_d1|
	-F_m2x2_d2,T_m2x2|
	-F_m2x2_d2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d2|
	-F_m2x2_d3,T_m2x2|
	-F_m2x2_d3,F_m2x2_d3|
	-T_m2x2,F_m2x2_d3|
	-F_m3x3_d1,T_m3x3|
	-F_m3x3_d1,F_m3x3_d1|
	-T_m3x3,F_m3x3_d1|
	-F_m3x3_d2,T_m3x3|
	-F_m3x3_d2,F_m3x3_d2|
	-T_m3x3,F_m3x3_d2|
	-F_m3x3_d3,T_m3x3|
	-F_m3x3_d3,F_m3x3_d3|
	-T_m3x3,F_m3x3_d3|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-F_m2x2_d1,T_m2x2|
	-F_m2x2_d1,F_m2x2_d1|
	-T_m2x2,F_m2x2_d1|
	-F_m2x2_d2,T_m2x2|
	-F_m2x2_d2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d2|
	-F_m2x2_d3,T_m2x2|
	-F_m2x2_d3,F_m2x2_d3|
	-T_m2x2,F_m2x2_d3|
	-T_m3x3,T_m3x3|
	-F_m3x3_d1,T_m3x3|
	-F_m3x3_d1,F_m3x3_d1|
	-T_m3x3,F_m3x3_d1|
	-F_m3x3_d2,T_m3x3|
	-F_m3x3_d2,F_m3x3_d2|
	-T_m3x3,F_m3x3_d2|
	-F_m3x3_d3,T_m3x3|
	-F_m3x3_d3,F_m3x3_d3|
	-T_m3x3,F_m3x3_d3|

 transpose(addition) |17_4
	-T_m2x2,T_m2x2|
	-F_m2x2_d1,T_m2x2|
	-F_m2x2_d1,F_m2x2_d1|
	-T_m2x2,F_m2x2_d1|
	-F_m2x2_d2,T_m2x2|
	-F_m2x2_d2,F_m2x2_d2|
	-T_m2x2,F_m2x2_d2|

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