It would be possible to write your own "smart_integrate" that used
information about symmetry, and then if necessary it could call the
built-in integrate. There are many things that smart_integrate could do,
including detecting odd functions that are not declared.
see
http://www.cs.berkeley.edu/~/fateman//papers/symmetry.pdf
RJF
Martin Sch?necker wrote:
> Is there a way to use the fact that a function is odd in the evaluation
> of an integral?
>
> --Martin
>
> (%i1) kill(all);
> (%o0) done
> (%i1) declare(f, oddfun);
> (%o1) done
> (%i2) f(-a) + f(a);
> (%o2) 0
> (%i3) integrate(f(y), y,-a,a);
> (%o3) integrate(f(y),y,-a,a)
>
> _______________________________________________
> Maxima mailing list
> Maxima at math.utexas.edu
> http://www.math.utexas.edu/mailman/listinfo/maxima
>