Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/yyy/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/yyy/pvalaux.h

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

int plain_distribandcancel(term t, term *next);
void plain_distriblaw(term t, term *next);
int contentfactor_pval(term t, term arg, 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);
void plain_distriblaw(term t, term *next);

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists