Remove RamifiedPolygonalSurface and RamifiedSimplicialSurface

Changelog

@@ -15,5 +15,6 @@ Changes from master to rewrite:
 9) Rename IsIsomorphicPolygonalComplex to IsIsomorphic
 10) Rename PolygonalComplexIsomorphismRepresentatives to
     IsomorphismRepresentatives
-11)
+11) RamifiedPolygonalSurface and RamifiedSimplicialSurface are no longer
+    available. Please use IsNotEdgeRamified instead.
 

gap/PolygonalComplexes/main.gi

@@ -199,10 +199,6 @@ BindGlobal( "__SIMPLICIAL_PolygonalComplexName",
             return nameList[1];
         elif IsPolygonalSurface(complex) then
             return nameList[2];
-        elif IsRamifiedSimplicialSurface(complex) then
-            return nameList[3];
-        elif IsRamifiedPolygonalSurface(complex) then
-            return nameList[4];
         elif IsTriangularComplex(complex) then
             return nameList[5];
         else

gap/PolygonalComplexes/polygonal_hierarchy.gi

@@ -33,8 +33,6 @@ BindGlobal( "BendPolygonalComplexType",
 ##
 ## All of the filters
 ## * IsTriangularComplex
-## * IsRamifiedPolygonalSurface
-## * IsRamifiedSimplicialSurface
 ## * IsPolygonalSurface
 ## * IsSimplicialSurface
 ## should act like categories
@@ -58,16 +56,6 @@ InstallOtherMethod( IsTriangularComplex, "for an object", [IsObject],
         TryNextMethod();
     end
 );
-InstallOtherMethod( IsRamifiedPolygonalSurface, "for an object", [IsObject],
-    function(obj)
-        if not IsPolygonalComplex(obj) then
-            return false;
-        fi;
-        # Since IsPolygonalComplex is a category, the above
-        # check can't change anything
-        TryNextMethod();
-    end
-);
 InstallOtherMethod( IsPolygonalSurface, "for an object", [IsObject],
     function(obj)
         if not IsPolygonalComplex(obj) then

gap/categories_families.gd

@@ -59,12 +59,6 @@ DeclareSynonym( "IsTriangularComplex", IsPolygonalComplex and IsTriangular );
 DeclareSynonym( "IsSimplicialSurface", IsPolygonalSurface and IsTriangular );
 
 
-DeclareProperty( "IsRamifiedPolygonalSurface", IsPolygonalComplex); #TODO replace by surface def
-InstallTrueMethod( IsPolygonalComplex, IsRamifiedPolygonalSurface );
-DeclareSynonym( "IsRamifiedSimplicialSurface", 
-    IsRamifiedPolygonalSurface and IsTriangularComplex);
-
-
 
 #######################################
 ##

unit_tests/Test_BorderCases_PolygonalComplex.g

@@ -189,8 +189,6 @@ BindGlobal( "__SIMPLICIAL_Test_PolygonalHierarchy", function()
     x := 5;
     Assert(0, not IsPolygonalComplex(x));
     Assert(0, not IsTriangularComplex(x));
-    Assert(0, not IsRamifiedPolygonalSurface(x));
-    Assert(0, not IsRamifiedSimplicialSurface(x));
     Assert(0, not IsPolygonalSurface(x));
     Assert(0, not IsSimplicialSurface(x));
 end);