![]() |
#include <kernel/mod2.h>
#include <misc/options.h>
#include <polys/simpleideals.h>
#include <polys/prCopy.h>
#include <polys/nc/sca.h>
#include <polys/nc/gb_hack.h>
#include <kernel/polys.h>
#include <kernel/ideals.h>
#include <kernel/GBEngine/kstd1.h>
#include <kernel/GBEngine/kutil.h>
#include <kernel/GBEngine/nc.h>
Go to the source code of this file.
Macros | |
#define | PLURAL_INTERNAL_DECLARATIONS |
#define | NO_BUCKETS |
Functions | |
void | nc_gr_initBba (ideal F, kStrategy strat) |
nc_gr_initBba is needed for sca_gr_bba and gr_bba. More... | |
void | addLObject (LObject &h, kStrategy &strat) |
ideal | k_sca_gr_bba (const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing) |
Modified Plural's Buchberger's algorithmus. More... | |
ideal | k_sca_bba (const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing) |
Modified modern Sinuglar Buchberger's algorithm. More... | |
static BOOLEAN | kMoraUseBucket (kStrategy) |
ideal | k_sca_mora (const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing) |
Modified modern Sinuglar Mora's algorithm. More... | |
Variables | |
static int | sca_mora_count = 0 |
#define NO_BUCKETS |
Definition at line 26 of file sca.cc.
ideal k_sca_bba | ( | const ideal | F, |
const ideal | Q, | ||
const intvec * | , | ||
const intvec * | , | ||
kStrategy | strat, | ||
const ring | _currRing | ||
) |
Modified modern Sinuglar Buchberger's algorithm.
Definition at line 374 of file sca.cc.
ideal k_sca_gr_bba | ( | const ideal | F, |
const ideal | Q, | ||
const intvec * | , | ||
const intvec * | , | ||
kStrategy | strat, | ||
const ring | _currRing | ||
) |
Modified Plural's Buchberger's algorithmus.
Definition at line 100 of file sca.cc.
ideal k_sca_mora | ( | const ideal | F, |
const ideal | Q, | ||
const intvec * | , | ||
const intvec * | , | ||
kStrategy | strat, | ||
const ring | _currRing | ||
) |
Modified modern Sinuglar Mora's algorithm.
Definition at line 896 of file sca.cc.
void nc_gr_initBba | ( | ideal | F, |
kStrategy | strat | ||
) |
nc_gr_initBba is needed for sca_gr_bba and gr_bba.
Definition at line 975 of file gr_kstd2.cc.