Quelle  reidemeisterspectrum.gd   Sprache: unbekannt

DeclareGlobalName( "ReidemeisterSpectrum" );
DeclareOperation( "ReidemeisterSpectrumOp", [ IsGroup ] );
DeclareGlobalName( "ExtendedReidemeisterSpectrum" );
DeclareOperation( "ExtendedReidemeisterSpectrumOp", [ IsGroup ] );
DeclareGlobalName( "CoincidenceReidemeisterSpectrum" );
DeclareOperation( "CoincidenceReidemeisterSpectrumOp", [ IsGroup, IsGroup ] );
DeclareGlobalName( "TotalReidemeisterSpectrum" );
DeclareOperation( "TotalReidemeisterSpectrumOp", [ IsGroup ] );