Spracherkennung für: .g vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
###############################################################################
##
## IntersectionOfKernels( hom1, hom2 )
##
## INPUT:
## hom1: group homomorphism H -> G
## hom2: group homomorphism H -> G
##
## OUTPUT:
## N: intersection of Ker(hom1) and Ker(hom2)
##
TWC.IntersectionOfKernels := { hom1, hom2 } -> NormalIntersection(
KernelOfMultiplicativeGeneralMapping( hom1 ),
KernelOfMultiplicativeGeneralMapping( hom2 )
);
###############################################################################
##
## IntersectionOfPreImages( hom1, hom2, M )
##
## INPUT:
## hom1: group homomorphism H -> G
## hom2: group homomorphism H -> G
## M: normal subgroup of G
##
## OUTPUT:
## N: intersection of hom1^-1(M) and hom2^-1(M)
##
TWC.IntersectionOfPreImages := { hom1, hom2, M } -> NormalIntersection(
# TODO: replace by PreImagesSet eventually
PreImagesSetNC( hom1, NormalIntersection( M, ImagesSource( hom1 ) ) ),
PreImagesSetNC( hom2, NormalIntersection( M, ImagesSource( hom2 ) ) )
);
[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-06-17]
