/usr/include/singular/singular/kernel/digitech.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 | #ifndef DIGITECH_HEADER
#define DIGITECH_HEADER
// #include <kernel/mod2.h>
#include <kernel/polys.h>
void bit_reduce(poly & f,ring r);
poly uni_subst_bits(poly outer_uni, poly inner_multi, ring r);
#endif
|