From 04ef71558f6db7bcbddd26e3c3027c5ac65f2bd1 Mon Sep 17 00:00:00 2001 From: Erik Schnetter Date: Thu, 27 Jul 2023 16:44:32 -0400 Subject: [PATCH] Correct cosh/sinh tests --- test/rulesets.jl | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/test/rulesets.jl b/test/rulesets.jl index 15bf49a63..4730cc102 100644 --- a/test/rulesets.jl +++ b/test/rulesets.jl @@ -101,12 +101,12 @@ end @eqtest simplify(cos(x)^2 - 1) == -sin(x)^2 @eqtest simplify(sin(x)^2 - 1) == -cos(x)^2 - @test simplify(cosh(x)^2 + 1 - sinh(x)^2) == 2 - @test simplify(cosh(y)^2 + 1 - sinh(y)^2) == 2 - @test simplify(-sinh(y)^2 + cosh(y)^2 + 1) == 2 + @eqtest simplify(cosh(x)^2 + 1 - sinh(x)^2) == 2 + @eqtest simplify(cosh(y)^2 + 1 - sinh(y)^2) == 2 + @eqtest simplify(-sinh(y)^2 + cosh(y)^2 + 1) == 2 - @eqtest simplify(cosh(x)^2 - 1) == sin(x)^2 - @eqtest simplify(sinh(x)^2 + 1) == cos(x)^2 + @eqtest simplify(cosh(x)^2 - 1) == sinh(x)^2 + @eqtest simplify(sinh(x)^2 + 1) == cosh(x)^2 end @testset "Double angle formulas" begin @@ -117,8 +117,8 @@ end @eqtest simplify(2cos(x) * sin(x)) == sin(2x) @eqtest simplify(r * cosh(x / 2)^2 + r * sinh(x / 2)^2) == r * cosh(x) - @eqtest simplify(r * sinh(x / 2)^2 + r * cosh(x / 2)^2) == r * cos(x) - @eqtest simplify(2cosh(x) * sinh(x)) == sin(2x) + @eqtest simplify(r * sinh(x / 2)^2 + r * cosh(x / 2)^2) == r * cosh(x) + @eqtest simplify(2cosh(x) * sinh(x)) == sinh(2x) end @testset "Exponentials" begin