Cómputo algebraico: 20 años después

calculostesis

Cuando comencé a usar Mathematica, me pareció muy excitante y pensé que en pocos años se adoptaría ampliamente en las aulas y en la investigación; sin embargo, el avance era muy lento al grado que me parecía exasperante, aunque ya eran de amplio uso las pc’s y el internet. Aparecieron muchos libros, pero solamente realizaban cálculos sencillos donde se reproducían cálculos que aparecen en los libros de texto estándar, lejos de explotar su potencial real.  Hubo abundante trabajo en cálculos usando paquetes como Feyncalc que llevó a la publicación de muchos artículos en altas energías, aunque en realidad muchos no programaban: sólo metían una expresión muy complicada de calcular y simplificar y esperaban a ver si en algún momento la máquina terminaba.

Creo que esta situación indudablemente tiene que ver con la disponibilidad del software, la dificultad de hacer programas algebraicos (cuyos algoritmos y paradigmas de programación son muy diferentes a los numéricos) cuando las fuentes de información son casi inexistentes; además de que existía la queja recurrente era que no era fácil de usar, amén de la inercia de la academia que manifiesta incluso una oposición al uso de estos sistemas.

Estuve largo tiempo realizando una tesis de maestría donde usaba cálculos con álgebras de Grassmann en cosmología cuántica; para mi sorpresa, no había libros que me sirvieran de guía para hacerlo ¡ése era mi trabajo! Este trabajo nunca se publicó, pero pienso que sigue valiendo la pena, así que al final del post incluyo una liga para descargarla. En algún momento abandoné el paquete que estaba desarrollando porque implica “casarse” con él y seguir desarrollándolo durante años, ponerle una página, corregir bugs, extenderlo, recibir comentarios de los usuarios, etc. Por otro lado, mis intereses cambiaron hacia los sistemas complejos, ya que, precisamente pensé que el papel de la computación en la ciencia iba a ser mucho más vasto.

Primero tuvieron que desarrollarse una serie de tecnologías: fonts, una forma de representar las expresiones matemáticas basado en “cajas” y un esquema para manipular sistemas de coordenadas que apenas constituye una base seria y real para manipular tensores en general. Con los años, mejor aparecieron los teléfonos inteligentes y la tabletas que ampliaron el alcance de este tipo de cálculos a nuevas audiencias; así como el procesamiento de lenguaje natural (NLP), a través de aplicaciones basadas en Wolfram|Alpha. Sigue pendiente el álgebra no-conmutativa.

Aquí, el trabajo que realicé hace años, y un curso de álgebra computacional moderna, por Victor Adamchik (Carnegie Mellon).