polynomial division, ignoring the rest via singclap_pdivide resp. idLift destroyes a,b
47 WerrorS(
"not implemented for letterplace rings");
62 ideal vi=
idInit(1,1); vi->m[0]=q;
63 ideal ui=
idInit(1,1); ui->m[0]=
p;
107 for(i=comps-1;i>=0;i--)
116 ideal vi=
idInit(1,1); vi->m[0]=q;
117 ideal ui=
idInit(1,1); ui->m[0]=I->m[
i];
155 WerrorS(
"division only defined over coefficient domains");
160 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)
static BOOLEAN rIsLPRing(const ring r)
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)
BOOLEAN idIs0(ideal h)
returns true if h is the zero ideal
#define SI_RESTORE_OPT1(A)
static long p_MaxComp(poly p, ring lmRing, ring tailRing)
#define MATELEM(mat, i, j)
1-based access to matrix