| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/modules/gap/ (GAP Algebra Version 4.15.1©) Datei vom 22.11.2024 mit Größe 1 kB |
|
Quelle HomalgRingMap.gd Sprache: Shell |
|||||||||||||||||||||||||
|
# SPDX-License-Identifier: GPL-2.0-or-later # Modules: A homalg based package for the Abelian category of finitely presented modules over c # # Declarations # ## Declarations of procedures for homalg ring maps. #################################### # # properties: # #################################### #################################### # # attributes: # #################################### ## <#GAPDoc Label="KernelSubobject:ringmap"> ## <ManSection> ## <Attr Arg="phi" Name="KernelSubobject" Label="for ring maps"/> ## <Returns>a &homalg; submodule</Returns> ## <Description> ## The kernel ideal of the ring map <A>phi</A>. ## </Description> ## </ManSection> ## <#/GAPDoc> ## DeclareAttribute( "KernelSubobject", IsHomalgRingMap ); ## <#GAPDoc Label="KernelEmb:ringmap"> ## <ManSection> ## <Attr Arg="phi" Name="KernelEmb" Label="for ring maps"/> ## <Returns>a &homalg; map</Returns> ## <Description> ## The embedding of the kernel ideal <C>Kernel</C><M>(</M><A>phi</A><M>)</M> into the <C>Source</C><M>(</M><A>phi</A><M> ## both viewed as modules over the ring <M>R := </M><C>Source</C><M>(</M><A>phi</A><M>)</M> ## (cf. <Ref Oper="Kernel" Label="for ring maps"/>). ## </Description> ## </ManSection> ## <#/GAPDoc> ## DeclareAttribute( "KernelEmb", IsHomalgRingMap ); DeclareOperation( "IdealContainedInKernelViaEliminateOverBaseRing", [ IsHomalgRingMap ] ); ## intrinsic attributes: ## ## !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ## should all be added by hand to LIMAP.intrinsic_attributes ## !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! #################################### # # global functions and operations: # ####################################
¤ Dauer der Verarbeitung: 0.4 Sekunden ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||
2026-11-04