268{
274 {
277 else
280 }
281
282
285
289
292 {
294 {
296
299
301 {
303 }
305 {
306 WarnS(
"ignoring denominators of coefficients...");
308 }
309
314
316
319 {
322 }
324
326
328 {
331 }
332 else
334
335
337
340 }
341 }
343 {
345 {
347
352
353
358 {
361 }
363
365
367
369
372 }
373 }
374 else
375 {
376 WerrorS(
"cannot apply subst for these coefficients");
377 }
381}
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