58 ideal vi=
idInit(1,1); vi->m[0]=q;
59 ideal ui=
idInit(1,1); ui->m[0]=
p;
103 for(
i=comps-1;
i>=0;
i--)
112 ideal vi=
idInit(1,1); vi->m[0]=q;
113 ideal ui=
idInit(1,1); ui->m[0]=I->m[
i];
151 WerrorS(
"division only defined over coefficient domains");
156 WerrorS(
"division over a coefficient domain only implemented for terms");
206 if (
IDELEMS(S1)!=1)
WarnS(
"error in syzygy computation for GCD");
poly singclap_gcd_r(poly f, poly g, const ring r)
Compatiblity layer for legacy polynomial operations (over currRing)
void p_TakeOutComp(poly *p, long comp, poly *q, int *lq, const ring r)
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)
void p_Norm(poly p1, const ring r)
poly singclap_pdivide(poly f, poly g, const ring r)
static poly p_Copy(poly p, const ring r)
returns a copy of p
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_pdivide resp. idLift destroyes a,...
static BOOLEAN p_IsConstant(const poly p, const ring r)
poly singclap_gcd(poly f, poly g, const ring r)
polynomial gcd via singclap_gcd_r resp. idSyzygies destroys f and g
void p_Content(poly ph, const ring r)
void rChangeCurrRing(ring r)
static BOOLEAN rField_is_Zp(const ring r)
ideal idSyzygies(ideal h1, tHomog h, intvec **w, BOOLEAN setSyzComp, BOOLEAN setRegularity, int *deg, GbVariant alg)
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
BOOLEAN idIs0(ideal h)
returns true if h is the zero ideal
poly p_Cleardenom(poly p, const ring r)
#define SI_RESTORE_OPT1(A)
static long p_MaxComp(poly p, ring lmRing, ring tailRing)
#define MATELEM(mat, i, j)