CPP	modules/valuetaylor.cpp
HPP	modules/valuetaylor.hpp
TEX	modules/valuetaylor.tex

MODULE	taylor	modules/valuetaylor.hlp

TYPES
TAYLOR	valuetaylor
DSYMREC	dsymrec
END

UNARYFUNCTIONS
neg	TAYLOR	TAYLOR	(-a)
taylor	TAYLOR	MATRIX	(matrixtotaylor(a))
output	STRING	TAYLOR	(output(a))

sqrt	TAYLOR	TAYLOR	(sqrt(a))
sqr	TAYLOR	TAYLOR	(sqr(a))
exp	TAYLOR	TAYLOR	(exp(a))
log	TAYLOR	TAYLOR	(log(a))
sin	TAYLOR	TAYLOR	(sin(a))
cos	TAYLOR	TAYLOR	(cos(a))
tan	TAYLOR	TAYLOR	(tan(a))
cot	TAYLOR	TAYLOR	(cot(a))
sinh	TAYLOR	TAYLOR	(sinh(a))
cosh	TAYLOR	TAYLOR	(cosh(a))
tanh	TAYLOR	TAYLOR	(tanh(a))
coth	TAYLOR	TAYLOR	(coth(a))
asin	TAYLOR	TAYLOR	(asin(a))
acos	TAYLOR	TAYLOR	(acos(a))
atan	TAYLOR	TAYLOR	(atan(a))
acot	TAYLOR	TAYLOR	(acot(a))
asinh	TAYLOR	TAYLOR	(asinh(a))
acosh	TAYLOR	TAYLOR	(acosh(a))
atanh	TAYLOR	TAYLOR	(atanh(a))
acoth	TAYLOR	TAYLOR	(acoth(a))

transpose	DSYMREC	SYMREC	(dsymrec(a,1))
transpose	DSYMREC	DSYMREC	(ddsymrec(a))

output	STRING	DSYMREC	(output(a))

abs	TAYLOR	TAYLOR	(a(0)>0?a:(a(0)<0?-a:valuetaylor(0)))
END

BINARYFUNCTIONS
add	TAYLOR	TAYLOR	TAYLOR	(a+b)
add	TAYLOR	*	TAYLOR	(va+b)
add	TAYLOR	TAYLOR	*	(a+vb)
sub	TAYLOR	TAYLOR	TAYLOR	(a-b)
sub	TAYLOR	*	TAYLOR	(va-b)
sub	TAYLOR	TAYLOR	*	(a-vb)
mul	TAYLOR	TAYLOR	TAYLOR	(a*b)
mul	TAYLOR	*	TAYLOR	(va*b)
mul	TAYLOR	TAYLOR	*	(a*vb)
div	TAYLOR	TAYLOR	TAYLOR	(a/b)
div	TAYLOR	*	TAYLOR	(va/b)
div	TAYLOR	TAYLOR	*	(a/vb)
cell	VALUE	TAYLOR	INTEGER	(b<=a.dim()&&b>0)?a(b-1):value()
eq	INTEGER	TAYLOR	TAYLOR	(a==b)
eq	INTEGER	TAYLOR	*	(a==valuetaylor(b))
eq	INTEGER	*	TAYLOR	(valuetaylor(a)==b)
neq	INTEGER	TAYLOR	TAYLOR	(a!=b)
neq	INTEGER	TAYLOR	*	(a!=valuetaylor(b))
neq	INTEGER	*	TAYLOR	(valuetaylor(a)!=b)

lesseq	INTEGER	TAYLOR	*	(value(a(0))<=vb)
lesseq	INTEGER	*	TAYLOR	(a<=value(b(0)))
less	INTEGER	TAYLOR	*	(value(a(0))<vb)
less	INTEGER	*	TAYLOR	(va<value(b(0)))
greatereq	INTEGER	TAYLOR	*	(value(a(0))>=vb)
greatereq	INTEGER	*	TAYLOR	(a>=value(b(0)))
greater	INTEGER	TAYLOR	*	(value(a(0))>vb)
greater	INTEGER	*	TAYLOR	(va>value(b(0)))

pow	TAYLOR	TAYLOR	TAYLOR	(exp(b*log(a)))
pow	TAYLOR	*	TAYLOR	(exp(valuetaylor(b)*log(va)))
pow	TAYLOR	TAYLOR	*	(pow(a,vb))
pow	TAYLOR	TAYLOR	INTEGER	(power(a,b))
pow	TAYLOR	TAYLOR	DOUBLE	(b==int(b)?power(a,int(b)):pow(a,b))

cell	VALUE	DSYMREC	*	(a.eval(b))
END