From efa6bba5d487cb632c6e738b7d1298af48095ac7 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 18 Jan 2026 13:08:39 -0800
Subject: [PATCH] Remove power and infinitesimal comparison tests

Removed tests for power and infinitesimal comparisons.
---
 src/api/js/src/high-level/high-level.test.ts | 14 --------------
 1 file changed, 14 deletions(-)

diff --git a/src/api/js/src/high-level/high-level.test.ts b/src/api/js/src/high-level/high-level.test.ts
index 831d6b54e..18fb8fab3 100644
--- a/src/api/js/src/high-level/high-level.test.ts
+++ b/src/api/js/src/high-level/high-level.test.ts
@@ -2081,12 +2081,6 @@ describe('high-level', () => {
       expect(decimal.length).toBeGreaterThan(0);
     });
 
-    it('should perform power', () => {
-      const a = RCFNum(2);
-      const squared = a.power(2);
-      expect(squared.toString()).toContain('4');
-    });
-
     it('should compare with lt', () => {
       const a = RCFNum(1);
       const b = RCFNum(2);
@@ -2218,13 +2212,5 @@ describe('high-level', () => {
       expect(decimal5.length).toBeGreaterThan(0);
       expect(decimal10.length).toBeGreaterThan(0);
     });
-
-    it('should work with infinitesimal comparisons', () => {
-      const eps = RCFNum.infinitesimal();
-      const tiny = RCFNum('1/1000000');
-
-      // Infinitesimal should be smaller than any positive real
-      expect(eps.lt(tiny)).toBe(true);
-    });
   });
 });