mailing-list for TeXmacs Users

[Dan Synek <address@hidden>]

Hello,

This is my first letter to the mail group. My name is Dan Synek, I work 
and live in Nijmegen, Netherlands,
and work in a group where we develop formalized mathematics (that is 
mathematical staments and proofs that are so formal that they can be 
checked by a computer program),
I am trying to interface the coq proof assistant to texmacs.

I have a question on interfacing texmacs to a cas (in my case its 
actually a proof assistant, but that is not so important here).

The examples that are given in the texmacs documentation are all about 
the user entering text after a prompt and
having it sent to a computer algebra system.
However, one often want commands sent directly from a menu or other 
command and have the actual communication in a special window.
Browsing around in source code I found something like that in the giac.scm.
In the file a function giac-insert is defined, which maybe does what I 
want, but I do not understand the code.
Could someone please enlighten me, or propose another solution.

I am also interested how this relates to a session, so that
something like giac-insert can be defined that takes  a particular 
session as an argument It could then be used
in a situation where there is more than one ongoing session..
Thanks
Dan


Here is the beginning of that file :


(define (giac-cursor-pos l)
 (cond ((null? l) 0)
   ((null? (cdr l)) 1)
   ((and (equal? (car l) #\() (equal? (cadr l) #\))) 1)
   ((and (equal? (car l) #\() (equal? (cadr l) #\,)) 1)
   ((and (equal? (car l) #\,) (equal? (cadr l) #\))) 1)
   ((and (equal? (car l) #\,) (equal? (cadr l) #\,)) 1)
   (else (+ (giac-cursor-pos (cdr l)) 1))))

(define (giac-insert s)
 (insert-tree-go-to (object->tree s)
            (list (giac-cursor-pos (string->list s)))))

;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Giac menu
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

(define giac-functions-menu
 '(("normal" (giac-insert "normal()"))
   ("factor" (giac-insert "factor()"))
   ("simplify" (giac-insert "simplify()"))
   ("partfrac" (giac-insert "partfrac()"))
   ---