polynomial division, ignoring the rest via singclap_pdiive resp. idLift destroyes a,b
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");
static unsigned long p_SetComp(poly p, unsigned long c, ring r)
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)
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)
#define SI_RESTORE_OPT1(A)
static long p_MaxComp(poly p, ring lmRing, ring tailRing)
#define MATELEM(mat, i, j)