266{
272 {
275 else
278 }
279
280
283
287
290 {
292 {
294
297
299 {
301 }
303 {
304 WarnS(
"ignoring denominators of coefficients...");
306 }
307
312
314
317 {
320 }
322
324
326 {
329 }
330 else
332
333
335
338 }
339 }
341 {
343 {
345
350
351
356 {
359 }
361
363
365
367
370 }
371 }
372 else
373 {
374 WerrorS(
"cannot apply subst for these coefficients");
375 }
379}
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