13 return r->GetNC()->SCAQuotient();
22 return (r->GetNC()->FirstAltVar());
29 return (r->GetNC()->LastAltVar());
38 r->GetNC()->FirstAltVar() = n;
45 r->GetNC()->LastAltVar() = n;
136 const short iFirstAltVar,
const short iLastAltVar,
145 const short iFirstAltVar,
const short iLastAltVar,
146 const ring r,
const bool bSkipZeroes =
false);
152#ifdef PLURAL_INTERNAL_DECLARATIONS
const CanonicalForm int const CFList const Variable & y
static bool rIsSCA(const ring r)
struct p_Procs_s p_Procs_s
void sca_p_ProcsSet(ring rGR, p_Procs_s *p_Procs)
bool sca_SetupQuotient(ring rGR, ring rG, bool bCopy)
ideal SCAQuotient(const ring r)
poly p_KillSquares(const poly p, const short iFirstAltVar, const short iLastAltVar, const ring r)
bool p_IsBiHomogeneous(const poly p, const intvec *wx, const intvec *wy, const intvec *wCx, const intvec *wCy, int &dx, int &dy, const ring r)
intvec * ivGetSCAXVarWeights(const ring r)
static bool p_IsSCAHomogeneous(const poly p, const intvec *wCx, const intvec *wCy, const ring r)
poly sca_pp_Mult_xi_pp(short i, const poly pPoly, const ring rRing)
intvec * ivGetSCAYVarWeights(const ring r)
ideal id_KillSquares(const ideal id, const short iFirstAltVar, const short iLastAltVar, const ring r, const bool bSkipZeroes=false)
static short scaLastAltVar(ring r)
bool sca_Force(ring rGR, int b, int e)
bool id_IsBiHomogeneous(const ideal id, const intvec *wx, const intvec *wy, const intvec *wCx, const intvec *wCy, const ring r)
static short scaFirstAltVar(ring r)
static bool id_IsSCAHomogeneous(const ideal id, const intvec *wCx, const intvec *wCy, const ring r)