![]() |
My Project
|
#include "kernel/mod2.h"
#include "polys/monomials/ring.h"
#include "kernel/digitech.h"
#include "polys/kbuckets.h"
#include "kernel/ideals.h"
Go to the source code of this file.
Functions | |
void | bit_reduce (poly &f, ring r) |
poly | uni_subst_bits (poly outer_uni, poly inner_multi, ring r) |
Variables | |
STATIC_INST_VAR ideal | zero_ideal |
Definition at line 15 of file digitech.cc.
poly uni_subst_bits | ( | poly | outer_uni, |
poly | inner_multi, | ||
ring | r | ||
) |
Definition at line 47 of file digitech.cc.
STATIC_INST_VAR ideal zero_ideal |
Definition at line 13 of file digitech.cc.