This file is indexed.

/usr/include/singular/singular/kernel/groebner_walk/walkProc.h is in libsingular4-dev-common 1:4.1.0-p3+ds-2build1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
8
#ifndef WALKPROC_H
#define WALKPROC_H
#include <kernel/groebner_walk/walkMain.h>
ideal walkProc(leftv first, leftv second);
ideal fractalWalkProc(leftv first, leftv second);
WalkState walkConsistency( ring sring, ring dring, int * vperm );
WalkState fractalWalkConsistency( ring sring, ring dring, int * vperm );
#endif