From 942cf8eb898aa63b87e99967e79da1cc69448caa Mon Sep 17 00:00:00 2001
From: Ian Griffiths <ian@interact-sw.co.uk>
Date: Mon, 18 Mar 2024 06:31:16 +0000
Subject: [PATCH 1/3] Add MathJax to Linear Algebra examples

This makes it clear what linear equations we're actually solving, so the reader doesn't have to try and work that out at the same time as trying to comprehend how the code goes about doing this.
---
 README.md                | 10 +++++++++-
 examples/z3-problems.dib |  8 ++++++++
 2 files changed, 17 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 8c87fb3..6a20132 100644
--- a/README.md
+++ b/README.md
@@ -27,7 +27,15 @@ using (var ctx = new Z3Context())
 
 ### Problem - Linear Algebra
 
-Solve the following system with 3 variables, with linear equalities and inequalities.
+Solve the following system with 3 variables, with linear equalities and inequalities:
+
+$$
+x_1 - x_2 \ge 1
+\\
+x_1 - x_2 \le 3
+\\
+x_1 = 2x_3 + x_2
+$$
 
 ```csharp
 using (var ctx = new Z3Context())
diff --git a/examples/z3-problems.dib b/examples/z3-problems.dib
index 828a12e..e36d45f 100644
--- a/examples/z3-problems.dib
+++ b/examples/z3-problems.dib
@@ -62,6 +62,14 @@ using (var ctx = new Z3Context())
 
 Solve the following system with 3 variables, with linear equalities and inequalities.
 
+$$
+x_1 - x_2 \ge 1
+\\
+x_1 - x_2 \le 3
+\\
+x_1 = 2x_3 + x_2
+$$
+
 #!csharp
 
 using (var ctx = new Z3Context())

From 845e76bd4aa10d1b1c100a9235960b24a50b8236 Mon Sep 17 00:00:00 2001
From: Ian Griffiths <ian@interact-sw.co.uk>
Date: Mon, 18 Mar 2024 06:41:34 +0000
Subject: [PATCH 2/3] Update build.ps1 module version

The previous one doesn't work on PowerShell 7.4 apparently
---
 build.ps1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.ps1 b/build.ps1
index 9c20d11..5d2e993 100644
--- a/build.ps1
+++ b/build.ps1
@@ -71,7 +71,7 @@ param (
     [string] $BuildModulePath,
 
     [Parameter()]
-    [version] $BuildModuleVersion = "1.5.3",
+    [version] $BuildModuleVersion = "1.5.4",
 
     [Parameter()]
     [version] $InvokeBuildModuleVersion = "5.7.1"

From 4328c345bd291949fef3a0a352a23972e37561c3 Mon Sep 17 00:00:00 2001
From: Ian Griffiths <ian@interact-sw.co.uk>
Date: Mon, 18 Mar 2024 06:54:49 +0000
Subject: [PATCH 3/3] Update InvokeBuildModuleVersion to 5.10.3

I should also have done this in the preceding commit, apparently
---
 build.ps1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.ps1 b/build.ps1
index 5d2e993..13449e9 100644
--- a/build.ps1
+++ b/build.ps1
@@ -74,7 +74,7 @@ param (
     [version] $BuildModuleVersion = "1.5.4",
 
     [Parameter()]
-    [version] $InvokeBuildModuleVersion = "5.7.1"
+    [version] $InvokeBuildModuleVersion = "5.10.3"
 )
 
 $ErrorActionPreference = $ErrorActionPreference ? $ErrorActionPreference : 'Stop'