![]() |
#include <kernel/mod2.h>#include <omalloc/omalloc.h>#include <misc/options.h>#include <misc/intvec.h>#include <polys/weight.h>#include <kernel/polys.h>#include <polys/monomials/ring.h>#include <polys/nc/gb_hack.h>#include <polys/nc/nc.h>#include <polys/nc/sca.h>#include <kernel/ideals.h>#include <kernel/GBEngine/kstd1.h>#include <kernel/GBEngine/khstd.h>#include <kernel/GBEngine/ratgring.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 | MYTEST 0 |
Functions | |
| int | redGrFirst (LObject *h, kStrategy strat) |
| void | ratGB_divide_out (poly p) |
| int | redGrRatGB (LObject *h, kStrategy strat) |
| void | nc_gr_initBba (ideal F, kStrategy strat) |
| nc_gr_initBba is needed for sca_gr_bba and gr_bba. More... | |
| ideal | k_gnc_gr_bba (const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing) |
| ideal | k_gnc_gr_mora (const ideal F, const ideal Q, const intvec *, const intvec *, kStrategy strat, const ring _currRing) |
| #define MYTEST 0 |
Definition at line 1053 of file gr_kstd2.cc.
| #define PLURAL_INTERNAL_DECLARATIONS |
Definition at line 7 of file gr_kstd2.cc.
| ideal k_gnc_gr_bba | ( | const ideal | F, |
| const ideal | Q, | ||
| const intvec * | , | ||
| const intvec * | , | ||
| kStrategy | strat, | ||
| const ring | _currRing | ||
| ) |
Definition at line 1055 of file gr_kstd2.cc.
| ideal k_gnc_gr_mora | ( | const ideal | F, |
| const ideal | Q, | ||
| const intvec * | , | ||
| const intvec * | , | ||
| kStrategy | strat, | ||
| const ring | _currRing | ||
| ) |
Definition at line 1317 of file gr_kstd2.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.
| void ratGB_divide_out | ( | poly | p | ) |
Definition at line 176 of file gr_kstd2.cc.
Definition at line 56 of file gr_kstd2.cc.
Definition at line 229 of file gr_kstd2.cc.