permgrp http://www.openmath.org/cd/permgrp.ocd 2003-04-01 1999-05-10 2 0 experimental A CD of functions for permutation groups Written by A. Solomon on 1998-11-19 Modified by David Carlisle 1999-04-28 orbit The binary function whose value is the set of integers which are in the orbit of the second argument under the action of the first argument which is a permutation group. stabilizer The first argument is a permutation group, the second is some object (point or set) upon which the first argument acts. The value is the subgroup of the first argument which stabilize the second argument. is_transitive The unary function whose value is true iff the permutation group argument acts transitively. is_primitive The unary function whose value is true iff its permutation group argument acts primitively.