Created
August 25, 2016 16:06
-
-
Save Limeth/52ffb5dca0e7e002b4cdea16db3c7830 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #[test] | |
| pub fn det_6_copy_tuple() { | |
| let tuple = | |
| ((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)); | |
| { | |
| match (&{ | |
| let ((_00, _10, _20, _30, _40, _50), | |
| (_01, _11, _21, _31, _41, _51), | |
| (_02, _12, _22, _32, _42, _52), | |
| (_03, _13, _23, _33, _43, _53), | |
| (_04, _14, _24, _34, _44, _54), | |
| (_05, _15, _25, _35, _45, _55)) = tuple; | |
| _00 * | |
| (_11 * | |
| (_22 * | |
| (_33 * (_44 * _55 - _54 * _45) - | |
| _43 * (_34 * _55 - _54 * _35) + | |
| _53 * (_34 * _45 - _44 * _35)) - | |
| _32 * | |
| (_23 * (_44 * _55 - _54 * _45) - | |
| _43 * (_24 * _55 - _54 * _25) + | |
| _53 * (_24 * _45 - _44 * _25)) | |
| + | |
| _42 * | |
| (_23 * (_34 * _55 - _54 * _35) - | |
| _33 * (_24 * _55 - _54 * _25) + | |
| _53 * (_24 * _35 - _34 * _25)) | |
| - | |
| _52 * | |
| (_23 * (_34 * _45 - _44 * _35) - | |
| _33 * (_24 * _45 - _44 * _25) + | |
| _43 * (_24 * _35 - _34 * _25))) | |
| - | |
| _21 * | |
| (_12 * | |
| (_33 * (_44 * _55 - _54 * _45) - | |
| _43 * (_34 * _55 - _54 * _35) + | |
| _53 * (_34 * _45 - _44 * _35)) | |
| - | |
| _32 * | |
| (_13 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _45 - | |
| _44 * _15)) + | |
| _42 * | |
| (_13 * (_34 * _55 - _54 * _35) - | |
| _33 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _35 - | |
| _34 * _15)) - | |
| _52 * | |
| (_13 * (_34 * _45 - _44 * _35) - | |
| _33 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _35 - | |
| _34 * _15))) + | |
| _31 * | |
| (_12 * | |
| (_23 * (_44 * _55 - _54 * _45) - | |
| _43 * (_24 * _55 - _54 * _25) + | |
| _53 * (_24 * _45 - _44 * _25)) | |
| - | |
| _22 * | |
| (_13 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _45 - | |
| _44 * _15)) + | |
| _42 * | |
| (_13 * (_24 * _55 - _54 * _25) - | |
| _23 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _52 * | |
| (_13 * (_24 * _45 - _44 * _25) - | |
| _23 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _25 - | |
| _24 * _15))) - | |
| _41 * | |
| (_12 * | |
| (_23 * (_34 * _55 - _54 * _35) - | |
| _33 * (_24 * _55 - _54 * _25) + | |
| _53 * (_24 * _35 - _34 * _25)) | |
| - | |
| _22 * | |
| (_13 * (_34 * _55 - _54 * _35) - | |
| _33 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _35 - | |
| _34 * _15)) + | |
| _32 * | |
| (_13 * (_24 * _55 - _54 * _25) - | |
| _23 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _52 * | |
| (_13 * (_24 * _35 - _34 * _25) - | |
| _23 * | |
| (_14 * _35 - _34 * _15) | |
| + | |
| _33 * | |
| (_14 * _25 - | |
| _24 * _15))) + | |
| _51 * | |
| (_12 * | |
| (_23 * (_34 * _45 - _44 * _35) - | |
| _33 * (_24 * _45 - _44 * _25) + | |
| _43 * (_24 * _35 - _34 * _25)) | |
| - | |
| _22 * | |
| (_13 * (_34 * _45 - _44 * _35) - | |
| _33 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _35 - | |
| _34 * _15)) + | |
| _32 * | |
| (_13 * (_24 * _45 - _44 * _25) - | |
| _23 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _42 * | |
| (_13 * (_24 * _35 - _34 * _25) - | |
| _23 * | |
| (_14 * _35 - _34 * _15) | |
| + | |
| _33 * | |
| (_14 * _25 - | |
| _24 * _15)))) - | |
| _10 * | |
| (_01 * | |
| (_22 * | |
| (_33 * (_44 * _55 - _54 * _45) - | |
| _43 * (_34 * _55 - _54 * _35) + | |
| _53 * (_34 * _45 - _44 * _35)) | |
| - | |
| _32 * | |
| (_23 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_24 * _55 - _54 * _25) | |
| + | |
| _53 * | |
| (_24 * _45 - | |
| _44 * _25)) + | |
| _42 * | |
| (_23 * (_34 * _55 - _54 * _35) - | |
| _33 * | |
| (_24 * _55 - _54 * _25) | |
| + | |
| _53 * | |
| (_24 * _35 - | |
| _34 * _25)) - | |
| _52 * | |
| (_23 * (_34 * _45 - _44 * _35) - | |
| _33 * | |
| (_24 * _45 - _44 * _25) | |
| + | |
| _43 * | |
| (_24 * _35 - | |
| _34 * _25))) - | |
| _21 * | |
| (_02 * | |
| (_33 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_34 * _55 - _54 * _35) | |
| + | |
| _53 * | |
| (_34 * _45 - | |
| _44 * _35)) - | |
| _32 * | |
| (_03 * | |
| (_44 * _55 - _54 * _45) | |
| - | |
| _43 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _45 - | |
| _44 * _05)) + | |
| _42 * | |
| (_03 * | |
| (_34 * _55 - _54 * _35) | |
| - | |
| _33 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _35 - | |
| _34 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_34 * _45 - _44 * _35) | |
| - | |
| _33 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _35 - | |
| _34 * _05))) + | |
| _31 * | |
| (_02 * | |
| (_23 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_24 * _55 - _54 * _25) | |
| + | |
| _53 * | |
| (_24 * _45 - | |
| _44 * _25)) - | |
| _22 * | |
| (_03 * | |
| (_44 * _55 - _54 * _45) | |
| - | |
| _43 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _45 - | |
| _44 * _05)) + | |
| _42 * | |
| (_03 * | |
| (_24 * _55 - _54 * _25) | |
| - | |
| _23 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _25 - | |
| _24 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_24 * _45 - _44 * _25) | |
| - | |
| _23 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _25 - | |
| _24 * _05))) - | |
| _41 * | |
| (_02 * | |
| (_23 * (_34 * _55 - _54 * _35) - | |
| _33 * | |
| (_24 * _55 - _54 * _25) | |
| + | |
| _53 * | |
| (_24 * _35 - | |
| _34 * _25)) - | |
| _22 * | |
| (_03 * | |
| (_34 * _55 - _54 * _35) | |
| - | |
| _33 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _35 - | |
| _34 * _05)) + | |
| _32 * | |
| (_03 * | |
| (_24 * _55 - _54 * _25) | |
| - | |
| _23 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _25 - | |
| _24 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_24 * _35 - _34 * _25) | |
| - | |
| _23 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _25 - | |
| _24 * _05))) + | |
| _51 * | |
| (_02 * | |
| (_23 * (_34 * _45 - _44 * _35) - | |
| _33 * | |
| (_24 * _45 - _44 * _25) | |
| + | |
| _43 * | |
| (_24 * _35 - | |
| _34 * _25)) - | |
| _22 * | |
| (_03 * | |
| (_34 * _45 - _44 * _35) | |
| - | |
| _33 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _35 - | |
| _34 * _05)) + | |
| _32 * | |
| (_03 * | |
| (_24 * _45 - _44 * _25) | |
| - | |
| _23 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _25 - | |
| _24 * _05)) - | |
| _42 * | |
| (_03 * | |
| (_24 * _35 - _34 * _25) | |
| - | |
| _23 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _25 - | |
| _24 * _05)))) | |
| + | |
| _20 * | |
| (_01 * | |
| (_12 * | |
| (_33 * (_44 * _55 - _54 * _45) - | |
| _43 * (_34 * _55 - _54 * _35) + | |
| _53 * (_34 * _45 - _44 * _35)) | |
| - | |
| _32 * | |
| (_13 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _45 - | |
| _44 * _15)) + | |
| _42 * | |
| (_13 * (_34 * _55 - _54 * _35) - | |
| _33 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _35 - | |
| _34 * _15)) - | |
| _52 * | |
| (_13 * (_34 * _45 - _44 * _35) - | |
| _33 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _35 - | |
| _34 * _15))) - | |
| _11 * | |
| (_02 * | |
| (_33 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_34 * _55 - _54 * _35) | |
| + | |
| _53 * | |
| (_34 * _45 - | |
| _44 * _35)) - | |
| _32 * | |
| (_03 * | |
| (_44 * _55 - _54 * _45) | |
| - | |
| _43 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _45 - | |
| _44 * _05)) + | |
| _42 * | |
| (_03 * | |
| (_34 * _55 - _54 * _35) | |
| - | |
| _33 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _35 - | |
| _34 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_34 * _45 - _44 * _35) | |
| - | |
| _33 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _35 - | |
| _34 * _05))) + | |
| _31 * | |
| (_02 * | |
| (_13 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _45 - | |
| _44 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_44 * _55 - _54 * _45) | |
| - | |
| _43 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _45 - | |
| _44 * _05)) + | |
| _42 * | |
| (_03 * | |
| (_14 * _55 - _54 * _15) | |
| - | |
| _13 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_14 * _45 - _44 * _15) | |
| - | |
| _13 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _15 - | |
| _14 * _05))) - | |
| _41 * | |
| (_02 * | |
| (_13 * (_34 * _55 - _54 * _35) - | |
| _33 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _35 - | |
| _34 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_34 * _55 - _54 * _35) | |
| - | |
| _33 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _35 - | |
| _34 * _05)) + | |
| _32 * | |
| (_03 * | |
| (_14 * _55 - _54 * _15) | |
| - | |
| _13 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_14 * _35 - _34 * _15) | |
| - | |
| _13 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _15 - | |
| _14 * _05))) + | |
| _51 * | |
| (_02 * | |
| (_13 * (_34 * _45 - _44 * _35) - | |
| _33 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _35 - | |
| _34 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_34 * _45 - _44 * _35) | |
| - | |
| _33 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _35 - | |
| _34 * _05)) + | |
| _32 * | |
| (_03 * | |
| (_14 * _45 - _44 * _15) | |
| - | |
| _13 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _42 * | |
| (_03 * | |
| (_14 * _35 - _34 * _15) | |
| - | |
| _13 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _15 - | |
| _14 * _05)))) | |
| - | |
| _30 * | |
| (_01 * | |
| (_12 * | |
| (_23 * (_44 * _55 - _54 * _45) - | |
| _43 * (_24 * _55 - _54 * _25) + | |
| _53 * (_24 * _45 - _44 * _25)) | |
| - | |
| _22 * | |
| (_13 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _45 - | |
| _44 * _15)) + | |
| _42 * | |
| (_13 * (_24 * _55 - _54 * _25) - | |
| _23 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _52 * | |
| (_13 * (_24 * _45 - _44 * _25) - | |
| _23 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _25 - | |
| _24 * _15))) - | |
| _11 * | |
| (_02 * | |
| (_23 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_24 * _55 - _54 * _25) | |
| + | |
| _53 * | |
| (_24 * _45 - | |
| _44 * _25)) - | |
| _22 * | |
| (_03 * | |
| (_44 * _55 - _54 * _45) | |
| - | |
| _43 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _45 - | |
| _44 * _05)) + | |
| _42 * | |
| (_03 * | |
| (_24 * _55 - _54 * _25) | |
| - | |
| _23 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _25 - | |
| _24 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_24 * _45 - _44 * _25) | |
| - | |
| _23 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _25 - | |
| _24 * _05))) + | |
| _21 * | |
| (_02 * | |
| (_13 * (_44 * _55 - _54 * _45) - | |
| _43 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _45 - | |
| _44 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_44 * _55 - _54 * _45) | |
| - | |
| _43 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _45 - | |
| _44 * _05)) + | |
| _42 * | |
| (_03 * | |
| (_14 * _55 - _54 * _15) | |
| - | |
| _13 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_14 * _45 - _44 * _15) | |
| - | |
| _13 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _15 - | |
| _14 * _05))) - | |
| _41 * | |
| (_02 * | |
| (_13 * (_24 * _55 - _54 * _25) - | |
| _23 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_24 * _55 - _54 * _25) | |
| - | |
| _23 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _25 - | |
| _24 * _05)) + | |
| _22 * | |
| (_03 * | |
| (_14 * _55 - _54 * _15) | |
| - | |
| _13 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_14 * _25 - _24 * _15) | |
| - | |
| _13 * | |
| (_04 * _25 - | |
| _24 * _05) + | |
| _23 * | |
| (_04 * _15 - | |
| _14 * _05))) + | |
| _51 * | |
| (_02 * | |
| (_13 * (_24 * _45 - _44 * _25) - | |
| _23 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_24 * _45 - _44 * _25) | |
| - | |
| _23 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _25 - | |
| _24 * _05)) + | |
| _22 * | |
| (_03 * | |
| (_14 * _45 - _44 * _15) | |
| - | |
| _13 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _42 * | |
| (_03 * | |
| (_14 * _25 - _24 * _15) | |
| - | |
| _13 * | |
| (_04 * _25 - | |
| _24 * _05) + | |
| _23 * | |
| (_04 * _15 - | |
| _14 * _05)))) | |
| + | |
| _40 * | |
| (_01 * | |
| (_12 * | |
| (_23 * (_34 * _55 - _54 * _35) - | |
| _33 * (_24 * _55 - _54 * _25) + | |
| _53 * (_24 * _35 - _34 * _25)) | |
| - | |
| _22 * | |
| (_13 * (_34 * _55 - _54 * _35) - | |
| _33 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _35 - | |
| _34 * _15)) + | |
| _32 * | |
| (_13 * (_24 * _55 - _54 * _25) - | |
| _23 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _52 * | |
| (_13 * (_24 * _35 - _34 * _25) - | |
| _23 * | |
| (_14 * _35 - _34 * _15) | |
| + | |
| _33 * | |
| (_14 * _25 - | |
| _24 * _15))) - | |
| _11 * | |
| (_02 * | |
| (_23 * (_34 * _55 - _54 * _35) - | |
| _33 * | |
| (_24 * _55 - _54 * _25) | |
| + | |
| _53 * | |
| (_24 * _35 - | |
| _34 * _25)) - | |
| _22 * | |
| (_03 * | |
| (_34 * _55 - _54 * _35) | |
| - | |
| _33 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _35 - | |
| _34 * _05)) + | |
| _32 * | |
| (_03 * | |
| (_24 * _55 - _54 * _25) | |
| - | |
| _23 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _25 - | |
| _24 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_24 * _35 - _34 * _25) | |
| - | |
| _23 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _25 - | |
| _24 * _05))) + | |
| _21 * | |
| (_02 * | |
| (_13 * (_34 * _55 - _54 * _35) - | |
| _33 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _35 - | |
| _34 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_34 * _55 - _54 * _35) | |
| - | |
| _33 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _35 - | |
| _34 * _05)) + | |
| _32 * | |
| (_03 * | |
| (_14 * _55 - _54 * _15) | |
| - | |
| _13 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_14 * _35 - _34 * _15) | |
| - | |
| _13 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _15 - | |
| _14 * _05))) - | |
| _31 * | |
| (_02 * | |
| (_13 * (_24 * _55 - _54 * _25) - | |
| _23 * | |
| (_14 * _55 - _54 * _15) | |
| + | |
| _53 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_24 * _55 - _54 * _25) | |
| - | |
| _23 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _25 - | |
| _24 * _05)) + | |
| _22 * | |
| (_03 * | |
| (_14 * _55 - _54 * _15) | |
| - | |
| _13 * | |
| (_04 * _55 - | |
| _54 * _05) + | |
| _53 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _52 * | |
| (_03 * | |
| (_14 * _25 - _24 * _15) | |
| - | |
| _13 * | |
| (_04 * _25 - | |
| _24 * _05) + | |
| _23 * | |
| (_04 * _15 - | |
| _14 * _05))) + | |
| _51 * | |
| (_02 * | |
| (_13 * (_24 * _35 - _34 * _25) - | |
| _23 * | |
| (_14 * _35 - _34 * _15) | |
| + | |
| _33 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_24 * _35 - _34 * _25) | |
| - | |
| _23 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _25 - | |
| _24 * _05)) + | |
| _22 * | |
| (_03 * | |
| (_14 * _35 - _34 * _15) | |
| - | |
| _13 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _32 * | |
| (_03 * | |
| (_14 * _25 - _24 * _15) | |
| - | |
| _13 * | |
| (_04 * _25 - | |
| _24 * _05) + | |
| _23 * | |
| (_04 * _15 - | |
| _14 * _05)))) | |
| - | |
| _50 * | |
| (_01 * | |
| (_12 * | |
| (_23 * (_34 * _45 - _44 * _35) - | |
| _33 * (_24 * _45 - _44 * _25) + | |
| _43 * (_24 * _35 - _34 * _25)) | |
| - | |
| _22 * | |
| (_13 * (_34 * _45 - _44 * _35) - | |
| _33 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _35 - | |
| _34 * _15)) + | |
| _32 * | |
| (_13 * (_24 * _45 - _44 * _25) - | |
| _23 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _42 * | |
| (_13 * (_24 * _35 - _34 * _25) - | |
| _23 * | |
| (_14 * _35 - _34 * _15) | |
| + | |
| _33 * | |
| (_14 * _25 - | |
| _24 * _15))) - | |
| _11 * | |
| (_02 * | |
| (_23 * (_34 * _45 - _44 * _35) - | |
| _33 * | |
| (_24 * _45 - _44 * _25) | |
| + | |
| _43 * | |
| (_24 * _35 - | |
| _34 * _25)) - | |
| _22 * | |
| (_03 * | |
| (_34 * _45 - _44 * _35) | |
| - | |
| _33 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _35 - | |
| _34 * _05)) + | |
| _32 * | |
| (_03 * | |
| (_24 * _45 - _44 * _25) | |
| - | |
| _23 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _25 - | |
| _24 * _05)) - | |
| _42 * | |
| (_03 * | |
| (_24 * _35 - _34 * _25) | |
| - | |
| _23 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _25 - | |
| _24 * _05))) + | |
| _21 * | |
| (_02 * | |
| (_13 * (_34 * _45 - _44 * _35) - | |
| _33 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _35 - | |
| _34 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_34 * _45 - _44 * _35) | |
| - | |
| _33 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _35 - | |
| _34 * _05)) + | |
| _32 * | |
| (_03 * | |
| (_14 * _45 - _44 * _15) | |
| - | |
| _13 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _42 * | |
| (_03 * | |
| (_14 * _35 - _34 * _15) | |
| - | |
| _13 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _15 - | |
| _14 * _05))) - | |
| _31 * | |
| (_02 * | |
| (_13 * (_24 * _45 - _44 * _25) - | |
| _23 * | |
| (_14 * _45 - _44 * _15) | |
| + | |
| _43 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_24 * _45 - _44 * _25) | |
| - | |
| _23 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _25 - | |
| _24 * _05)) + | |
| _22 * | |
| (_03 * | |
| (_14 * _45 - _44 * _15) | |
| - | |
| _13 * | |
| (_04 * _45 - | |
| _44 * _05) + | |
| _43 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _42 * | |
| (_03 * | |
| (_14 * _25 - _24 * _15) | |
| - | |
| _13 * | |
| (_04 * _25 - | |
| _24 * _05) + | |
| _23 * | |
| (_04 * _15 - | |
| _14 * _05))) + | |
| _41 * | |
| (_02 * | |
| (_13 * (_24 * _35 - _34 * _25) - | |
| _23 * | |
| (_14 * _35 - _34 * _15) | |
| + | |
| _33 * | |
| (_14 * _25 - | |
| _24 * _15)) - | |
| _12 * | |
| (_03 * | |
| (_24 * _35 - _34 * _25) | |
| - | |
| _23 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _25 - | |
| _24 * _05)) + | |
| _22 * | |
| (_03 * | |
| (_14 * _35 - _34 * _15) | |
| - | |
| _13 * | |
| (_04 * _35 - | |
| _34 * _05) + | |
| _33 * | |
| (_04 * _15 - | |
| _14 * _05)) - | |
| _32 * | |
| (_03 * | |
| (_14 * _25 - _24 * _15) | |
| - | |
| _13 * | |
| (_04 * _25 - | |
| _24 * _05) + | |
| _23 * | |
| (_04 * _15 - | |
| _14 * _05)))) | |
| }, &0) { | |
| (left_val, right_val) => { | |
| if !(*left_val == *right_val) { | |
| { | |
| ::std::rt::begin_panic_fmt(&::std::fmt::Arguments::new_v1({ | |
| static __STATIC_FMTSTR: | |
| &'static [&'static str] | |
| = | |
| &["assertion failed: `(left == right)` (left: `", | |
| "`, right: `", | |
| "`)"]; | |
| __STATIC_FMTSTR | |
| }, | |
| &match (&left_val, | |
| &right_val) | |
| { | |
| (__arg0, | |
| __arg1) | |
| => | |
| [::std::fmt::ArgumentV1::new(__arg0, | |
| ::std::fmt::Debug::fmt), | |
| ::std::fmt::ArgumentV1::new(__arg1, | |
| ::std::fmt::Debug::fmt)], | |
| }), | |
| { | |
| static _FILE_LINE: | |
| (&'static str, | |
| u32) = | |
| ("src/lib.rs", | |
| 840u32); | |
| &_FILE_LINE | |
| }) | |
| } | |
| } | |
| } | |
| } | |
| } | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment