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