 |
My Project
debian-1:4.1.2-p1+ds-2
|
Go to the documentation of this file.
48 WerrorS(
"not implemented for letterplace rings");
72 ideal vi=
idInit(1,1); vi->m[0]=q;
73 ideal ui=
idInit(1,1); ui->m[0]=
p;
113 for(
i=comps-1;
i>=0;
i--)
128 ideal vi=
idInit(1,1); vi->m[0]=q;
129 ideal ui=
idInit(1,1); ui->m[0]=I->m[
i];
167 WerrorS(
"division only defined over coefficient domains");
172 WerrorS(
"division over a coefficient domain only implemented for terms");
197 WerrorS(
"not implemented for letterplace rings");
223 ideal vi=
idInit(1,1); vi->m[0]=q;
224 ideal ui=
idInit(1,1); ui->m[0]=
p;
293 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 a/b, 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)
poly p_DivRem(poly p, poly q, poly &rest, const ring r)
static FORCE_INLINE void nSetChar(const coeffs r)
initialisations after each ring change
static BOOLEAN rIsLPRing(const ring r)
#define MATELEM(mat, i, j)
1-based access to matrix
static BOOLEAN rField_is_Domain(const ring r)
void rChangeCurrRing(ring r)
static void p_SetCompP(poly p, int i, ring r)
static n_coeffType rFieldType(const ring r)
the type of the coefficient filed of r (n_Zp, n_Q, etc)
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
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)
used for all transcendental extensions, i.e., the top-most extension in an extension tower is transce...
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_pmod(poly f, poly g, const ring r)
poly singclap_gcd_r(poly f, poly g, const ring r)
BOOLEAN convSingTrP(poly p, 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)
VAR ring currRing
Widely used global variable which specifies the current polynomial ring for Singular interpreter and ...
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)