Skip to content

Commit

Permalink
Make slight adjustment to check(11, "SumsOfSquares") problem
Browse files Browse the repository at this point in the history
After "format" bug fix, an entry of an input matrix was slightly
different (-7.99999.. instead of -8), which led to CSDP getting stuck
at edge of primal feasibility and giving up on the GitHub Ubuntu 24.04
runners.  We change the numbers slightly to avoid this.
  • Loading branch information
d-torrance authored and mahrud committed Sep 29, 2024
1 parent 9639f0a commit 77d2098
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions M2/Macaulay2/packages/SumsOfSquares.m2
Original file line number Diff line number Diff line change
Expand Up @@ -1157,9 +1157,9 @@ checkLowerBound(String) := o -> (solver) -> (

t1:= (
R = RR[x,y];
f = (x-exp(1)*y)^2 + x^2 + (y-4)^2;
f = (x-exp(1)*y)^2 + x^2 + (y-2)^2;
(bound,sol) = lowerBound(f, Solver=>solver,Verbosity=>o.Verbosity);
equal(bound,16*exp(2)/(2+exp(2)))
equal(bound,4*exp(2)/(2+exp(2)))
);

t2:= (
Expand Down

0 comments on commit 77d2098

Please sign in to comment.