summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorNao Pross <np@0hm.ch>2024-05-11 11:43:09 +0200
committerNao Pross <np@0hm.ch>2024-05-11 11:43:09 +0200
commitb716776c547acb2905625379f892c66dbe852388 (patch)
treec3ae0b50ba176366301b1ccd05606c0647f47766
parentPrepare stub for SCS solver interface (diff)
downloadsumofsquares-b716776c547acb2905625379f892c66dbe852388.tar.gz
sumofsquares-b716776c547acb2905625379f892c66dbe852388.zip
Fix bug in putinar_psatz
-rw-r--r--sumofsquares/constraints.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/sumofsquares/constraints.py b/sumofsquares/constraints.py
index 4209ffe..69b5871 100644
--- a/sumofsquares/constraints.py
+++ b/sumofsquares/constraints.py
@@ -154,4 +154,5 @@ def putinar_psatz(
new_constr -= m * domain_poly
new_constraints.append(NonNegative(m))
+ new_constraints.append(NonNegative(new_constr))
return new_constraints