Quelle classes.gd Sprache: unbekannt

#############################################################################
##
##  classes.gd                       CRISP                   Burkhard Höfling
##
##  Copyright © 2000 Burkhard Höfling
##

#############################################################################
##
#C  IsClass(<obj>)
##
##  category of(set theoretic) classes
##
DeclareCategory("IsClass", IsListOrCollection);

#############################################################################
##
#A  MemberFunction(<obj>)
##
##  function tests whether <obj> belongs to the class
##
DeclareAttribute("MemberFunction", IsClass);

#############################################################################
##
#A  IsMember(<obj>, <class>)
##
##  tests whether <obj> belongs to the class <class>. A class representation
##  should install a method for `IsMember', rather than \in, so that the
##  result of the membership test can be stored in <obj> if the latter
##  belongs to IsAttributeStoringRep.
##
KeyDependentOperation("IsMember", IsObject, IsClass, ReturnTrue);

#############################################################################
##
#O  Class(<obj>)
##
##  create a class from an object
##
DeclareOperation("Class", [IsObject]);

#############################################################################
##
#O  Complement(<class>)
##
##  compute the(unary) complement of a class, consisting of all elements
##  which do not belong to <class>
##
DeclareOperation("Complement", [IsListOrCollection]);

#############################################################################
##
#F  NewClass(<fam/name>, <rep>, <data>)
##
##  generates a new class with unique class id, belonging to the filter
##  <rep>. <data> is the data(a record or list) in the object representing
##  the class.
##
DeclareGlobalFunction("NewClass");

#############################################################################
##
#F  InstallDefiningAttributes(<cls>, <rec>)  . . . . . . . . . . . . . local
##
##  takes record components from <rec>, and if admissible, installs them as
##  attributes of the group class <cls>. The list <allowed> consists of pairs
##  [<fld>, <setter>]. If <fld> is a record field of <rec>,
##  <setter>(<cls>, <fld>) is called, and otherwise an error is printed.
##
DeclareGlobalFunction("InstallDefiningAttributes");

#############################################################################
##
#F  ViewDefiningAttributes(<cls>) . . . . . . . . . . . . . . . . . . local
##
DeclareGlobalFunction("ViewDefiningAttributes");

#############################################################################
##
#F  PrintDefiningAttributes(<cls>) . . . . . . . . . . . . . . . . . . local
##
DeclareGlobalFunction("PrintDefiningAttributes");

#############################################################################
##
#E
##

Quelle classes.gd Sprache: unbekannt

[ Dauer der Verarbeitung: 0.16 Sekunden (vorverarbeitet) ]