diff --git a/gap/pkg/OscarInterface/gap/OscarInterface.gi b/gap/pkg/OscarInterface/gap/OscarInterface.gi index ae064a514cf4..cdea09e744b6 100644 --- a/gap/pkg/OscarInterface/gap/OscarInterface.gi +++ b/gap/pkg/OscarInterface/gap/OscarInterface.gi @@ -184,38 +184,3 @@ InstallMethod( IsHandledByNiceMonomorphism, fi; return false; end ); - -############################################################################ - -# The following can be removed as soon as the CTblLib package provides it -# (not yet in CTblLib v1.3.9). -if not IsBound( IsAtlasCharacterTable ) then - DeclareProperty( "IsAtlasCharacterTable", IsNearlyCharacterTable ); - - InstallMethod( IsAtlasCharacterTable, - [ "IsOrdinaryTable" ], - tbl -> PositionSublist( InfoText( tbl ), - "origin: ATLAS of finite groups" ) <> fail ); - - InstallMethod( IsAtlasCharacterTable, - [ "IsBrauerTable" ], - tbl -> IsAtlasCharacterTable( OrdinaryCharacterTable( tbl ) ) ); - - AddSet( CTblLib.SupportedAttributes, "IsAtlasCharacterTable" ); - - DatabaseAttributeAddX( CTblLib.Data.IdEnumerator, rec( - identifier:= "IsAtlasCharacterTable", - type:= "values", - name:= "IsAtlasCharacterTable", - neededAttributes:= [ "InfoText" ], - create:= function( attr, id ) - local infotext; - - infotext:= attr.idenumerator.attributes.InfoText; - return PositionSublist( infotext.attributeValue( infotext, id ), - "origin: ATLAS of finite groups" ) <> fail; - end, - ) ); - - CTblLib.ExtendAttributeOfIdEnumeratorExt( "IsAtlasCharacterTable", true ); -fi;