#include <Singular/lists.h>
#include <Singular/attrib.h>
#include <Singular/links/silink.h>
Go to the source code of this file.
Definition at line 16 of file idrec.h.