From 6a1b65ec6896caf55cd52621435c23aaf786b52c Mon Sep 17 00:00:00 2001
From: Paul Kry <kry@cs.mcgill.ca>
Date: Fri, 21 Apr 2023 13:33:44 -0400
Subject: [PATCH] fixed cos bug

derivative of cos is -sin
---
 interval.m | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/interval.m b/interval.m
index 68a61de..591a9c7 100644
--- a/interval.m
+++ b/interval.m
@@ -2112,8 +2112,8 @@
              upper(inRegion) = max(cos(xi_interval.infimum(inRegion)), cos(xi_interval.supremum(inRegion)));
 
                 % derivative @ < 2*pi
-                sinSignLower(inRegion) = sign(sin(xi_interval.infimum(inRegion)));
-                sinSignUpper(inRegion) = sign(sin(xi_interval.supremum(inRegion)));
+                sinSignLower(inRegion) = sign(-sin(xi_interval.infimum(inRegion)));
+                sinSignUpper(inRegion) = sign(-sin(xi_interval.supremum(inRegion)));
 
                  % crossover points
                 sinSignLower(sinSignLower == 0) = -1 * sign(lower(sinSignLower == 0));