source:
git/kernel/F5cLists.cc
@
eedd22
| Last change on this file since eedd22 was eedd22, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 507 bytes | |
| Rev | Line | |
|---|---|---|
| [599326] | 1 | #include <kernel/mod2.h> |
| [030573] | 2 | |
| 3 | #ifdef HAVE_F5C | |
| [599326] | 4 | #include <kernel/kutil.h> |
| 5 | #include <kernel/structs.h> | |
| [76cfef] | 6 | #include <omalloc/omalloc.h> |
| [210e07] | 7 | #include <polys/polys.h> |
| 8 | #include <polys/monomials/p_polys.h> | |
| [599326] | 9 | #include <kernel/ideals.h> |
| 10 | #include <kernel/febase.h> | |
| 11 | #include <kernel/kstd1.h> | |
| 12 | #include <kernel/khstd.h> | |
| [210e07] | 13 | #include <polys/kbuckets.h> |
| [76cfef] | 14 | #include <polys/weight.h> |
| [210e07] | 15 | #include <misc/intvec.h> |
| [eedd22] | 16 | #include <libpolys/polys/polys.h> |
| [599326] | 17 | #include <kernel/f5c.h> |
| 18 | #include <kernel/F5cData.h> | |
| 19 | #include <kernel/F5cLists.h> | |
| [030573] | 20 | |
| 21 | #endif | |
| [ae625f] | 22 | // HAVE_F5C |
Note: See TracBrowser
for help on using the repository browser.
