t68@nikhefh.nikhef.nl (Jos Vermaseren) (01/11/90)
Archive-name: form/10-Jan-90 Original-posting-by: t68@nikhefh.nikhef.nl (Jos Vermaseren) Original-subject: Re: non-commutative algebra in Mathematica? Archive-site: nikhefh.nikhef.nl [192.16.183.3] Reposted-by: emv@math.lsa.umich.edu (Edward Vielmetti) The program FORM can do most of these noncummutative things as multiplication of functions is default noncummutative. (You can define commuting functions though). So your objects happen to be functions without arguments and everything drops in place. You can make procedures that reduce your expressions when it suits you, or put some smart reductions at the proper locations (general reductions have a tendency to blow you out of the computer). You can pick up FORM (and a .dvi file of its manual) by means of anonymous ftp from nikhefh.nikhef.nl (it works already for many places and the rest should follow rather soon). There are the following executables: Apollo DN3000, Apollo DN10000, SUN4/Sparc, Gould 9080, Gould NP1, DECstation 3100(ultrix), VMS5, ultrix (on regular VAX), Atari-ST, IBM-PC (had to be pruned a little), MAC, Alliant. There will be more. Read the instructions before you print the manual. Jos Vermaseren