spielwiese
Last change
on this file since f5d2647 was
762407,
checked in by Oleksandr Motsak <motsak@…>, 12 years ago
|
config.h is for sources files only
FIX: config.h should only be used by source (not from inside kernel/mod2.h!)
NOTE: each source file should better include mod2.h right after config.h,
while headers should better not include mod2.h.
|
-
Property mode set to
100644
|
File size:
206 bytes
|
Line | |
---|
1 | #ifndef DIGITECH_HEADER |
---|
2 | #define DIGITECH_HEADER |
---|
3 | // #include <kernel/mod2.h> |
---|
4 | #include <kernel/polys.h> |
---|
5 | void bit_reduce(poly & f,ring r); |
---|
6 | poly uni_subst_bits(poly outer_uni, poly inner_multi, ring r); |
---|
7 | #endif |
---|
Note: See
TracBrowser
for help on using the repository browser.