Skip to content

Commit

Permalink
Fix doctests
Browse files Browse the repository at this point in the history
  • Loading branch information
blegat committed May 2, 2023
1 parent 04ee504 commit cd84444
Show file tree
Hide file tree
Showing 2 changed files with 12 additions and 12 deletions.
12 changes: 6 additions & 6 deletions docs/src/manual/constraints.md
Original file line number Diff line number Diff line change
Expand Up @@ -225,17 +225,17 @@ julia> model = Model();
julia> @variable(model, X[1:2, 1:2] in HermitianPSDCone())
2×2 Hermitian{GenericAffExpr{ComplexF64, VariableRef}, Matrix{GenericAffExpr{ComplexF64, VariableRef}}}:
real(X[1,1]) real(X[1,2]) + im imag(X[1,2])
real(X[1,2]) - im imag(X[1,2]) real(X[2,2])
real(X[1,1]) real(X[1,2]) + imag(X[1,2]) im
real(X[1,2]) - imag(X[1,2]) im real(X[2,2])
julia> @constraint(model, X == LinearAlgebra.I)
[real(X[1,1]) - 1 real(X[1,2]) + im imag(X[1,2]);
real(X[1,2]) - im imag(X[1,2]) real(X[2,2]) - 1] ∈ Zeros()
[real(X[1,1]) - 1 real(X[1,2]) + imag(X[1,2]) im;
real(X[1,2]) - imag(X[1,2]) im real(X[2,2]) - 1] ∈ Zeros()
julia> @constraint(model, X .== LinearAlgebra.I)
2×2 Matrix{ConstraintRef{Model, MathOptInterface.ConstraintIndex{MathOptInterface.ScalarAffineFunction{ComplexF64}, MathOptInterface.EqualTo{ComplexF64}}, ScalarShape}}:
real(X[1,1]) = 1.0 - 0.0im … real(X[1,2]) + im imag(X[1,2]) = 0.0 - 0.0im
real(X[1,2]) - im imag(X[1,2]) = 0.0 + 0.0im real(X[2,2]) = 1.0 - 0.0im
real(X[1,1]) = 1.0 - 0.0im … real(X[1,2]) + imag(X[1,2]) im = 0.0 - 0.0im
real(X[1,2]) - imag(X[1,2]) im = 0.0 + 0.0im real(X[2,2]) = 1.0 - 0.0im
```

## Containers of constraints
Expand Down
12 changes: 6 additions & 6 deletions docs/src/manual/variables.md
Original file line number Diff line number Diff line change
Expand Up @@ -1247,8 +1247,8 @@ julia> model = Model();
julia> @variable(model, H[1:2, 1:2] in HermitianPSDCone())
2×2 LinearAlgebra.Hermitian{GenericAffExpr{ComplexF64, VariableRef}, Matrix{GenericAffExpr{ComplexF64, VariableRef}}}:
real(H[1,1]) real(H[1,2]) + im imag(H[1,2])
real(H[1,2]) - im imag(H[1,2]) real(H[2,2])
real(H[1,1]) real(H[1,2]) + imag(H[1,2]) im
real(H[1,2]) - imag(H[1,2]) im real(H[2,2])
```

This adds 4 real variables in the [`MOI.HermitianPositiveSemidefiniteConeTriangle`](@ref):
Expand All @@ -1266,8 +1266,8 @@ julia> model = Model();
julia> @variable(model, x[1:2, 1:2], Hermitian)
2×2 LinearAlgebra.Hermitian{GenericAffExpr{ComplexF64, VariableRef}, Matrix{GenericAffExpr{ComplexF64, VariableRef}}}:
real(x[1,1]) real(x[1,2]) + im imag(x[1,2])
real(x[1,2]) - im imag(x[1,2]) real(x[2,2])
real(x[1,1]) real(x[1,2]) + imag(x[1,2]) im
real(x[1,2]) - imag(x[1,2]) im real(x[2,2])
```

This is equivalent to declaring the variable in [`HermitianMatrixSpace`](@ref):
Expand All @@ -1276,8 +1276,8 @@ julia> model = Model();
julia> @variable(model, x[1:2, 1:2] in HermitianMatrixSpace())
2×2 LinearAlgebra.Hermitian{GenericAffExpr{ComplexF64, VariableRef}, Matrix{GenericAffExpr{ComplexF64, VariableRef}}}:
real(x[1,1]) real(x[1,2]) + im imag(x[1,2])
real(x[1,2]) - im imag(x[1,2]) real(x[2,2])
real(x[1,1]) real(x[1,2]) + imag(x[1,2]) im
real(x[1,2]) - imag(x[1,2]) im real(x[2,2])
```

### Why use variables constrained on creation?
Expand Down

0 comments on commit cd84444

Please sign in to comment.