Macsyma

En respuesta a una solicitud de Richard Fateman, entonces profesor de la UC Berkeley , el MIT proporcionó una licencia temporal para el código Macsyma en 1979. Este código se implementó casi de inmediato en la nueva computadora VAX-11/780, que utilizaba un dialecto de Maclisp, Franz Lisp , escrito por el grupo de Fateman. El MIT, a regañadientes, otorgó licencias de versiones de VAX Macsyma de Berkeley a unas 50 universidades, comenzando por Caltech, con la condición de que las licencias se revocarían una vez finalizadas las negociaciones para obtener una licencia definitiva. De hecho, esto ocurrió cuando se completó la negociación con Symbolics (véase más adelante). Symbolics se mostró reacia a licenciar el producto VAX, ya que VAX representaba un hardware competitivo para sus propias máquinas Lisp, por lo que suprimió el software VAX durante cinco años. La UC Berkeley también implementó copias de Macsyma en sistemas basados ​​en Motorola 68000 , principalmente en estaciones de trabajo Sun. Symbolics también las suprimió. Al mismo tiempo, Fateman trabajó para convertir la licencia temporal (ahora revocada) de Macsyma en algo más permanente.

En última instancia, el Departamento de Energía de Estados Unidos impuso al MIT el requisito de publicar una copia en la biblioteca del Centro Nacional de Software de Energía (NESC) en 1982, permitiendo al MIT imponer restricciones en cuanto al precio y la prohibición de redistribución. Esto tenía como objetivo proteger la transferencia de tecnología a Symbolics. (Dichas restricciones se eliminaron alrededor de 2002). Este llamado DOE Macsyma había sido reescrito en el MIT en un dialecto anterior a Common Lisp llamado NIL lisp , implementado de forma incompleta en VAX/VMS , un sistema poco popular en el ámbito académico, donde Berkeley VAX Unix era común. DOE Macsyma constituyó la base del sistema Maxima de código abierto, desarrollado mucho más tarde .

En 1981, Moses y Richard Pavelle , miembro del personal del MIT y defensor de la aplicación de Macsyma a la ingeniería y la ciencia, intentaron fundar una empresa para comercializar Macsyma. Pavelle había escrito numerosos artículos científicos utilizando Macsyma. Con estos artículos en mano, Pavelle y Moses se pusieron en contacto con varias firmas de capital riesgo que mostraron interés en financiar una empresa emergente de Macsyma. Cuando los posibles acuerdos estaban a punto de cerrarse, el MIT decidió repentinamente que su personal no debía beneficiarse directamente de los desarrollos del MIT. A principios de 1982, el MIT cedió la licencia de Macsyma a Arthur D. Little , Inc. (ADL), que se convirtió en el intermediario de Macsyma y, a finales de ese mismo año, la cedió a Symbolics. ADL apartó a Moses del proyecto y Pavelle se convirtió en el jefe de la división de Macsyma en Symbolics. Era evidente que a Symbolics no le interesaba tanto el código como mantener a Macsyma fuera del catálogo de software de su competidor en el sector de las máquinas Lisp, LMI . El acuerdo comercial entre Symbolics y Arthur D. Little requería el pago de regalías a ADL del 15% de las ventas brutas de Macsyma. Estas regalías generaron especulaciones sobre el interés del MIT y ADL en el éxito de Macsyma. El desarrollo de Macsyma continuó en Symbolics a pesar de que se consideraba una distracción de las ventas de máquinas Lisp , que Symbolics consideraba su negocio principal, aunque las ventas de Macsyma y las ventas apalancadas de máquinas Lisp alcanzaron el 10% de las ventas totales de Symbolics en dos años. A pesar de la resistencia de muchos en Symbolics, Macsyma se lanzó para computadoras DEC VAX y estaciones de trabajo Sun que utilizaban Franz Lisp de Berkeley a principios y mediados de los 80.

Sin embargo, los problemas de Symbolics con la venta de Macsyma en ordenadores que no eran de Symbolics acabaron provocando el declive de las ventas de Macsyma. En el primer semestre de 1986, los ingresos de Macsyma fueron inferiores a los del primer semestre de 1985, en un sector en auge. El programa SMP de Wolfram y Waterloo Maple también estaban creciendo en ese momento, aunque MACSYMA era claramente superior a estos otros paquetes en matemáticas simbólicas.

Pavelle dirigió la división Macsyma en Symbolics hasta principios de 1986. En la segunda mitad de ese año, Richard Petti se convirtió en el gerente del negocio de Macsyma para reducir las ventas y evitar conflictos con los empleados de Symbolics. Macsyma redujo su plantilla, pero amplió su fuerza de ventas y marketing, y centró a sus desarrolladores en las funcionalidades que solicitaban los clientes. (Por ejemplo, el algoritmo base Spear-Zacharias ( Gröbner ), implementado en la década de 1970 en el MIT, no se instaló en un Macsyma comercial hasta 1987). En 1987, los ingresos anuales de Macsyma prácticamente se duplicaron. MACSYMA se volvió más fácil de usar: la documentación y la ayuda en línea se reorganizaron y ampliaron; algunos nombres de comandos se modificaron para que fueran más fáciles de recordar. El sistema se adaptó a Common Lisp (por Kent M. Pitman ). Petti argumentó ante la dirección de Symbolics que Macsyma era una " unidad de negocio estratégica " que debía financiarse en función de su rendimiento y potencial, no de las perspectivas del negocio principal de estaciones de trabajo. Sin embargo, Symbolics redujo la plantilla de Macsyma tras este período de fuerte crecimiento; Symbolics intentó utilizar a Macsyma como una pequeña fuente de ingresos para financiar las pérdidas del negocio de estaciones de trabajo, que era 30 veces mayor.

La mayor debilidad de Macsyma radicaba en su análisis numérico. Dominar las matemáticas simbólicas era una tarea titánica; sin embargo, las capacidades numéricas eran cruciales para acceder a los mercados mucho más amplios de ingeniería y ciencia de gama baja. En el MIT, Macsyma tenía una conexión con las bibliotecas numéricas IMSL (ahora un producto de Perforce Software ), pero esta conexión se interrumpió cuando Macsyma se trasladó a Symbolics. Los desarrolladores de Lisp en Symbolics generalmente creían que el análisis numérico era una tecnología obsoleta e irrelevante para las aplicaciones de Lisp, por lo que decidieron no invertir en ella. La aritmética de doble precisión en Macsyma (en la versión para PC ) era aproximadamente seis veces más lenta que Fortran. Además, las matrices de Macsyma se implementaban como listas de listas, lo que reducía la velocidad de los algoritmos clave en un factor de entre 5 y 10. Macsyma carecía de muchos de los algoritmos básicos del álgebra lineal numérica , como la descomposición LU .

En 1987-88, el grupo Macsyma intentó crear una versión para PC de Macsyma con Gold Hill Lisp . (Anteriormente, Symbolics había cancelado su propio proyecto para crear un compilador de Lisp para ordenadores estándar con el fin de evitar competir con las ventas de máquinas Lisp. Esta fue una decisión controvertida que, según algunos, se llevó a cabo sin la aprobación de la alta dirección. Symbolics también se negó a cooperar con Sun para que Lisp estuviera disponible en las estaciones de trabajo Sun por la misma razón). Gold Hill Lisp era demasiado inestable y su débil arquitectura impedía a Gold Hill eliminar los errores. Este fue un fracaso crucial para Macsyma. Significó que Macsyma no pudo funcionar en PC cuando Mathematica apareció en los ordenadores Apple a mediados de 1988. Macsyma apareció en PC con Windows en agosto de 1989 utilizando CLOE Lisp de Symbolics. Sin embargo, el personal de Macsyma era demasiado pequeño y carecía de la combinación de habilidades necesarias para añadir el tipo de gráficos, interfaz de portátil y mejores capacidades numéricas que tenía Mathematica .

Para 1989, Petti tenía claro que Symbolics colapsaría debido a una mala estrategia de producto, y que arrastraría a Macsyma consigo. (Algunos problemas de producto: (1) El software de Symbolics estaba diseñado para desarrolladores de software del MIT sin suficientes concesiones para otros. (2) El software de clase mundial de Symbolics estaba perdiendo cuota de mercado debido a la dependencia de hardware de muy alto costo. (3) Al migrar al hardware VLSI a mediados de la década de 1980, Symbolics cambió de un tamaño de palabra de 36 bits a uno de 40 bits, sin que el mercado justificara el enorme costo de desarrollo de este cambio). Macsyma no pudo formar un equipo de compra debido a la falta de cooperación del MIT. Después de mantenerse relativamente discreto desde 1986 sobre los problemas de producto, Petti intentó a finales de 1988 persuadir a Symbolics para que adoptara una estrategia exclusivamente de software o a nivel de placa; pero el cuarto presidente en cuatro años no quiso escuchar nada al respecto. En 1990, Petti dejó Symbolics para emprender una empresa emergente.

Macsyma, Inc., fue fundada en 1992 por Russell Noftsker (presidente, quien había cofundado Symbolics ) y Richard Petti (presidente, quien había reflotado Macsyma durante un tiempo en Symbolics) mediante la recaudación de fondos y la compra de los derechos de Macsyma a la maltrecha Symbolics. ^{[ 12 ]} Aunque el mercado crecía rápidamente, las ventas de Macsyma en 1991 y principios de 1992 seguían cayendo rápidamente. La cuota de mercado de Macsyma en software de matemáticas simbólicas había caído del 70% en 1987 al 1% en 1992. Para 1993, el crecimiento del mercado se había ralentizado y el mercado se había estandarizado en Mathematica y Maple. Los competidores tenían equipos de desarrollo que eran entre 4 y 8 veces más grandes que el de Macsyma Inc. durante la década de 1990.

A principios de 1995, la compañía lanzó Macsyma 2.0.5, con muchas mejoras: en la gran prueba de matemáticas simbólicas de Wester, Macsyma 2.0.5 obtuvo un 10 % más de puntuación que Maple y un 15 % más que Mathematica. ^{[ 13 ]} Aunque Macsyma 2.0.5 seguía siendo muy lento en operaciones numéricas, contaba con una cartera mucho más sólida de rutinas de análisis numérico y álgebra lineal. (En 1996, Macsyma añadió LAPACK , que aumentó considerablemente la velocidad de la mayoría de las operaciones numéricas de álgebra lineal).

En aquel momento, el equipo de desarrollo incluía a Jeff Golden (lenguaje, compilador, etc.), Bill Gosper (funciones especiales, sumatoria), Howard Cannon (interfaz de usuario, optimización) y varios consultores. Bill Dubuque trabajó en la integración, la resolución de ecuaciones, la base de datos y la optimización. Christopher Stacy y David H. Wood añadieron el lenguaje y la funcionalidad matricial de MATLAB . Otros desarrolladores realizaron importantes contribuciones en análisis numérico, gráficos y sistemas de ayuda.

La empresa no podía seguir superando indefinidamente a equipos entre cuatro y ocho veces más grandes y revertir la dinámica del mercado. La cuota de mercado no superó el 2%, ya que los competidores estaban bien posicionados en todas las cuentas clave, la transición a un nuevo producto requería un gran tiempo de aprendizaje y el crecimiento del mercado disminuyó. Además, a partir de 1992 o 1993, Mathsoft implementó una estrategia de inversión de 10 millones de dólares en correo directo a precios muy bajos, lo que le permitió captar gran parte del crecimiento restante en el mercado de matemáticas simbólicas, justo cuando Macsyma Inc. luchaba por reconstruir su producto de clase mundial.

En 1999, Macsyma fue adquirida por Tenedos LLC , una sociedad holding que previamente había comprado Symbolics. La sociedad holding no ha vuelto a lanzar ni a vender Macsyma, pero Symbolics continúa distribuyéndolo para versiones de Microsoft Windows hasta Windows XP . ^{[ 14 ]}