ToDoListWeakPointer.gd

#############################################################################
##
##                                                    ToolsForHomalg package
##
##  Copyright 2007-2013, Mohamed Barakat, University of Kaiserslautern
##                       Sebastian Gutsche, RWTH-Aachen University
##                  Markus Lange-Hegermann, RWTH-Aachen University
##
##
#############################################################################

DeclareCategory( "IsToDoListWeakPointer",
                 IsComponentObjectRep );

DeclareOperation( "ToDoListWeakPointer",
                  [ IsList ] );

DeclareOperation( "RecoverWholeList",
                  [ IsToDoListWeakPointer ] );

DeclareOperation( "IsCompleteWeakPointerList",
                  [ IsToDoListWeakPointer ] );

DeclareOperation( "\[\]\:\=",
                  [ IsToDoListWeakPointer, IsInt, IsObject ] );

DeclareOperation( "\[\]",
                  [ IsToDoListWeakPointer, IsInt ] );

DeclareGlobalFunction( "TODOLIST_WEAK_POINTER_REPLACE" );

DeclareGlobalFunction( "TODOLIST_WEAK_POINTER_RECOVER" );