Hi,
we are users of Mathematica and Mupad, the only non-free software
packages in use in our lab. I have jsut encountered maxima and am quite
excited about the prospect of using it rather than the previous two
packages. We are using Mupad for experiments in an abstract algebra
course and there use functions that closely match the mathematical
statement such as
\forall a\in A (e \circ a = a)
which for finite A determine the validity by simply calculating all
possibilities.
For example in Mupad (with a appropriate definitions behind the scenes)
we can say:
forall(A,a->bool(e o a = a))
(which essentially applies the given function to all elements of A and
then takes the conjunction).
Could something like that be done easily in maxima.
THanks for any pointers.
Andreas
--
Prof. Dr. Andreas J. Guelzow
http://www.math.concordia.ab.ca/aguelzow