Lines Matching refs:cox

671   local dom, deg, cox, chr, grp, hom, img;
675   cox := List( [1..deg-1], i -> (dom[i],dom[i+1]) );
676   Assert( 1, ForAll( cox, gen -> gen in sym ) );
681   img := [ Product( Reversed( cox ) ), cox[1] ];
698   local dom, deg, cox, chr, grp, hom, img;
703   cox := List( [1..deg-1], i -> (dom[i],dom[i+1]) );
704   Assert( 1, ForAll( [1..deg-2], i -> cox[i]*cox[i+1] in alt ) );
707   img := [ Product( Reversed( cox{[1..2*Int((deg-1)/2)]} ) ), cox[deg-1]*cox[deg-2] ];
746   local dom, deg, cox, img, z, gen, grp, cen, hom;
819   cox := List( [1..deg-1], i -> (dom[i],dom[i+1]) );
820   img := [ Product( Reversed( cox{[1..2*Int((deg-1)/2)]} ) ), cox[deg-1]*cox[deg-2] ];