~gpasa/SingularManual/digitech_8h_source.html

#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

f
FILE * f
Definition: checklibs.c:9

uni_subst_bits
poly uni_subst_bits(poly outer_uni, poly inner_multi, ring r)
Definition: digitech.cc:47

bit_reduce
void bit_reduce(poly &f, ring r)
Definition: digitech.cc:15

polys.h
Compatiblity layer for legacy polynomial operations (over currRing)