From b4eb983976e1f3389516dbd481f7d966d40060f1 Mon Sep 17 00:00:00 2001
From: odow <o.dowson@gmail.com>
Date: Tue, 7 Nov 2023 09:53:11 +1300
Subject: [PATCH] Update tips_and_tricks

---
 docs/src/tutorials/linear/tips_and_tricks.jl | 31 ++++++++++++++------
 1 file changed, 22 insertions(+), 9 deletions(-)

diff --git a/docs/src/tutorials/linear/tips_and_tricks.jl b/docs/src/tutorials/linear/tips_and_tricks.jl
index ab2b5a7e9d2..b339521c36e 100644
--- a/docs/src/tutorials/linear/tips_and_tricks.jl
+++ b/docs/src/tutorials/linear/tips_and_tricks.jl
@@ -237,15 +237,6 @@ M = 100
 
 # ## Semi-continuous variables
 
-# !!! info
-#     This section uses sets from [MathOptInterface](@ref moi_documentation).
-#     By default, JuMP exports the `MOI` symbol as an alias for the
-#     MathOptInterface.jl package. We recommend making this more explicit in
-#     your code by adding the following lines:
-#     ```julia
-#     import MathOptInterface as MOI
-#     ```
-
 # A semi-continuous variable is a continuous variable between bounds $[l,u]$
 # that also can assume the value zero, that is:
 # $$x \in \{0\} \cup [l,u].$$
@@ -255,6 +246,17 @@ M = 100
 model = Model();
 @variable(model, x in Semicontinuous(1.0, 2.0))
 
+# You can also represent a semi-continuous variable using the reformulation:
+
+model = Model();
+@variable(model, x)
+@variable(model, z, Bin)
+@constraint(model, x <= 2 * z)
+@constraint(model, x >= 1 * z)
+
+# When `z = 0` the two constraints are equivalent to `0 <= x <= 0`. When `z = 1`,
+# the two constraints are equivalennt to `1 <= x <= 2`.
+
 # ## Semi-integer variables
 
 # A semi-integer variable is a variable which assumes integer values between
@@ -264,6 +266,17 @@ model = Model();
 model = Model();
 @variable(model, x in Semiinteger(5.0, 10.0))
 
+# You can also represent a semi-integer variable using the reformulation:
+
+model = Model();
+@variable(model, x, Int)
+@variable(model, z, Bin)
+@constraint(model, x <= 10 * z)
+@constraint(model, x >= 5 * z)
+
+# When `z = 0` the two constraints are equivalent to `0 <= x <= 0`. When `z = 1`,
+# the two constraints are equivalennt to `5 <= x <= 10`.
+
 # ## Special Ordered Sets of Type 1
 
 # A Special Ordered Set of Type 1 is a set of variables, at most one of which