diff --git a/Changelog b/Changelog index 3f0c6e315a599415fd9c86671a7ab0e5ba2d47ba..23e0be9e71796da3ba8f23db4268caced064813d 100644 --- a/Changelog +++ b/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. diff --git a/gap/PolygonalComplexes/main.gi b/gap/PolygonalComplexes/main.gi index 7ff7e9067af0a0aa62b502c0a8b2891cb8a0b13b..f572c10c7d6e77827cf025cb02932a0d406bad49 100644 --- a/gap/PolygonalComplexes/main.gi +++ b/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 diff --git a/gap/PolygonalComplexes/polygonal_hierarchy.gi b/gap/PolygonalComplexes/polygonal_hierarchy.gi index fa749b2e4dcbb9a3fdf67abfee6fac5fca5a0419..260f169705cdd8a99f219d49c695398754dabe20 100644 --- a/gap/PolygonalComplexes/polygonal_hierarchy.gi +++ b/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 diff --git a/gap/categories_families.gd b/gap/categories_families.gd index 840e2c47bbf6701d24957f9eabd8b54253113626..9370da6903ad39a3ac80b185a4b8836495ccf226 100644 --- a/gap/categories_families.gd +++ b/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); - - ####################################### ## diff --git a/unit_tests/Test_BorderCases_PolygonalComplex.g b/unit_tests/Test_BorderCases_PolygonalComplex.g index de6bbd103ae0b0507ff8020b838f7e41c30bd068..138e990d1f6e4d850f7d60139cb5170ed2d22584 100644 --- a/unit_tests/Test_BorderCases_PolygonalComplex.g +++ b/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);