| Current Path : /usr/home/beeson/MathXpert/ |
| Current File : /usr/home/beeson/MathXpert/pvalaux.h |
int naivecomdenom(term, term *); void ratpart2(term, term *, term *); int summands(term, term *); void sum_aux(term, term *, unsigned short *, int); int noccurs(term t, term context); int complexparts(term t, term *x, term *y); int polarform(term t, term *r, term *theta); unsigned short count_summands(term); term strongnegate(term); void twoparts(term u, term x, term *c, term *v); int factors(term, term *); int contains_at_toplevel(term b, unsigned f); int contains_neg_exp(term t); int negexp_aux(term t, term *ans); int pulloutrational(term t, term arg, term *next, char *reason); int eliminatenegexpdenom(term t, term arg, term *next, char *reason); int algebraic_number(term); int complexexpression(term); int complex_number(term); int polyval1(term, term *); int polyval2(term, term *); int multiplyoutandcancel(term a, term b, term *next); int getuv(term, int *, int *, long *, long *, term *, term *); term square2(term); /* like square but don't use model */ int rawcollectpowers(term, term *, int); int smallbinomial(term, term *); term topflatten(term next); term trig_aux(unsigned f, long k); int decompose(term, term *, term *); int periodic(term t, term *ans); int periodic3(term, term *, char *); int topoly(term t, term x, term *ans); term multiply_cancel_and_order(term a, term b); int collect1(int,term, term *, int *); int mvpolymult2(term, term, term *); int isquadratic(term t, term *a, term *b, term *c, term *x, term *y); void getmonomial(term u, term *a, term *x, term *power); int subterm(term, term); /* subterm(small,big) */ int apart3(term, term *); int mvpoly2(term t); int halfperiodic(term, term *); void sortatoms(term *, unsigned); int content_factor(term, term *, term *); int is_linear_in(term, term); int iseven(term); int isodd(term); int isinteger(term); int contains_fractional_exponents(term t); int contains_signed_fractional_exponents(term t); int ismonomial(term, term , term *, term *); /* algaux.c */ int squareofone(term); int powerofone(term); int obviously_positive(term); int obviously_negative(term); int obviously_nonnegative(term); int obviously_nonpositive(term); int obviously_nonzero(term); int everywhere_nonzero(term); int everywhere_positive(term); int everywhere_negative(term); int everywhere_nonnegative(term); int everywhere_nonpositive(term); int entire(term); int expandable_sum(term t); int eliminateconstnegexpnum1(term t, term *next); int trigargs(term t, term *a, term *b); int real_variables(term t, term **atomlist); int integer_parameters(term t, term **atomlist); int eqpoly(term t, term x); /* t is equal to a polynomial in x */ unsigned short contains_log(term t); int expandable_for_polyval(term t); int collectnumbers_for_polyval(term, term *); int contains_series(term t); void set_modulus(term t); void plain_distriblaw(term t, term *next); int plain_distribandcancel(term t, term *next); int contentfactor_pval(term t, term *next); /* not exported */ void restore_roots(term, term *); /* not exported */ int cancel_by_contentfactor(term a, term b, term *cancelled, term *ans); /* not exported */ int multiplyout_for_polyval(term,term *); int plain_distribandcancel(term t, term *next);