From af581f91dfe14d516897dad4942b8e4c07d15efe Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Wed, 11 Nov 2020 00:37:12 +0100
Subject: [PATCH] example: Illustrate build-reduced-state-graph.

---
 example/example.org | 25 ++++++++++++++++++++++---
 1 file changed, 22 insertions(+), 3 deletions(-)

diff --git a/example/example.org b/example/example.org
index 57df147..5abba76 100644
--- a/example/example.org
+++ b/example/example.org
@@ -1283,9 +1283,28 @@ tab
   [[file:dots/examplevvXFaI.svg]]
   :end:
 
-  Note that we need to keep the full context sequence in the name of
-  each state to avoid merging states with the same result and
-  contexts, but which occur at different steps of the evolution.
+  Note that this graph includes the full context sequence in the name
+  of each state, which is how the states are represented in the
+  dynamics of reaction systems.  You can use
+  =build-reduced-state-graph= to construct a similar graph, but
+  without the context sequences.
+
+  #+NAME: rs1-sgr-no-ctx
+  #+HEADER: :var input-rs=munch-sexp(rs1) :var input-ctx=munch-sexp(ctx1)
+  #+BEGIN_SRC racket :results silent drawer
+(dotit (pretty-print-reduced-state-graph
+        (build-reduced-state-graph (read-org-rs input-rs)
+                                   (read-context-sequence input-ctx))))
+  #+END_SRC
+
+  #+BEGIN_SRC dot :file dots/exampleLGKcXp.svg :results raw drawer :cmd sfdp :noweb yes
+<<rs1-sgr-no-ctx()>>
+  #+END_SRC
+
+  #+RESULTS:
+  :results:
+  [[file:dots/exampleLGKcXp.svg]]
+  :end:
 
   The graphical presentation for interactive processes is arguably
   less readable than just listing the contexts and the results