source: git/kernel/F5cLists.cc @ 801bdb

spielwiese
Last change on this file since 801bdb was 76cfef, checked in by Oleksandr Motsak <motsak@…>, 12 years ago
FIX: fixed #includes in the kernel/ sources ADD: dummy headers in some strange cases
  • Property mode set to 100644
File size: 502 bytes
Line 
1#include <kernel/mod2.h>
2
3#ifdef HAVE_F5C
4#include <kernel/kutil.h>
5#include <kernel/structs.h>
6#include <omalloc/omalloc.h>
7#include <polys/polys.h>
8#include <polys/monomials/p_polys.h>
9#include <kernel/ideals.h>
10#include <kernel/febase.h>
11#include <kernel/kstd1.h>
12#include <kernel/khstd.h>
13#include <polys/kbuckets.h>
14#include <polys/weight.h>
15#include <misc/intvec.h>
16#include <kernel/pInline1.h>
17#include <kernel/f5c.h>
18#include <kernel/F5cData.h>
19#include <kernel/F5cLists.h>
20
21#endif
22// HAVE_F5C
Note: See TracBrowser for help on using the repository browser.