From 25f3a7685173b374fa5087b144eee1b8f939ce2a Mon Sep 17 00:00:00 2001 From: Laurent Bartholdi Date: Fri, 3 Nov 2017 11:05:27 +0100 Subject: [PATCH] Fixed test message in chapter-4 --- tst/chapter-4.tst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tst/chapter-4.tst b/tst/chapter-4.tst index 722106d..57e3e0e 100644 --- a/tst/chapter-4.tst +++ b/tst/chapter-4.tst @@ -610,7 +610,7 @@ true gap> f := StateSet(frel[9][1][1]); gap> g := f.2^2*f.1^4*f.2*f.1*f.2; -s2^2*s1^3*(s1*s2)^2 +s2^2*s1^4*s2*s1*s2 gap> InitialState(FRElement(UnderlyingFRMachine(frel[9][1][1]), g)) = g; true gap>