Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563554 views
#############################################################################
##
#W  testmisc.g               automgrp package                  Dmytro Savchuk
#W                                                             Yevgen Muntyan
##  automgrp v 1.3
##
#Y  Copyright (C) 2003 - 2016 Dmytro Savchuk, Yevgen Muntyan
##

UnitTest("Miscellaneous", function()
  local g;

  g := AutomatonGroup("a=(1,2), b=(a,c), c=(a,d), d=(1,b)", false);
  # if it doesn't see that the words are equal then this equality will
  # recurse too deep
  AssertTrue(g.1^56 = g.1^56);
end);