From 7a0526a233cb583a1d62cecdaed47fe7f2b634c5 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Fri, 16 Nov 2018 00:25:22 +0100
Subject: [PATCH] Add example for Q^X
---
examples/valmari-fig3-rational | 13 +++++++++++++
examples/valmari-fig3-rational.out | 7 +++++++
2 files changed, 20 insertions(+)
create mode 100644 examples/valmari-fig3-rational
create mode 100644 examples/valmari-fig3-rational.out
diff --git a/examples/valmari-fig3-rational b/examples/valmari-fig3-rational
new file mode 100644
index 0000000..9f465d4
--- /dev/null
+++ b/examples/valmari-fig3-rational
@@ -0,0 +1,13 @@
+# This is Figure 3 from "Simple O(m log n) Time Markov Chain Lumping"
+# by Valmari and Franceschinis.
+{B1, B2, B345, B6}x(Q^X)
+
+# elements of the same block are numbered from top to bottom
+b6_1: (B6 , { b3_2: 1.0 })
+b6_2: (B6 , { b4: 1.0 })
+b3_1: (B345, { b1: 1.0 })
+b3_2: (B345, { b1: 1.0 })
+b4: (B345, { b2: 0.5, b5: 0.5 })
+b5: (B345, { b5: 1.0 })
+b1: (B1 , { b1: 1.0 })
+b2: (B2 , { b2: 1.0 })
diff --git a/examples/valmari-fig3-rational.out b/examples/valmari-fig3-rational.out
new file mode 100644
index 0000000..7669829
--- /dev/null
+++ b/examples/valmari-fig3-rational.out
@@ -0,0 +1,7 @@
+Block 0: b3_2, b3_1
+Block 1: b1
+Block 2: b2
+Block 3: b6_1
+Block 4: b5
+Block 5: b4
+Block 6: b6_2
--
GitLab