I have made a few changes to the printing of bignums in maxima so it
now handles the 10000! ok. (see cvs or snapshots).
Still as I said before the GCL bignum code is not so good, since the
10000! takes 5 seconds on a pentium 850mhz, and another 5 seconds to
print (with GCL). The maxima CLISP time (using GMP bignum code) is MUCH
faster (0.12 seconds to compute it) with printing taking 3 seconds.
I will look into putting the GMP bignum code into GCL as well.
======
Also the xmaxima is mostly working in clisp and cmulisp now.