From 1de5c61aba75b496962ba9eb991570bb21169516 Mon Sep 17 00:00:00 2001 From: lecopivo Date: Tue, 17 Dec 2024 00:10:17 -0500 Subject: [PATCH] clean up --- SciLean/Numerics/Optimization/Optimjl/Utilities/Types.lean | 6 ------ 1 file changed, 6 deletions(-) diff --git a/SciLean/Numerics/Optimization/Optimjl/Utilities/Types.lean b/SciLean/Numerics/Optimization/Optimjl/Utilities/Types.lean index 90fe140b..d0ca77e1 100644 --- 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