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/matricesforhomalg/gap/ (Algebra von RWTH Aachen Version 4.15.1^©) Datei vom 7.8.2025 mit Größe 1 kB

Quelle ResidueClassRingForHomalg.gi Sprache: unbekannt

# SPDX-License-Identifier: GPL-2.0-or-later
# MatricesForHomalg: Matrices for the homalg project
#
# Implementations
#

####################################
#
# global variables:
#
####################################

# a central place for configuration variables:

##
InstallValue( HOMALG_RESIDUE_CLASS_RING,
        rec(
           )
);

##
InstallValue( CommonHomalgTableForResidueClassRings,
        rec(
            RingName :=
              function( R )
                local ring_rel, entries, name;

                ring_rel := MatrixOfRelations( R );

                if IsBound( ring_rel!.BasisOfRowModule ) then
                    ring_rel := ring_rel!.BasisOfRowModule;
                elif IsBound( ring_rel!.BasisOfColumnModule ) then
                    ring_rel := ring_rel!.BasisOfColumnModule;
                fi;

                if not IsBound( ring_rel!.StringOfEntriesForRingName ) then

                    entries := EntriesOfHomalgMatrix( ring_rel );

                    if entries = [ ] then
                        entries := "0";
                    elif IsHomalgInternalRingRep( AmbientRing( R ) ) then
                        entries := JoinStringsWithSeparator( List( entries, String ), ", " );
                    else
                        entries := JoinStringsWithSeparator( List( entries, Name ), ", " );
                    fi;

                    name := RingName( AmbientRing( R ) );

                    ring_rel!.StringOfEntries := String( Concatenation( "[ ", entries, " ]" ) );
                    ring_rel!.StringOfEntriesForRingName := String( Concatenation( name, "/( ", entries, " )" ) );

                fi;

                return ring_rel!.StringOfEntriesForRingName;

            end,

         )
);