Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/Sources/formale Sprachen/GAP/pkg/cap/gap/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 22.8.2025 mit Größe 2 kB

Quelle CategoryTwoCells.gi Sprache: unbekannt

# SPDX-License-Identifier: GPL-2.0-or-later
# CAP: Categories, Algorithms, Programming
#
# Implementations
#
# backwards compatibility
BindGlobal( "IsCapCategoryTwoCellRep", IsCapCategoryTwoCell );

####################################
##
## Operations
##
####################################

InstallMethod( Target,
               [ IsCapCategoryTwoCell ],

  Range );

##
InstallMethod( Add,
               [ IsCapCategory, IsCapCategoryTwoCell ],

  function( category, twocell )
    local obj_filter, filter;

    filter := TwoCellFilter( category );

    if not filter( twocell ) then

        SetFilterObj( twocell, filter );

    fi;

    if HasCapCategory( twocell ) then

        if not IsIdenticalObj( CapCategory( twocell ), category ) then

            Error(
                Concatenation(
                    "a two cell that lies in the CAP-category with the name\n",
                    Name( CapCategory( twocell ) ),
                    "\n",
                    "was tried to be added to a different CAP-category with the name\n",
                    Name( category ), ".\n",
                    "(Please note that it is possible for different CAP-categories to have the same name)"
                )
            );

        fi;

    else

        SetCapCategory( twocell, category );

    fi;

    AddMorphism( category, Source( twocell ) );

    AddMorphism( category, Range( twocell ) );

end );

##
InstallMethod( AddTwoCell,
               [ IsCapCategory, IsCapCategoryTwoCell ],

  function( category, twocell )

    Add( category, twocell );

end );

##
InstallMethod( AddTwoCell,
               [ IsCapCategory, IsAttributeStoringRep ],

  function( category, twocell )

    SetFilterObj( twocell, IsCapCategoryTwoCell );

    Add( category, twocell );

end );

##
InstallGlobalFunction( CreateCapCategoryTwoCellWithAttributes,

  function( category, source, range, additional_arguments_list... )
    local arg_list;

    arg_list := Concatenation(
        [ category!.two_cell_type, CapCategory, category, Source, source, Range, range ], additional_arguments_list
    );

    return CallFuncList( CreateGapObjectWithAttributes, arg_list );

end );