17 WerrorS(
"janet only for well-orderings");
56 ideal I=(ideal)
v->Data();
86 pTest(iT->info->root);
92 result->m[ideal_length-ideal_index-1]=
pCopy(iT->info->root);
94 result->m[ideal_length-ideal_index-1]
102 result->m[ideal_length-ideal_index-1]=
pCopy(iT->info->root);
104 result->m[ideal_length-ideal_index-1]
112 if ((flag==1) && (dpO==0))
Class used for (list of) interpreter objects.
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
void InitHistory(Poly *p)
int ComputeBasis(jList *_lT, jList *_lQ)
void DestroyList(jList *x)
void InsertInCount(jList *x, Poly *y)
void Initialization(char *Ord)
ideal kInterRedOld(ideal F, ideal Q)
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
long p_Deg(poly a, const ring r)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
Compatibility layer for legacy polynomial operations (over currRing)
#define pIsConstant(p)
like above, except that Comp must be 0
#define pCopy(p)
return a copy of the poly
BOOLEAN rHasLocalOrMixedOrdering(const ring r)
ideal idInit(int idsize, int rank)
initialise an ideal / module
void idSkipZeroes(ideal ide)
gives an ideal/module the minimal possible size
static BOOLEAN jInitBasis(ideal v, jList **TT, jList **QQ)
BOOLEAN jjStdJanetBasis(leftv res, leftv v, int flag)
flag: 0: JB, 1: SB