267{
273 {
276 else
279 }
280
281
284
288
291 {
293 {
295
298
300 {
302 }
304 {
305 WarnS(
"ignoring denominators of coefficients...");
307 }
308
313
315
318 {
321 }
323
325
327 {
330 }
331 else
333
334
336
339 }
340 }
342 {
344 {
346
351
352
357 {
360 }
362
364
366
368
371 }
372 }
373 else
374 {
375 WerrorS(
"cannot apply subst for these coefficients");
376 }
380}
Class used for (list of) interpreter objects.
static FORCE_INLINE number n_Param(const int iParameter, const coeffs r)
return the (iParameter^th) parameter as a NEW number NOTE: parameter numbering: 1....
static FORCE_INLINE number n_GetDenom(number &n, const coeffs r)
return the denominator of n (if elements of r are by nature not fractional, result is 1)
static FORCE_INLINE number n_Invers(number a, const coeffs r)
return the multiplicative inverse of 'a'; raise an error if 'a' is not invertible
static FORCE_INLINE nMapFunc n_SetMap(const coeffs src, const coeffs dst)
set the mapping function pointers for translating numbers from src to dst
static FORCE_INLINE void n_Delete(number *p, const coeffs r)
delete 'p'
static FORCE_INLINE number n_Init(long i, const coeffs r)
a number representing i in the given coeff field/ring r
static FORCE_INLINE number n_GetNumerator(number &n, const coeffs r)
return the numerator of n (if elements of r are by nature not fractional, result is n)
@ n_rep_poly
(poly), see algext.h
@ n_rep_rat_fct
(fraction), see transext.h
number(* nMapFunc)(number a, const coeffs src, const coeffs dst)
maps "a", which lives in src, into dst
static FORCE_INLINE BOOLEAN n_IsOne(number n, const coeffs r)
TRUE iff 'n' represents the one element.
const Variable & v
< [in] a sqrfree bivariate poly
void WerrorS(const char *s)
EXTERN_VAR omBin sleftv_bin
static number & pGetCoeff(poly p)
return an alias to the leading coefficient of p assumes that p != NULL NOTE: not copy
void p_Normalize(poly p, const ring r)
poly p_NSet(number n, const ring r)
returns the poly representing the number n, destroys n
static BOOLEAN p_IsConstant(const poly p, const ring r)
static poly p_Copy(poly p, const ring r)
returns a copy of p
#define pHead(p)
returns newly allocated copy of Lm(p), coef is copied, next=NULL, p might be NULL
#define pSetCoeff(p, n)
deletes old coeff before setting the new one
static int rPar(const ring r)
(r->cf->P)
ideal idInit(int idsize, int rank)
initialise an ideal / module