source: git/kernel/F5cLists.cc @ 8099fc

spielwiese
Last change on this file since 8099fc was ae625f, checked in by Christian Eder, 15 years ago
getting all this renaming stuff done git-svn-id: file:///usr/local/Singular/svn/trunk@11934 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 378 bytes
Line 
1#include "mod2.h"
2
3#ifdef HAVE_F5C
4#include "kutil.h"
5#include "structs.h"
6#include "omalloc.h"
7#include "polys.h"
8#include "p_polys.h"
9#include "ideals.h"
10#include "febase.h"
11#include "kstd1.h"
12#include "khstd.h"
13#include "kbuckets.h"
14#include "weight.h"
15#include "intvec.h"
16#include "pInline1.h"
17#include "f5c.h"
18#include "F5cData.h"
19#include "F5cLists.h"
20
21#endif
22// HAVE_F5C
Note: See TracBrowser for help on using the repository browser.