Lines Matching refs:aut1
709 function( aut1, aut2 )
710 return Source( aut1 ) = Source( aut2 ) and aut1!.power = aut2!.power;
765 function( aut1, aut2 )
766 if Characteristic( Source( aut1 ) )
768 return FrobeniusAutomorphismI( Source( aut1 ),
769 aut1!.power * aut2!.power );
865 function ( aut1, aut2 )
866 local source1, # source of `aut1'
874 source1:= Source( aut1 );
889 if gen ^ aut1!.power <> gen ^ aut2!.power then
890 return gen ^ aut1!.power < gen ^ aut2!.power;