Mathematica e GAP: esiste un'interfaccia?

Question

Sebbene il componente aggiuntivo Algebra astratta sia un bel pacchetto per Mathematica, non c'è niente che batte GAP, almeno non per la teoria di gruppo. Quando ho guardato Sage alcuni anni fa, ho scoperto che diceva di avere un'interfaccia con Mma, ma quando l'ho guardato più da vicino si è rivelato un po 'primitivo (ma operativo). So che il lavoro è stato fatto all'Università Tecnica di Eindhoven (OpenMath) su una piattaforma per integrare/interfacciare i principali strumenti matematici, ho persino iniziato a lavorarci su. Ma quel lavoro si è perso. Ora alla mia domanda:

C'è, qualcuno ha e sei disposto a condividere un'interfaccia tra GAP e Mathematica?

Answer 1

Una delle opzioni è utilizzare Sage come intermedio. Sage può interfacciare entrambi con Mathematica e GAP.
Credo che le interfacce Sage con entrambi i programmi per:
a) in esecuzione le loro interfacce console in background utilizzando pexpect
b) sapere come tradurre la maggior parte del GAP e la sintassi Mathematica nella sua sintassi nativa.

Nota che ho fatto questo un paio di volte prima e funziona bene - ma significa che non si arriva a utilizzare l'interfaccia notebook di Mathematica ....

uno strumento davvero utile sarebbe quello di agganciare Mathematica fino a expect (o pexpect) in modo che le interfacce simili ai programmi di console possano essere scritte per Mathematica. Questo è fondamentalmente ciò che suggerisce la seconda citazione nella risposta di Sjoerd.

Answer 2

La GAP FAQ sembra essere piuttosto pessimista su questo:

8,1: Posso chiamare funzioni GAP da un altro programma?

La risposta breve è. Per spiegare un po 'più pienamente, in sostanza, la funzionalità algebrica del sistema GAP è scritta nel linguaggio GAP nella lingua GAP e pertanto è necessario eseguire l'interprete GAP. L'interprete è scritto in C, ma non coesiste felicemente con altro codice nello stesso processo, per motivi diversi, quindi non esiste un modo ragionevole per collegare GAP in un C, Java o altro programma come libreria di subroutine.

c'è qualche speranza, però:

cosa si può fare è quello di eseguire GAP in un processo figlio e comunicare con utilizzando tubi, pseudo-ttys, FIFO UNIX o qualche simile dispositivo. Noi abbiamo fatto questo con successo in un certo numero di progetti, e tu puoi contattare l'elenco di supporto per un consiglio più dettagliato se vuoi andare su questo percorso .

Aggiornamento

La FAQ ora legge anche:

tempi relativamente recenti, alcuni dei SAGE sviluppatori hanno prodotto libGAP, che consente l'intero sistema GAP per essere incorporato come libreria C . Tuttavia, non è ancora possibile incorporare singole funzioni da soli e la prima chiamata a libGAP deve comunque richiamare la sequenza di avvio GAP completa.

In alternativa, esistono diversi modi per eseguire GAP come processo server e chiamarlo da C dei programmi C++. Vedi il pacchetto SCSCP per il lato GAP. Esistono diverse librerie C e C++ che implementano il lato client.