PositionWord( w, sub, from )
PositionWord
returns the position of the first occurrence of the word
sub in the word w starting at position from. If there is no such
occurrence, false
is returned. from must be a positive integer.
Indexing is done with origin 1.
In other words, PositionWord(w,sub,from)
returns the smallest
integer i larger than or equal to from such that Subword( w, i,
i+LengthWord(sub)-1 ) = sub
(see Subword).
gap> a := AbstractGenerator("a");; gap> b := AbstractGenerator("b");; gap> w := (a^2*b)^5*b^-1; a^2*b*a^2*b*a^2*b*a^2*b*a^2 gap> PositionWord( w, a^2*b, 2 ); 4 gap> PositionWord( w, a*b^2, 2 ); false
GAP 3.4.4