returns Aleph(0), as it should. Now, since A^n=A if n is finite, the command
A^(10^(10^10))
should return Aleph(0). But it doesn't - it just hangs Axiom. It seems as though Axiom is first trying to evaluate 10^(10^10), and then raise A to that power. But surely Axiom should recognize that 10^(10^10) is finite immediately, and proceed from there.