Lines Matching refs:aut1

1768 #M  \=( <aut1>, <aut2> )  . . . .  for automorphisms of abelian number fields
1777     function ( aut1, aut2 )
1778     return     Source( aut1 ) = Source( aut2 )
1779            and aut1!.galois = aut2!.galois;
1805 #M  \<( <aut1>, <aut2> )  . . . .  for automorphisms of abelian number fields
1812     function ( aut1, aut2 )
1813     return    Source( aut1 ) < Source( aut2 )
1814            or (     Source( aut1 ) = Source( aut2 )
1815                 and aut1!.galois < aut2!.galois );
1949 #M  CompositionMapping2( <aut2>, <aut1> ) . . for autom. of ab. number fields
1956     function ( aut1, aut2 )
1957     return ANFAutomorphism( Source( aut1 ), aut1!.galois * aut2!.galois );