> $groups[$x] probably takes time proportional to $x (unless Saxon does
> something clever there) 

No, it should be constant time (once the lazy evaluation of $groups is
complete).

Michael Kay
http://www.saxonica.com/