[Maxima] patterns for integration
marik at mendelu.cz
Sat Mar 22 13:27:01 CDT 2008
I have two questions concerning patterns matching in Maxima (btw: I have no
experinece with Mathematica and Axiom, but I think that Maxima is much
better than Maple and Derive in pattern matching, thank the developers for
I have the following to check is a function is polynomial times exponential
polynomialpx(e):=polynomialp(e,[maw_var]) and hipow(e,maw_var)>0;
nonzero_constant(e):=constantp(e) and (e#0);
(maw_var is variable)
Is it possible to modify it to match the pattern "polynomial*f(a*x+b)"
where f is sin, cos or exp ?
I can write three rules for exp, sin and cos separately, but is it possible
to do this in one defmatch?
This can be used to detect, if a function is suitable for integration by
parts and the polynomial is differentiated
How to check that a function is in the form R(sin(x),cos(x)) and odd with
respect to sin(x) (i.e. the substitution cos(x)=t converts the integral
into integral of rational function)?
How to check that the function is in the form R(x,sqrt(a*x+b)) (i.e. the
substitution ax+b=t^2 simplifies the integral into integral of rational
Here R(x,y) is rational function in two variables.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Maxima