clean up

lecopivo · Dec 17, 2024 · 1de5c61 · 1de5c61
1 parent 3b1b9ab
commit 1de5c61
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/SciLean/Numerics/Optimization/Optimjl/Utilities/Types.lean b/SciLean/Numerics/Optimization/Optimjl/Utilities/Types.lean
@@ -43,12 +43,6 @@ structure Options (R : Type) [RealScalar R] where
   time_limit? : Option ℕ := none
 
 
-structure Method where
-  isNewton : Bool
-  isNewtonTrustRegion : Bool
-  isNelderMead : Bool
-
-
 structure MultivariateOptimizationResults (R X : Type) where
     initial_x : X
     minimizer : X