7 Pointers
  
  
  7.1 Weak pointer objects
  
  7.1-1 IsContainerForWeakPointers
  
  IsContainerForWeakPointers( arg )  filter
  Returns:  true or false
  
  The category for weak pointer objects
  
  7.1-2 ContainerForWeakPointers
  
  ContainerForWeakPointers( arg )  function
  Returns:  a list which can store weak pointers
  
  The constructor for lists of weak pointers.
  
  7.1-3 UpdateContainerOfWeakPointers
  
  UpdateContainerOfWeakPointers( arg )  operation
  
  Updates the weak pointers in a container and deletes the empty ones
  
  7.1-4 _AddElmWPObj_ForHomalg
  
  _AddElmWPObj_ForHomalg( arg )  function
  
  Adds a weak pointer of an objects to a weak pointer list.
  
  7.1-5 _AddTwoElmWPObj_ForHomalg
  
  _AddTwoElmWPObj_ForHomalg( arg )  function
  
  Adds a weak pointer which depends on two objects to a list of weak pointers
  
  7.1-6 _ElmWPObj_ForHomalg
  
  _ElmWPObj_ForHomalg( arg1, arg2, arg3 )  operation
  
  Creates  a  weak  pointer  depending  on  two  objects  and  adds  it to the
  container.
  
  
  7.2 Pointer objects
  
  7.2-1 IsContainerForPointers
  
  IsContainerForPointers( arg )  filter
  Returns:  true or false
  
  The category for pointer objects
  
  7.2-2 ContainerForPointers
  
  ContainerForPointers( arg )  function
  Returns:  a container for pointers
  
  Creates a container for pointers.
  
  7.2-3 UpdateContainerOfPointers
  
  UpdateContainerOfPointers( arg )  operation
  
  Updates the container of pointers, removes old.
  
  7.2-4 _AddElmPObj_ForHomalg
  
  _AddElmPObj_ForHomalg( arg )  function
  
  Adds a pointer to an object to a container for pointers.
  
  7.2-5 _AddTwoElmPObj_ForHomalg
  
  _AddTwoElmPObj_ForHomalg( arg )  function
  
  Adds a pointer to two objects to a container for pointers
  
  7.2-6 _ElmPObj_ForHomalg
  
  _ElmPObj_ForHomalg( arg1, arg2, arg3 )  operation
  Returns:  an object
  
  Returns an object which a pointer refers to.