Merge pull request #38 from endjin/features/linear-algebra-mathjax

Add MathJax to Linear Algebra examples
endjin · Mar 18, 2024 · 150895c · 150895c
2 parents 14c1298 + 4328c34
commit 150895c
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 3 deletions.
diff --git 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/build.ps1 b/build.ps1
@@ -71,10 +71,10 @@ param (
     [string] $BuildModulePath,
 
     [Parameter()]
-    [version] $BuildModuleVersion = "1.5.3",
+    [version] $BuildModuleVersion = "1.5.4",
 
     [Parameter()]
-    [version] $InvokeBuildModuleVersion = "5.7.1"
+    [version] $InvokeBuildModuleVersion = "5.10.3"
 )
 
 $ErrorActionPreference = $ErrorActionPreference ? $ErrorActionPreference : 'Stop'

diff --git 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())