/usr/share/gap/pkg/Alnuth/gap/unithom.gi is in gap-alnuth 3.0.0-5.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | #############################################################################
##
#W unithom.gi Alnuth - ALgebraic NUmber THeory Bettina Eick
#W Andreas Distler
##
#############################################################################
##
#F Images under unit group homs
##
InstallMethod( ImagesRepresentative, "for unit groups", FamSourceEqFamElm,
[IsGroupGeneralMappingByImages and IsUnitGroupIsomorphism,
IsMultiplicativeElementWithInverse], 0,
function( nat, h )
local F, H, e;
F := FieldOfUnitGroup( Source( nat ) );
H := Range( nat );
e := ExponentsOfUnits( F, [h] )[1];
return MappedVector( e, Pcp(H) );
end);
|