From 77b8baf3abc2e7641e6d56b79157ff61d6b60dbd Mon Sep 17 00:00:00 2001 From: Oscar Dowson Date: Tue, 4 Jun 2024 15:29:26 +1200 Subject: [PATCH] Update constraints.md --- docs/src/manual/constraints.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/docs/src/manual/constraints.md b/docs/src/manual/constraints.md index 33114ff0a9c..73f9e75b9d2 100644 --- a/docs/src/manual/constraints.md +++ b/docs/src/manual/constraints.md @@ -202,12 +202,12 @@ julia> @variable(model, X[1:2, 1:2], Symmetric) julia> @constraint(model, X == LinearAlgebra.I) [X[1,1] - 1 X[1,2] - X[1,2] X[2,2] - 1] ∈ Zeros() + ⋅ X[2,2] - 1] ∈ Zeros() ``` -Despite the model showing the matrix in [`Zeros`](@ref), this will add only -three rows to the constraint matrix because the symmetric constraints are -redundant. In contrast, the broadcasting syntax adds four linear constraints: +This will add only three rows to the constraint matrix because the symmetric +constraints are redundant. In contrast, the broadcasting syntax adds four linear +constraints: ```jldoctest con_symmetric_zeros julia> @constraint(model, X .== LinearAlgebra.I)