Lines Matching refs:aut1
1757 #M \=( <aut1>, <aut2> ) . . . . for automorphisms of abelian number fields
1766 function ( aut1, aut2 )
1767 return Source( aut1 ) = Source( aut2 )
1768 and aut1!.galois = aut2!.galois;
1794 #M \<( <aut1>, <aut2> ) . . . . for automorphisms of abelian number fields
1801 function ( aut1, aut2 )
1802 return Source( aut1 ) < Source( aut2 )
1803 or ( Source( aut1 ) = Source( aut2 )
1804 and aut1!.galois < aut2!.galois );
1938 #M CompositionMapping2( <aut2>, <aut1> ) . . for autom. of ab. number fields
1945 function ( aut1, aut2 )
1946 return ANFAutomorphism( Source( aut1 ), aut1!.galois * aut2!.galois );