![]() |
#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.