source: git/kernel/f5c.cc @ 16f511

spielwiese
Last change on this file since 16f511 was 16f511, checked in by Oleksandr Motsak <motsak@…>, 11 years ago
Fixed the usage of "config.h" (if defined HAVE_CONFIG_H)
  • Property mode set to 100644
File size: 872 bytes
Line 
1#ifdef HAVE_CONFIG_H
2#include "config.h"
3#endif /* HAVE_CONFIG_H */
4#include <kernel/mod2.h>
5#ifdef HAVE_F5
6#include <unistd.h>
7#include <kernel/structs.h>
8#include <kernel/kutil.h>
9#include <omalloc/omalloc.h>
10#include <kernel/polys.h>
11#include <polys/monomials/p_polys.h>
12#include <polys/templates/p_Procs.h>
13#include <kernel/ideals.h>
14#include <kernel/febase.h>
15#include <kernel/kstd1.h>
16#include <kernel/khstd.h>
17#include <polys/kbuckets.h>
18#include <polys/weight.h>
19#include <misc/intvec.h>
20#include <kernel/polys.h>
21#include <kernel/f5c.h>
22#include <kernel/timer.h>
23/*
24==========================================================================
25MAIN:computes a gb of the ideal i in the ring r with our F5 implementation
26==========================================================================
27*/
28ideal f5cMain(ideal id, ring r) {
29
30  return id;
31}
32
33#endif
34// HAVE_F5
Note: See TracBrowser for help on using the repository browser.