🚀 go-pugleaf

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