58 ideal vi=
idInit(1,1); vi->m[0]=q;
59 ideal ui=
idInit(1,1); ui->m[0]=
p;
99 for(i=comps-1;i>=0;i--)
108 ideal vi=
idInit(1,1); vi->m[0]=q;
109 ideal ui=
idInit(1,1); ui->m[0]=I->m[
i];
143 WerrorS(
"division only defined over coefficient domains");
148 WerrorS(
"division over a coefficient domain only implemented for terms");
Compatiblity layer for legacy polynomial operations (over currRing)
static unsigned long p_SetComp(poly p, unsigned long c, ring r)
static FORCE_INLINE void nSetChar(const coeffs r)
initialisations after each ring change
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
static BOOLEAN rField_is_Domain(const ring r)
void WerrorS(const char *s)
poly singclap_pdivide(poly f, poly g, const ring r)
CanonicalForm ndConvSingNFactoryN(number, BOOLEAN, const coeffs)
static void p_SetCompP(poly p, int i, ring r)
poly p_Divide(poly p, poly q, const ring r)
polynomial division, ignoring the rest via singclap_pdiive resp. idLift destroyes a...
void rChangeCurrRing(ring r)
static void p_Delete(poly *p, const ring r)
ideal idInit(int idsize, int rank)
initialise an ideal / module
poly p_DivideM(poly a, poly b, const ring r)
static BOOLEAN rField_is_Ring(const ring r)
matrix id_Module2formatedMatrix(ideal mod, int rows, int cols, const ring R)
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
ideal idLift(ideal mod, ideal submod, ideal *rest, BOOLEAN goodShape, BOOLEAN isSB, BOOLEAN divide, matrix *unit, GbVariant alg)
static poly p_Add_q(poly p, poly q, const ring r)
void p_SetGlobals(const ring r, BOOLEAN complete)
set all properties of a new ring - also called by rComplete
#define SI_RESTORE_OPT1(A)
static long p_MaxComp(poly p, ring lmRing, ring tailRing)
#define MATELEM(mat, i, j)