From 9693a7118201717235f5844642ab354fabd42f3f Mon Sep 17 00:00:00 2001 From: AidPaike Date: Mon, 1 May 2023 19:53:41 +0800 Subject: [PATCH 1/2] Add LocalUnivariateMinimum function parameter range determination --- Standard/src/Optimization/Univariate.qs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Standard/src/Optimization/Univariate.qs b/Standard/src/Optimization/Univariate.qs index 401ff4aa1e8..2b2fca61a3e 100644 --- a/Standard/src/Optimization/Univariate.qs +++ b/Standard/src/Optimization/Univariate.qs @@ -25,6 +25,7 @@ namespace Microsoft.Quantum.Optimization { /// # Summary /// Returns the width of an interval. internal function Width(left : Double, right : Double) : Double { + Fact(left <= right, "Left endpoint of bounds must be less than or equal to right endpoint."); return right - left; } @@ -70,6 +71,7 @@ namespace Microsoft.Quantum.Optimization { bounds : (Double, Double), tolerance : Double ) : UnivariateOptimizationResult { + Fact(tolerance > 0.0, "The tolerance value must be positive."); mutable interval = bounds; mutable leftProbe = ProbeValue(fn, Fst(NextProbes(interval))); mutable rightProbe = ProbeValue(fn, Snd(NextProbes(interval))); From 4e07f7298fa8bda02e8c9dbd4fad868e06c47cce Mon Sep 17 00:00:00 2001 From: AidPaike Date: Mon, 1 May 2023 20:13:31 +0800 Subject: [PATCH 2/2] Add LocalUnivariateMinimum function parameter range determination --- Standard/src/Optimization/Univariate.qs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Standard/src/Optimization/Univariate.qs b/Standard/src/Optimization/Univariate.qs index 2b2fca61a3e..dbdc6419d4d 100644 --- a/Standard/src/Optimization/Univariate.qs +++ b/Standard/src/Optimization/Univariate.qs @@ -5,7 +5,7 @@ namespace Microsoft.Quantum.Optimization { open Microsoft.Quantum.Canon; open Microsoft.Quantum.Intrinsic; open Microsoft.Quantum.Math; - + open Microsoft.Quantum.Diagnostics; /// # Summary /// Represents the result of optimizing a univariate function. ///