 |
My Project
UNKNOWN_GIT_VERSION
|
Go to the documentation of this file.
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(poly f, poly g, const ring r)
polynomial gcd via singclap_gcd_r resp. idSyzygies destroys f and g
poly p_Divide(poly p, poly q, const ring r)
polynomial division, ignoring the rest via singclap_pdivide resp. idLift destroyes a,...
ideal idLift(ideal mod, ideal submod, ideal *rest, BOOLEAN goodShape, BOOLEAN isSB, BOOLEAN divide, matrix *unit, GbVariant alg)
static FORCE_INLINE void nSetChar(const coeffs r)
initialisations after each ring change
#define MATELEM(mat, i, j)
static BOOLEAN rField_is_Domain(const ring r)
void rChangeCurrRing(ring r)
static void p_SetCompP(poly p, int i, ring r)
Compatiblity layer for legacy polynomial operations (over currRing)
poly singclap_pdivide(poly f, poly g, const ring r)
BOOLEAN idIs0(ideal h)
returns true if h is the zero ideal
static poly p_Copy(poly p, const ring r)
returns a copy of p
ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
void id_Delete(ideal *h, ring r)
deletes an ideal/module/matrix
void p_SetGlobals(const ring r, BOOLEAN complete)
set all properties of a new ring - also called by rComplete
static BOOLEAN rField_is_Ring(const ring r)
poly p_DivideM(poly a, poly b, const ring r)
poly p_Cleardenom(poly p, const ring r)
void p_Content(poly ph, const ring r)
static void p_Delete(poly *p, const ring r)
static poly p_Add_q(poly p, poly q, const ring r)
poly singclap_gcd_r(poly f, poly g, const ring r)
ideal idInit(int idsize, int rank)
initialise an ideal / module
void WerrorS(const char *s)
void p_TakeOutComp(poly *p, long comp, poly *q, int *lq, const ring r)
ideal idSyzygies(ideal h1, tHomog h, intvec **w, BOOLEAN setSyzComp, BOOLEAN setRegularity, int *deg, GbVariant alg)
static unsigned long p_SetComp(poly p, unsigned long c, ring r)
static BOOLEAN p_IsConstant(const poly p, const ring r)
CanonicalForm ndConvSingNFactoryN(number, BOOLEAN, const coeffs)
#define SI_RESTORE_OPT1(A)
void p_Norm(poly p1, const ring r)
matrix id_Module2formatedMatrix(ideal mod, int rows, int cols, const ring R)
static BOOLEAN rField_is_Zp(const ring r)
static long p_MaxComp(poly p, ring lmRing, ring tailRing)