Test cube root

psg-mit · Jan 28, 2020 · faeab0a · faeab0a
1 parent 7e5cc0e
commit faeab0a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/Types/SmoothBool.hs b/src/Types/SmoothBool.hs
@@ -67,4 +67,8 @@ dedekind_cubert z = dedekind_cut (ArrD (\wk x -> x < 0 || x^3 < dmap wk z))
 
 testBSqrt :: CPoint Real -> [CPoint Real]
 testBSqrt z = let R f = dedekind_cut (ArrD (\c x -> x < 0 || x^2 < R c)) in
+    getDerivTower f z
+
+testBCubert :: CPoint Real -> [CPoint Real]
+testBCubert z = let R f = dedekind_cut (ArrD (\c x -> x < 0 || x^3 < R c)) in
     getDerivTower f z