1: \begin{abstract}

2: We present a generalisation of the sifting procedure introduced originally 

3: by Sims for computation with finite permutation groups, and now used for 

4: many computational procedures for groups, such as membership testing and 

5: finding group orders. Our procedure is a Monte Carlo algorithm, 

6: and is presented and analysed in the context of black-box groups. 

7: It is based on a chain of subsets instead of a subgroup chain. 

8: Two general versions of the procedure are worked out in detail, 

9: and applications are given

10: for membership tests for several of the sporadic simple groups. 

11: 

12: Our major objective was

13: that the procedures could be proved to be Monte Carlo algorithms, 

14: and their costs computed. In addition we explicitly

15: determined suitable subset chains for 

16: six of the sporadic groups, and we implemented the algorithms involving

17: these chains in the {\sf GAP} computational algebra system.

18: It turns out that sample implementations perform

19: well in practice. The implementations will be made available publicly

20: in the form of a {\sf GAP} package.

21: \end{abstract}

22: