Added sqrt(\x:(< 0)) <=> mul(sqrt(x))(imag)

bvssvni · May 29, 2020 · 92539e0 · 92539e0
1 parent 1421cf6
commit 92539e0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/standard_library.rs b/src/standard_library.rs
@@ -766,6 +766,8 @@ pub fn std() -> Vec<Knowledge> {
 
         // `sqrt(\x:(>= 0)) <=> compute::sqrt(x)`
         Eqv(app(Sqrt, ret_pos_var("x")), unop_ret_var("x", Sqrt)),
+        // `sqrt(\x:(< 0)) <=> mul(sqrt(x))(imag)`
+        Eqv(app(Sqrt, ret_neg_var("x")), app2(Mul, app(Sqrt, "x"), Imag)),
         // `ln(\x) <=> compute::ln(x)`
         Eqv(app(Ln, ret_var("x")), unop_ret_var("x", Ln)),
         // `log2(\x) <=> compute::log2(x)`