tests: make conguniv.tst less specific

semigroups · Feb 14, 2018 · 60b84af · 60b84af
1 parent 76a9b79
commit 60b84af
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/tst/standard/conguniv.tst b/tst/standard/conguniv.tst
@@ -238,10 +238,10 @@ gap> S := Semigroup([Transformation([2, 1, 2]),
 gap> uni := UniversalSemigroupCongruence(S);
 <universal semigroup congruence over <transformation semigroup of degree 3 
  with 2 generators>>
-gap> GeneratingPairsOfSemigroupCongruence(uni);
-[ [ Transformation( [ 1, 2, 1 ] ), Transformation( [ 1, 2, 1 ] ) ], 
-  [ Transformation( [ 2, 1, 2 ] ), Transformation( [ 1, 2, 1 ] ) ], 
-  [ Transformation( [ 1, 2, 1 ] ), Transformation( [ 1, 2, 2 ] ) ] ]
+gap> pairs := GeneratingPairsOfSemigroupCongruence(uni);;
+gap> cong := SemigroupCongruenceByGeneratingPairs(S, pairs);;
+gap> NrCongruenceClasses(cong);
+1
 
 #T# IsUniversalSemigroupCongruence for a cong by generating pairs
 gap> S := Semigroup([PartialPerm([1], [2]),