From 9a69987aa2fa1bda9623f08e87b5a220c810ca73 Mon Sep 17 00:00:00 2001 From: varun10p Date: Wed, 11 Sep 2024 11:02:47 -0700 Subject: [PATCH] Impl names in identity --- src/platforms/binary32.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/platforms/binary32.rkt b/src/platforms/binary32.rkt index 1877b09db..8715acfd7 100644 --- a/src/platforms/binary32.rkt +++ b/src/platforms/binary32.rkt @@ -103,8 +103,8 @@ [sqr-neg (*.f32 (neg.f32 x) (neg.f32 x)) (*.f32 x x)] [sqr-abs (*.f32 (fabs.f32 x) (fabs.f32 x)) (*.f32 x x)] [mul-fabs (*.f32 (fabs.f32 a) (fabs.f32 b)) (fabs.f32 (*.f32 a b))] - [sqr-sin-b (*.f32 (sin.f32 x) (sin.f32 x)) (- 1 (*.f32 (cos.f32 x) (cos.f32 x)))] - [sqr-cos-b (*.f32 (cos.f32 x) (cos.f32 x)) (- 1 (*.f32 (sin.f32 x) (sin.f32 x)))])) + [sqr-sin-b (*.f32 (sin.f32 x) (sin.f32 x)) (-.f32 1 (*.f32 (cos.f32 x) (cos.f32 x)))] + [sqr-cos-b (*.f32 (cos.f32 x) (cos.f32 x)) (-.f32 1 (*.f32 (sin.f32 x) (sin.f32 x)))])) (define-operator-impl (/.f32 [x : binary32] [y : binary32]) binary32