Add FiltersObj and FiltersType functions

* FiltersType returns the list of filters set in the
  passed type
* FiltersObj does the same for the passed object

doc/ref/makedocreldata.g

@@ -189,6 +189,8 @@ GAPInfo.ManualDataRef:= rec(
     "../../lib/tuples.gd",
     "../../lib/twocohom.gd",
     "../../lib/type.g",
+    "../../lib/type.gd",
+    "../../lib/type.gi",
     "../../lib/type1.g",
     "../../lib/unknown.gd",
     "../../lib/upoly.gd",

doc/ref/types.xml

@@ -160,6 +160,7 @@ as well as sections&nbsp;<Ref Sect="Logical Implications"/>,
 </ManSection>
 
 <#Include Label="ShowImpliedFilters">
+<#Include Label="FiltersType">
 
 </Section>
 

lib/read3.g

@@ -2,6 +2,7 @@
 ##
 #X  now read all the definition parts
 ##
+ReadLib( "type.gd"     );
 ReadLib( "tuples.gd"   );
 ReadLib( "rvecempt.gd" );
 

lib/type.gd

@@ -0,0 +1,40 @@
+#############################################################################
+##
+#W  type.gd                     GAP library
+##
+##
+#Y  Copyright (C)  1997,  Lehrstuhl D für Mathematik,  RWTH Aachen,  Germany
+#Y  (C) 1998 School Math and Comp. Sci., University of St Andrews, Scotland
+#Y  Copyright (C) 2002 The GAP Group
+##
+##  This file implements some additional functions relating to types and
+##  families.
+##
+
+#############################################################################
+##
+#O  FiltersType( <type> )
+#O  FiltersObj( <type> )
+##
+##  list of filters of a type
+##
+##  <#GAPDoc Label="FiltersType">
+##  <ManSection>
+##  <Oper Name="FiltersType" Arg='type'/>
+##  <Oper Name="FiltersObj" Arg='object'/>
+##
+##  <Description>
+##  returns a list of the filters in the type <A>type</A>, or in the
+##  type of the object <A>object</A> respectively.
+##  <Example><![CDATA[
+##  gap> FiltersObj(fail);
+##  [ <Category "IsBool">, <Representation "IsInternalRep"> ]
+##  gap> FiltersType(TypeOfTypes);
+##  [ <Representation "IsPositionalObjectRep">, <Category "IsType">, <Representation "IsTypeDefaultRep"> ]
+##  ]]></Example>
+##  </Description>
+##  </ManSection>
+##  <#/GAPDoc>
+##
+DeclareOperation( "FiltersType", [ IsType ] );
+DeclareOperation( "FiltersObj", [ IsObject ] );

lib/type.gi

@@ -11,6 +11,24 @@
 ##  families.
 ##
 
+#############################################################################
+##
+#M  FiltersType( <type> )
+##
+##  Return list of filters set in the type
+##
+InstallMethod(FiltersType, "for a type", [ IsType ],
+    type -> FILTERS{ TRUES_FLAGS(type![2]) });
+
+#############################################################################
+##
+#M  FiltersObj( <object> )
+##
+##  Return list of filters set in the type
+##
+InstallMethod(FiltersObj, "for an object", [ IsObject ],
+    obj -> FiltersType(TypeObj(obj)));
+
 #############################################################################
 ##
 #M  NamesFilterShort( flags, max )