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 174 #endif // PLURAL_INTERNAL_DECLARATIONS 181 #endif // HAVE_PLURAL 183 #endif // #ifndef SCA_H bool sca_Force(ring rGR, int b, int e)
ideal SCAQuotient(const ring r)
const CanonicalForm int const CFList const Variable & y
struct p_Procs_s p_Procs_s
intvec * ivGetSCAYVarWeights(const ring r)
static bool id_IsSCAHomogeneous(const ideal id, const intvec *wCx, const intvec *wCy, const ring r)
poly sca_pp_Mult_xi_pp(short i, const poly pPoly, const ring rRing)
static bool p_IsSCAHomogeneous(const poly p, const intvec *wCx, const intvec *wCy, 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)
ideal id_KillSquares(const ideal id, const short iFirstAltVar, const short iLastAltVar, const ring r, const bool bSkipZeroes=false)
static short scaFirstAltVar(ring r)
poly p_KillSquares(const poly p, const short iFirstAltVar, const short iLastAltVar, const ring r)
intvec * ivGetSCAXVarWeights(const ring r)
static short scaLastAltVar(ring r)
static bool rIsSCA(const ring r)
void sca_p_ProcsSet(ring rGR, p_Procs_s *p_Procs)
bool sca_SetupQuotient(ring rGR, ring rG, bool bCopy)
bool id_IsBiHomogeneous(const ideal id, const intvec *wx, const intvec *wy, const intvec *wCx, const intvec *wCy, const ring r)