8#ifdef PLURAL_INTERNAL_DECLARATIONS
14# define PLURAL_INTERNAL_DECLARATIONS
16# undef PLURAL_INTERNAL_DECLARATIONS
62 return gb(F,
Q,
w, hilb, strat, r);
void * cast_A_to_vptr(A a)
EXTERN_VAR BBA_Proc gnc_gr_bba
EXTERN_VAR BBA_Proc gnc_gr_mora
EXTERN_VAR BBA_Proc sca_mora
EXTERN_VAR BBA_Proc sca_bba
ideal Approx_Step(ideal L)
Ann: ???
ideal twostd(ideal I)
Compute two-sided GB:
static ideal nc_GB(const ideal F, const ideal Q, const intvec *w, const bigintmat *hilb, kStrategy strat, const ring r)
static bool rIsSCA(const ring r)
Compatibility layer for legacy polynomial operations (over currRing)
static BOOLEAN rHasLocalOrMixedOrdering(const ring r)
static BOOLEAN rIsPluralRing(const ring r)
we must always have this test!
ideal(* BBA_Proc)(const ideal, const ideal, const intvec *, const bigintmat *, kStrategy strat, const ring)