source: project/release/5/slib-prec/trunk/output-grammars.scm @ 38553

;; JACAL: Symbolic Mathematics System.        -*-scheme-*-
;; Copyright (C) 1989, 1990, 1991, 1992, 1993, 1995, 1997, 2007, 2009, 2010 Aubrey Jaffer.
;;
;; This program is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by
;; the Free Software Foundation, either version 3 of the License, or (at
;; your option) any later version.
;;
;; This program is distributed in the hope that it will be useful, but
;; WITHOUT ANY WARRANTY; without even the implied warranty of
;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
;; General Public License for more details.
;;
;; You should have received a copy of the GNU General Public License
;; along with this program; if not, write to the Free Software
;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

;;;; Here are the templates for 2 dimensional output

(define tps:2d
  '(
    (template:default 140 #d0140 "(" #d1010 #(rest ", " #d2010) ")")
    (template:bunch 140 "[" #d0010 #(rest ", " break #d1010) "]")
    (template:matrix 140 (#\[) (#\ ) #d0010 #(rest "  " #d1010) (#\ ) (#\]))
    (template:parenthesis 200 "(" #d1010 ")")
    (- 100 #d1100 " - " break #d2101 #(rest " - " break #d3101))
    (negate 100 "- " #d1100)
    (+ 100 #d1100 #(rest " + " break #d2101))
    (* 120 #d1120 #(rest " " #d2121))
    (/ 120 #d1120 "/" #d2121)
    (over 120 ((-1 #d1040)
               (0 #\-)
               (1 #d2040)))
    (^ 140 #d1141 ((-1 #d2100)))
    (= 80 #d1080 " = " break #d2080 #(rest " = " break #d3080))
    (differential 170 #d1170 "'")
    (partial 130 " " ((-1 "%")
                      (0 #\-)
                      (1 "%" #d2140)) " " #d1140)
    (suchthat 40 "{" #d1190 " | " #d2040 "}")
    (define 200 #d1120 ": " ((0 #d2010)))
    (rapply 200 #d1200 ((1 #d2030 #(rest "," #d3010))))
    (abs 200 (#\|) #d1010 (#\|))
    (box 200 ((-1 #\")
              (0 (#\") #d1010 (#\"))
              (1 #\")))
    (factorial 160 #d1160 "!")
    (integrate 120 ((-3 #(optional #d4090))
                    (-2 "/ ")
                    (-1 "! ")
                    (0 "! ")
                    (1 "! ")
                    (2 "/ ")
                    (3 #(optional #d3090)))
               #d1090 "d" #d2120)
    (limit 90 ((0 "limit ")
               (1 #d2090 "->" #d3090))
           #d1090)
    (sum 90 ((-3 #(optional #d4090))
             (-2 "====")
             (-1 "\\   ")
             (0 " >  ")
             (1 "/   ")
             (2 "====")
             (3 #(optional #d2090 #(optional" = " #d3090))))
         #d1090)
    (prod 90 ((-3 " " #(optional #d4090))
              (-2 "/===/")
              (-1 " ! ! ")
              (0  " ! ! ")
              (1  " ! ! ")
              (2 #(optional #d2090 #(optional" = " #d3090))))
          #d1090)
    (at 90 #d1090
        ((-2 "!")
         (-1 "!")
         (0 "!")
         (1 "!")
         (2 "!"))
        ((2 #d2010 #(rest ", " #d3010))))
    (help 100 "help;")
    (qed 100 "qed;")
    (% 200 "%")
    (ncmult 110 #d1109 " . " #d2109)
    (^^ 210 #d1211 "^^" #d2210)
    ))

(define tps:c
  '(
    (template:default 140 #d0140 "(" #d1010 #(rest ", " #d2010) ")")
    (template:bunch 140 "{" #d0010 #(rest ", " #d1010) "}")
    (template:parenthesis 200 "(" #d1010 ")")
    (= 80 #d1080 " == " break #d2080 #(rest "==" break #d3080))
    (- 100 #d1100 " - " break #d2101 #(rest " - " break #d3101))
    (+ 100 #d1100 #(rest " + " break #d2101))
    (* 120 #d1120 #(rest " * " #d2121))
    (negate 90 "- " #d1090)
    (/ 120 #d1120 "/" #d2121)
    (over 120 #d1120 "/" #d2121)
    (^ 140 "pow(" #d1141 ", " #d2100 ")")
    (rapply 200 #d1200 "[" #d2030 #(rest "," #d3010) "]")
    (box 200 ((-1 #\")
              (0 (#\") #d1010 (#\"))
              (1 #\")))
    (define 200 #d1120 " = " #d2010)
    (set 20 "set " #d1120 " " #d2010)
    (show 20 "show " #d1120)
    ))

(define tps:std
  '(
    (template:default 140 #d0140 "(" #d1010 #(rest ", " #d2010) ")")
    (template:bunch 140 "[" #d0010 #(rest ", " break #d1010) "]")
    (template:parenthesis 200 "(" #d1010 ")")
    (= 80 #d1080 " = " break #d2080 #(rest " = " break #d3080))
    (- 100 #d1100 " - " break #d2101 #(rest " - " break #d3101))
    (+ 100 #d1100 #(rest " + " break #d2101))
    (* 120 #d1120 #(rest " * " #d2121))
    (negate 90 "- " #d1090)
    (/ 120 #d1120 "/" #d2121)
    (over 120 #d1120 "/" #d2121)
    (^ 140 #d1141 "^" #d2140)
    (differential 170 #d1170 "'")
    (suchthat 40 "{" #d1190 " | " #d2040 "}")
    (rapply 200 #d1200 "[" #d2030 #(rest "," #d3010) "]")
    (box 200 ((-1 #\")
              (0 (#\") #d1010 (#\"))
              (1 #\")))
    (define 200 #d1120 ": " #d2010)
    (set 20 "set " #d1120 " " #d2010)
    (show 20 "show " #d1120)
    (factorial 160 #d1160 "!")
    (help 100 "help;")
    (qed 100 "qed;")
    (% 200 "%")
    (ncmult 110 #d1109 " . " #d2109)
    (^^ 210 #d1211 "^^" #d2210)
    ))
(define tps:tex
  '(
    (template:top 0 "$" #d1000 "$")
    (template:default 140 #d0140 "\\left(" #d1010
                      #(rest ", " #d2010) "\\right)")
    (template:bunch 140 "\\left[" #d0010 #(rest ", " break #d1010) "\\right]")
;;;    (template:matrix 140 "\\left({\matrix{" #d0010 #(rest "&" #d1010)
;;;                  (#\\)(#\c)(#\r) "}}\\right)")
    (template:parenthesis 200 "\\left(" #d1010 "\\right)")
    (= 80 #d1080 " = " break #d2080 #(rest " = " break #d3080))
    (- 100 #d1100 " - " break #d2101 #(rest " - " break #d3101))
    (+ 100 #d1100 #(rest " + " break #d2101))
    (* 120 #d1120 #(rest "\\," #d2121))
    (negate 90 "- " #d1100)
    (/ 120 #d1120 "/{" break #d2121 "}")
    (over 120 "{" #d1040 "}\\over{" break #d2041 "}")
    (^ 140 #d1141 "^{" #d2100 "}")
    (differential 170 "{" #d1170 "}'")
    (suchthat 40 "\\left\\{ " #d1190 " | " break #d2040 "\\right\\}")
    (rapply 200 #d1200 "\\left[" #d2030 #(rest "," break #d3010) "\\right]")
    (abs 200 "\\left|" #d1010 "\\right|")
;;;    (box 200 ((-1 #\")
;;;           (0 (#\") #d1010 (#\"))
;;;           (1 #\")))
    (define 200 #d1120 ": " #d2010)
    (set 20 "set " #d1120 " " #d2010)
    (show 20 "show " #d1120)
    (factorial 160 #d1160 "!")
    (help 100 "help;")
    (qed 100 "qed;")
    (% 200 "%")
    ))