Ashmedai tool A symbolic mathematics package by Michael Levine that influenced SMP and FORM. There are versions for the Univac 1108 and VAX/VMS. (1995-03-21)