# congruence, chapter 3
#
# DO NOT EDIT THIS FILE - EDIT EXAMPLES IN THE SOURCE INSTEAD!
#
# This file has been autogenerated with GAP. It contains examples
# extracted from the documentation. Each example is preceded by the
# comment which points to the location of its source.
#
gap> START_TEST( "congruence03.tst");

# doc/farey.xml:59-65

gap> fs:=FareySymbolByData([infinity,0,1,2,infinity],[1,2,2,1]);                         
[ infinity, 0, 1, 2, infinity ]
[ 1, 2, 2, 1 ]

# doc/farey.xml:76-81

gap> IsValidFareySymbol(fs);
true

# doc/farey.xml:99-104

gap> GeneralizedFareySequence(fs);
[ infinity, 0, 1, 2, infinity ]

# doc/farey.xml:121-126

gap> List([1..5], i -> NumeratorOfGFSElement(GeneralizedFareySequence(fs),i));
[ -1, 0, 1, 2, 1 ]

# doc/farey.xml:142-147

gap> List([1..5], i -> DenominatorOfGFSElement(GeneralizedFareySequence(fs),i));         
[ 0, 1, 1, 1, 0 ]

# doc/farey.xml:159-164

gap> LabelsOfFareySymbol(fs);
[ 1, 2, 2, 1 ]

gap> STOP_TEST("congruence03.tst", 1 );
