aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat
-rwxr-xr-xconfigure18
-rw-r--r--configure.ac2
-rw-r--r--configure.ac.pamphlet2
-rw-r--r--src/ChangeLog5
-rw-r--r--src/algebra/outform.spad.pamphlet339
-rw-r--r--src/algebra/strap/OUTFORM.lsp965
6 files changed, 679 insertions, 652 deletions
diff --git a/configure b/configure
index dcd55d46..e02f12f7 100755
--- a/configure
+++ b/configure
@@ -1,6 +1,6 @@
#! /bin/sh
# Guess values for system-dependent variables and create Makefiles.
-# Generated by GNU Autoconf 2.60 for OpenAxiom 1.3.0-2008-09-24.
+# Generated by GNU Autoconf 2.60 for OpenAxiom 1.3.0-2008-09-27.
#
# Report bugs to <open-axiom-bugs@lists.sf.net>.
#
@@ -713,8 +713,8 @@ SHELL=${CONFIG_SHELL-/bin/sh}
# Identity of this package.
PACKAGE_NAME='OpenAxiom'
PACKAGE_TARNAME='openaxiom'
-PACKAGE_VERSION='1.3.0-2008-09-24'
-PACKAGE_STRING='OpenAxiom 1.3.0-2008-09-24'
+PACKAGE_VERSION='1.3.0-2008-09-27'
+PACKAGE_STRING='OpenAxiom 1.3.0-2008-09-27'
PACKAGE_BUGREPORT='open-axiom-bugs@lists.sf.net'
ac_unique_file="src/Makefile.pamphlet"
@@ -1404,7 +1404,7 @@ if test "$ac_init_help" = "long"; then
# Omit some internal or obsolete options to make the list less imposing.
# This message is too long to be a string in the A/UX 3.1 sh.
cat <<_ACEOF
-\`configure' configures OpenAxiom 1.3.0-2008-09-24 to adapt to many kinds of systems.
+\`configure' configures OpenAxiom 1.3.0-2008-09-27 to adapt to many kinds of systems.
Usage: $0 [OPTION]... [VAR=VALUE]...
@@ -1474,7 +1474,7 @@ fi
if test -n "$ac_init_help"; then
case $ac_init_help in
- short | recursive ) echo "Configuration of OpenAxiom 1.3.0-2008-09-24:";;
+ short | recursive ) echo "Configuration of OpenAxiom 1.3.0-2008-09-27:";;
esac
cat <<\_ACEOF
@@ -1578,7 +1578,7 @@ fi
test -n "$ac_init_help" && exit $ac_status
if $ac_init_version; then
cat <<\_ACEOF
-OpenAxiom configure 1.3.0-2008-09-24
+OpenAxiom configure 1.3.0-2008-09-27
generated by GNU Autoconf 2.60
Copyright (C) 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001,
@@ -1592,7 +1592,7 @@ cat >config.log <<_ACEOF
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
-It was created by OpenAxiom $as_me 1.3.0-2008-09-24, which was
+It was created by OpenAxiom $as_me 1.3.0-2008-09-27, which was
generated by GNU Autoconf 2.60. Invocation command line was
$ $0 $@
@@ -26097,7 +26097,7 @@ exec 6>&1
# report actual input values of CONFIG_FILES etc. instead of their
# values after options handling.
ac_log="
-This file was extended by OpenAxiom $as_me 1.3.0-2008-09-24, which was
+This file was extended by OpenAxiom $as_me 1.3.0-2008-09-27, which was
generated by GNU Autoconf 2.60. Invocation command line was
CONFIG_FILES = $CONFIG_FILES
@@ -26146,7 +26146,7 @@ Report bugs to <bug-autoconf@gnu.org>."
_ACEOF
cat >>$CONFIG_STATUS <<_ACEOF
ac_cs_version="\\
-OpenAxiom config.status 1.3.0-2008-09-24
+OpenAxiom config.status 1.3.0-2008-09-27
configured by $0, generated by GNU Autoconf 2.60,
with options \\"`echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`\\"
diff --git a/configure.ac b/configure.ac
index 4dd38c44..142d019f 100644
--- a/configure.ac
+++ b/configure.ac
@@ -1,6 +1,6 @@
sinclude(config/open-axiom.m4)
sinclude(config/aclocal.m4)
-AC_INIT([OpenAxiom], [1.3.0-2008-09-24],
+AC_INIT([OpenAxiom], [1.3.0-2008-09-27],
[open-axiom-bugs@lists.sf.net])
AC_CONFIG_AUX_DIR(config)
diff --git a/configure.ac.pamphlet b/configure.ac.pamphlet
index 50464557..df0d1c10 100644
--- a/configure.ac.pamphlet
+++ b/configure.ac.pamphlet
@@ -1126,7 +1126,7 @@ information:
<<Autoconf init>>=
sinclude(config/open-axiom.m4)
sinclude(config/aclocal.m4)
-AC_INIT([OpenAxiom], [1.3.0-2008-09-24],
+AC_INIT([OpenAxiom], [1.3.0-2008-09-27],
[open-axiom-bugs@lists.sf.net])
@
diff --git a/src/ChangeLog b/src/ChangeLog
index 60e28147..219a8698 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2008-09-27 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * algebra/outform.spad.pamphlet (OutputForm): Remove bogus
+ definition for Rep. Tidy.
+
2008-09-26 Gabriel Dos Reis <gdr@cs.tamu.edu>
* algebra/matrix.spad.pamphlet (new$Matrix): New.
diff --git a/src/algebra/outform.spad.pamphlet b/src/algebra/outform.spad.pamphlet
index 00ca7d81..1c340f3e 100644
--- a/src/algebra/outform.spad.pamphlet
+++ b/src/algebra/outform.spad.pamphlet
@@ -225,250 +225,250 @@ import List
OutputForm(): SetCategory with
--% Printing
- print : $ -> Void
+ print : % -> Void
++ print(u) prints the form u.
- message: String -> $
+ message: String -> %
++ message(s) creates an form with no string quotes
++ from string s.
messagePrint: String -> Void
++ messagePrint(s) prints s without string quotes. Note:
++ \spad{messagePrint(s)} is equivalent to \spad{print message(s)}.
--% Creation of atomic forms
- outputForm: Integer -> $
+ outputForm: Integer -> %
++ outputForm(n) creates an form for integer n.
- outputForm: Symbol -> $
+ outputForm: Symbol -> %
++ outputForm(s) creates an form for symbol s.
- outputForm: String -> $
+ outputForm: String -> %
++ outputForm(s) creates an form for string s.
- outputForm: DoubleFloat -> $
+ outputForm: DoubleFloat -> %
++ outputForm(sf) creates an form for small float sf.
- empty : () -> $
+ empty : () -> %
++ empty() creates an empty form.
--% Sizings
- width: $ -> Integer
+ width: % -> Integer
++ width(f) returns the width of form f (an integer).
- height: $ -> Integer
+ height: % -> Integer
++ height(f) returns the height of form f (an integer).
width: -> Integer
++ width() returns the width of the display area (an integer).
height: -> Integer
++ height() returns the height of the display area (an integer).
- subHeight: $ -> Integer
+ subHeight: % -> Integer
++ subHeight(f) returns the height of form f below the base line.
- superHeight: $ -> Integer
+ superHeight: % -> Integer
++ superHeight(f) returns the height of form f above the base line.
--% Space manipulations
- hspace: Integer -> $ ++ hspace(n) creates white space of width n.
- vspace: Integer -> $ ++ vspace(n) creates white space of height n.
- rspace: (Integer,Integer) -> $
+ hspace: Integer -> % ++ hspace(n) creates white space of width n.
+ vspace: Integer -> % ++ vspace(n) creates white space of height n.
+ rspace: (Integer,Integer) -> %
++ rspace(n,m) creates rectangular white space, n wide by m high.
--% Area adjustments
- left: ($,Integer) -> $
+ left: (%,Integer) -> %
++ left(f,n) left-justifies form f within space of width n.
- right: ($,Integer) -> $
+ right: (%,Integer) -> %
++ right(f,n) right-justifies form f within space of width n.
- center: ($,Integer) -> $
+ center: (%,Integer) -> %
++ center(f,n) centers form f within space of width n.
- left: $ -> $
+ left: % -> %
++ left(f) left-justifies form f in total space.
- right: $ -> $
+ right: % -> %
++ right(f) right-justifies form f in total space.
- center: $ -> $
+ center: % -> %
++ center(f) centers form f in total space.
--% Area manipulations
- hconcat: ($,$) -> $
+ hconcat: (%,%) -> %
++ hconcat(f,g) horizontally concatenate forms f and g.
- vconcat: ($,$) -> $
+ vconcat: (%,%) -> %
++ vconcat(f,g) vertically concatenates forms f and g.
- hconcat: List $ -> $
+ hconcat: List % -> %
++ hconcat(u) horizontally concatenates all forms in list u.
- vconcat: List $ -> $
+ vconcat: List % -> %
++ vconcat(u) vertically concatenates all forms in list u.
--% Application formers
- prefix: ($, List $) -> $
+ prefix: (%, List %) -> %
++ prefix(f,l) creates a form depicting the n-ary prefix
++ application of f to a tuple of arguments given by list l.
- infix: ($, List $) -> $
+ infix: (%, List %) -> %
++ infix(f,l) creates a form depicting the n-ary application
++ of infix operation f to a tuple of arguments l.
- infix: ($, $, $) -> $
+ infix: (%, %, %) -> %
++ infix(op, a, b) creates a form which prints as: a op b.
- postfix: ($, $) -> $
+ postfix: (%, %) -> %
++ postfix(op, a) creates a form which prints as: a op.
- infix?: $ -> Boolean
+ infix?: % -> Boolean
++ infix?(op) returns true if op is an infix operator,
++ and false otherwise.
- elt: ($, List $) -> $
+ elt: (%, List %) -> %
++ elt(op,l) creates a form for application of op
++ to list of arguments l.
--% Special forms
- string: $ -> $
+ string: % -> %
++ string(f) creates f with string quotes.
- label: ($, $) -> $
+ label: (%, %) -> %
++ label(n,f) gives form f an equation label n.
- box: $ -> $
+ box: % -> %
++ box(f) encloses f in a box.
- matrix: List List $ -> $
+ matrix: List List % -> %
++ matrix(llf) makes llf (a list of lists of forms) into
++ a form which displays as a matrix.
- zag: ($, $) -> $
+ zag: (%, %) -> %
++ zag(f,g) creates a form for the continued fraction form for f over g.
- root: $ -> $
+ root: % -> %
++ root(f) creates a form for the square root of form f.
- root: ($, $) -> $
+ root: (%, %) -> %
++ root(f,n) creates a form for the nth root of form f.
- over: ($, $) -> $
+ over: (%, %) -> %
++ over(f,g) creates a form for the vertical fraction of f over g.
- slash: ($, $) -> $
+ slash: (%, %) -> %
++ slash(f,g) creates a form for the horizontal fraction of f over g.
- assign: ($, $) -> $
+ assign: (%, %) -> %
++ assign(f,g) creates a form for the assignment \spad{f := g}.
- rarrow: ($, $) -> $
+ rarrow: (%, %) -> %
++ rarrow(f,g) creates a form for the mapping \spad{f -> g}.
- differentiate: ($, NonNegativeInteger) -> $
+ differentiate: (%, NonNegativeInteger) -> %
++ differentiate(f,n) creates a form for the nth derivative of f,
++ e.g. \spad{f'}, \spad{f''}, \spad{f'''},
++ "f super \spad{iv}".
- binomial: ($, $) -> $
+ binomial: (%, %) -> %
++ binomial(n,m) creates a form for the binomial coefficient of n and m.
--% Scripts
- sub: ($, $) -> $
+ sub: (%, %) -> %
++ sub(f,n) creates a form for f subscripted by n.
- super: ($, $) -> $
+ super: (%, %) -> %
++ super(f,n) creates a form for f superscripted by n.
- presub: ($, $) -> $
+ presub: (%, %) -> %
++ presub(f,n) creates a form for f presubscripted by n.
- presuper:($, $) -> $
+ presuper:(%, %) -> %
++ presuper(f,n) creates a form for f presuperscripted by n.
- scripts: ($, List $) -> $
+ scripts: (%, List %) -> %
++ \spad{scripts(f, [sub, super, presuper, presub])}
++ creates a form for f with scripts on all 4 corners.
- supersub:($, List $) -> $
+ supersub:(%, List %) -> %
++ supersub(a,[sub1,super1,sub2,super2,...])
++ creates a form with each subscript aligned
++ under each superscript.
--% Diacritical marks
- quote: $ -> $
+ quote: % -> %
++ quote(f) creates the form f with a prefix quote.
- dot: $ -> $
+ dot: % -> %
++ dot(f) creates the form with a one dot overhead.
- dot: ($, NonNegativeInteger) -> $
+ dot: (%, NonNegativeInteger) -> %
++ dot(f,n) creates the form f with n dots overhead.
- prime: $ -> $
+ prime: % -> %
++ prime(f) creates the form f followed by a suffix prime (single quote).
- prime: ($, NonNegativeInteger) -> $
+ prime: (%, NonNegativeInteger) -> %
++ prime(f,n) creates the form f followed by n primes.
- overbar: $ -> $
+ overbar: % -> %
++ overbar(f) creates the form f with an overbar.
- overlabel: ($, $) -> $
+ overlabel: (%, %) -> %
++ overlabel(x,f) creates the form f with "x overbar" over the top.
--% Plexes
- sum: ($) -> $
+ sum: (%) -> %
++ sum(expr) creates the form prefixing expr by a capital sigma.
- sum: ($, $) -> $
+ sum: (%, %) -> %
++ sum(expr,lowerlimit) creates the form prefixing expr by
++ a capital sigma with a lowerlimit.
- sum: ($, $, $) -> $
+ sum: (%, %, %) -> %
++ sum(expr,lowerlimit,upperlimit) creates the form prefixing expr by
++ a capital sigma with both a lowerlimit and upperlimit.
- prod: ($) -> $
+ prod: (%) -> %
++ prod(expr) creates the form prefixing expr by a capital pi.
- prod: ($, $) -> $
+ prod: (%, %) -> %
++ prod(expr,lowerlimit) creates the form prefixing expr by
++ a capital pi with a lowerlimit.
- prod: ($, $, $) -> $
+ prod: (%, %, %) -> %
++ prod(expr,lowerlimit,upperlimit) creates the form prefixing expr by
++ a capital pi with both a lowerlimit and upperlimit.
- int: ($) -> $
+ int: (%) -> %
++ int(expr) creates the form prefixing expr with an integral sign.
- int: ($, $) -> $
+ int: (%, %) -> %
++ int(expr,lowerlimit) creates the form prefixing expr by an
++ integral sign with a lowerlimit.
- int: ($, $, $) -> $
+ int: (%, %, %) -> %
++ int(expr,lowerlimit,upperlimit) creates the form prefixing expr by
++ an integral sign with both a lowerlimit and upperlimit.
--% Matchfix forms
- brace: $ -> $
+ brace: % -> %
++ brace(f) creates the form enclosing f in braces (curly brackets).
- brace: List $ -> $
+ brace: List % -> %
++ brace(lf) creates the form separating the elements of lf
++ by commas and encloses the result in curly brackets.
- bracket: $ -> $
+ bracket: % -> %
++ bracket(f) creates the form enclosing f in square brackets.
- bracket: List $ -> $
+ bracket: List % -> %
++ bracket(lf) creates the form separating the elements of lf
++ by commas and encloses the result in square brackets.
- paren: $ -> $
+ paren: % -> %
++ paren(f) creates the form enclosing f in parentheses.
- paren: List $ -> $
+ paren: List % -> %
++ paren(lf) creates the form separating the elements of lf
++ by commas and encloses the result in parentheses.
--% Separators for aggregates
- pile: List $ -> $
+ pile: List % -> %
++ pile(l) creates the form consisting of the elements of l which
++ displays as a pile, i.e. the elements begin on a new line and
++ are indented right to the same margin.
- commaSeparate: List $ -> $
+ commaSeparate: List % -> %
++ commaSeparate(l) creates the form separating the elements of l
++ by commas.
- semicolonSeparate: List $ -> $
+ semicolonSeparate: List % -> %
++ semicolonSeparate(l) creates the form separating the elements of l
++ by semicolons.
- blankSeparate: List $ -> $
+ blankSeparate: List % -> %
++ blankSeparate(l) creates the form separating the elements of l
++ by blanks.
--% Specific applications
- "=": ($, $) -> $
+ "=": (%, %) -> %
++ f = g creates the equivalent infix form.
- "~=": ($, $) -> $
+ "~=": (%, %) -> %
++ f ~= g creates the equivalent infix form.
- "<": ($, $) -> $
+ "<": (%, %) -> %
++ f < g creates the equivalent infix form.
- ">": ($, $) -> $
+ ">": (%, %) -> %
++ f > g creates the equivalent infix form.
- "<=": ($, $) -> $
+ "<=": (%, %) -> %
++ f <= g creates the equivalent infix form.
- ">=": ($, $) -> $
+ ">=": (%, %) -> %
++ f >= g creates the equivalent infix form.
- "+": ($, $) -> $
+ "+": (%, %) -> %
++ f + g creates the equivalent infix form.
- "-": ($, $) -> $
+ "-": (%, %) -> %
++ f - g creates the equivalent infix form.
- "-": ($) -> $
+ "-": (%) -> %
++ - f creates the equivalent prefix form.
- "*": ($, $) -> $
+ "*": (%, %) -> %
++ f * g creates the equivalent infix form.
- "/": ($, $) -> $
+ "/": (%, %) -> %
++ f / g creates the equivalent infix form.
- "**": ($, $) -> $
+ "**": (%, %) -> %
++ f ** g creates the equivalent infix form.
- "div": ($, $) -> $
+ "div": (%, %) -> %
++ f div g creates the equivalent infix form.
- "rem": ($, $) -> $
+ "rem": (%, %) -> %
++ f rem g creates the equivalent infix form.
- "quo": ($, $) -> $
+ "quo": (%, %) -> %
++ f quo g creates the equivalent infix form.
- "exquo": ($, $) -> $
+ "exquo": (%, %) -> %
++ exquo(f,g) creates the equivalent infix form.
- "and": ($, $) -> $
+ "and": (%, %) -> %
++ f and g creates the equivalent infix form.
- "or": ($, $) -> $
+ "or": (%, %) -> %
++ f or g creates the equivalent infix form.
- "not": ($) -> $
+ "not": (%) -> %
++ not f creates the equivalent prefix form.
- SEGMENT: ($,$) -> $
+ SEGMENT: (%,%) -> %
++ SEGMENT(x,y) creates the infix form: \spad{x..y}.
- SEGMENT: ($) -> $
+ SEGMENT: (%) -> %
++ SEGMENT(x) creates the prefix form: \spad{x..}.
== add
@@ -486,31 +486,28 @@ OutputForm(): SetCategory with
car ==> CAR$Lisp
cdr ==> CDR$Lisp
- Rep := List $
-
- a, b: $
- l: List $
+ a, b: %
+ l: List %
s: String
e: Symbol
n: Integer
nn:NonNegativeInteger
- sform: String -> $
- eform: Symbol -> $
- iform: Integer -> $
+ sform(s: String): % == s pretend %
+ eform(e: Symbol): % == e pretend %
+ iform(i: Integer): % == i pretend %
+
+ bless(x: List %): % == x pretend %
print x == mathprint(x)$Lisp
- message s == (empty? s => empty(); s pretend $)
+ message s == (empty? s => empty(); s pretend %)
messagePrint s == print message s
- (a:$ = b:$):Boolean == EQUAL(a, b)$Lisp
- (a:$ = b:$):$ == [sform "=", a, b]
+ (a:% = b:%): Boolean == EQUAL(a, b)$Lisp
+ (a:% = b:%):% == bless [sform "=", a, b]
coerce(a):OutputForm == a pretend OutputForm
- outputForm n == n pretend $
- outputForm e == e pretend $
- outputForm(f:DoubleFloat) == f pretend $
- sform s == s pretend $
- eform e == e pretend $
- iform n == n pretend $
+ outputForm n == n pretend %
+ outputForm e == e pretend %
+ outputForm(f:DoubleFloat) == f pretend %
outputForm s ==
sform concat(quote()$Character, concat(s, quote()$Character))
@@ -542,7 +539,7 @@ OutputForm(): SetCategory with
vconcat(hspace n, rspace(n, m - 1))
matrix ll ==
- lv:$ := [LIST2VEC$Lisp l for l in ll]
+ lv := bless [LIST2VEC$Lisp l for l in ll]
CONS(eform MATRIX, LIST2VEC$Lisp lv)$Lisp
pile l == cons(eform SC, l)
@@ -550,24 +547,24 @@ OutputForm(): SetCategory with
semicolonSeparate l == cons(eform AGGSET, l)
blankSeparate l ==
c:=eform CONCATB
- l1:$:=[]
+ l1: List % :=[]
for u in reverse l repeat
if EQCAR(u,c)$Lisp
then l1:=[:cdr u,:l1]
else l1:=[u,:l1]
cons(c, l1)
- brace a == [eform BRACE, a]
+ brace a == bless [eform BRACE, a]
brace l == brace commaSeparate l
- bracket a == [eform BRACKET, a]
+ bracket a == bless [eform BRACKET, a]
bracket l == bracket commaSeparate l
- paren a == [eform PAREN, a]
+ paren a == bless [eform PAREN, a]
paren l == paren commaSeparate l
- sub (a,b) == [eform SUB, a, b]
- super (a, b) == [eform SUPERSUB,a,sform " ",b]
- presub(a,b) == [eform SUPERSUB,a,sform " ",sform " ",sform " ",b]
- presuper(a, b) == [eform SUPERSUB,a,sform " ",sform " ",b]
+ sub (a,b) == bless [eform SUB, a, b]
+ super (a, b) == bless [eform SUPERSUB,a,sform " ",b]
+ presub(a,b) == bless [eform SUPERSUB,a,sform " ",sform " ",sform " ",b]
+ presuper(a, b) == bless [eform SUPERSUB,a,sform " ",sform " ",b]
scripts (a, l) ==
null l => a
null rest l => sub(a, first l)
@@ -576,35 +573,35 @@ OutputForm(): SetCategory with
if odd?(#l) then l := append(l, [empty()])
cons(eform ALTSUPERSUB, cons(a, l))
- hconcat(a,b) == [eform CONCAT, a, b]
+ hconcat(a,b) == bless [eform CONCAT, a, b]
hconcat l == cons(eform CONCAT, l)
- vconcat(a,b) == [eform VCONCAT, a, b]
+ vconcat(a,b) == bless [eform VCONCAT, a, b]
vconcat l == cons(eform VCONCAT, l)
- (a:% ~= b:%): % == [sform "~=", a, b]
- a < b == [sform "<", a, b]
- a > b == [sform ">", a, b]
- a <= b == [sform "<=", a, b]
- a >= b == [sform ">=", a, b]
-
- a + b == [sform "+", a, b]
- a - b == [sform "-", a, b]
- - a == [sform "-", a]
- a * b == [sform "*", a, b]
- a / b == [sform "/", a, b]
- a ** b == [sform "**", a, b]
- a div b == [sform "div", a, b]
- a rem b == [sform "rem", a, b]
- a quo b == [sform "quo", a, b]
- a exquo b == [sform "exquo", a, b]
- a and b == [sform "and", a, b]
- a or b == [sform "or", a, b]
- not a == [sform "not", a]
- SEGMENT(a,b)== [eform SEGMENT, a, b]
- SEGMENT(a) == [eform SEGMENT, a]
- binomial(a,b)==[eform BINOMIAL, a, b]
-
- empty() == [eform NOTHING]
+ (a:% ~= b:%): % == bless [sform "~=", a, b]
+ a < b == bless [sform "<", a, b]
+ a > b == bless [sform ">", a, b]
+ a <= b == bless [sform "<=", a, b]
+ a >= b == bless [sform ">=", a, b]
+
+ a + b == bless [sform "+", a, b]
+ a - b == bless [sform "-", a, b]
+ - a == bless [sform "-", a]
+ a * b == bless [sform "*", a, b]
+ a / b == bless [sform "/", a, b]
+ a ** b == bless [sform "**", a, b]
+ a div b == bless [sform "div", a, b]
+ a rem b == bless [sform "rem", a, b]
+ a quo b == bless [sform "quo", a, b]
+ a exquo b == bless [sform "exquo", a, b]
+ a and b == bless [sform "and", a, b]
+ a or b == bless [sform "or", a, b]
+ not a == bless [sform "not", a]
+ SEGMENT(a,b)== bless [eform SEGMENT, a, b]
+ SEGMENT(a) == bless [eform SEGMENT, a]
+ binomial(a,b)== bless [eform BINOMIAL, a, b]
+
+ empty() == bless [eform NOTHING]
infix? a ==
e:$ :=
@@ -624,30 +621,30 @@ OutputForm(): SetCategory with
infix? a => cons(a, l)
hconcat [first l, a, infix(a, rest l)]
infix(a,b,c) ==
- infix? a => [a, b, c]
+ infix? a => bless [a, b, c]
hconcat [b, a, c]
postfix(a, b) ==
hconcat(b, a)
- string a == [eform STRING, a]
- quote a == [eform QUOTE, a]
- overbar a == [eform OVERBAR, a]
+ string a == bless [eform STRING, a]
+ quote a == bless [eform QUOTE, a]
+ overbar a == bless [eform OVERBAR, a]
dot a == super(a, sform ".")
prime a == super(a, sform ",")
dot(a,nn) == (s := new(nn, char "."); super(a, sform s))
prime(a,nn) == (s := new(nn, char ","); super(a, sform s))
- overlabel(a,b) == [eform OVERLABEL, a, b]
- box a == [eform BOX, a]
- zag(a,b) == [eform ZAG, a, b]
- root a == [eform ROOT, a]
- root(a,b) == [eform ROOT, a, b]
- over(a,b) == [eform OVER, a, b]
- slash(a,b) == [eform SLASH, a, b]
- assign(a,b)== [eform LET, a, b]
-
- label(a,b) == [eform EQUATNUM, a, b]
- rarrow(a,b)== [eform TAG, a, b]
+ overlabel(a,b) == bless [eform OVERLABEL, a, b]
+ box a == bless [eform BOX, a]
+ zag(a,b) == bless [eform ZAG, a, b]
+ root a == bless [eform ROOT, a]
+ root(a,b) == bless [eform ROOT, a, b]
+ over(a,b) == bless [eform OVER, a, b]
+ slash(a,b) == bless [eform SLASH, a, b]
+ assign(a,b)== bless [eform LET, a, b]
+
+ label(a,b) == bless [eform EQUATNUM, a, b]
+ rarrow(a,b)== bless [eform TAG, a, b]
differentiate(a, nn)==
zero? nn => a
nn < 4 => prime(a, nn)
@@ -655,15 +652,15 @@ OutputForm(): SetCategory with
s := lowerCase(r::String)
super(a, paren sform s)
- sum(a) == [eform SIGMA, empty(), a]
- sum(a,b) == [eform SIGMA, b, a]
- sum(a,b,c) == [eform SIGMA2, b, c, a]
- prod(a) == [eform PI, empty(), a]
- prod(a,b) == [eform PI, b, a]
- prod(a,b,c)== [eform PI2, b, c, a]
- int(a) == [eform INTSIGN,empty(), empty(), a]
- int(a,b) == [eform INTSIGN,b, empty(), a]
- int(a,b,c) == [eform INTSIGN,b, c, a]
+ sum(a) == bless [eform SIGMA, empty(), a]
+ sum(a,b) == bless [eform SIGMA, b, a]
+ sum(a,b,c) == bless [eform SIGMA2, b, c, a]
+ prod(a) == bless [eform PI, empty(), a]
+ prod(a,b) == bless [eform PI, b, a]
+ prod(a,b,c)== bless [eform PI2, b, c, a]
+ int(a) == bless [eform INTSIGN,empty(), empty(), a]
+ int(a,b) == bless [eform INTSIGN,b, empty(), a]
+ int(a,b,c) == bless [eform INTSIGN,b, c, a]
@
diff --git a/src/algebra/strap/OUTFORM.lsp b/src/algebra/strap/OUTFORM.lsp
index 03c859e5..6605cbf3 100644
--- a/src/algebra/strap/OUTFORM.lsp
+++ b/src/algebra/strap/OUTFORM.lsp
@@ -1,185 +1,192 @@
(/VERSIONCHECK 2)
-(PUT '|OUTFORM;print;$V;1| '|SPADreplace| '|mathprint|)
+(PUT '|OUTFORM;sform| '|SPADreplace| '(XLAM (|s|) |s|))
-(DEFUN |OUTFORM;print;$V;1| (|x| $) (|mathprint| |x|))
+(DEFUN |OUTFORM;sform| (|s| $) |s|)
-(DEFUN |OUTFORM;message;S$;2| (|s| $)
- (COND
- ((SPADCALL |s| (|getShellEntry| $ 11))
- (SPADCALL (|getShellEntry| $ 12)))
- ('T |s|)))
+(PUT '|OUTFORM;eform| '|SPADreplace| '(XLAM (|e|) |e|))
-(DEFUN |OUTFORM;messagePrint;SV;3| (|s| $)
- (SPADCALL (SPADCALL |s| (|getShellEntry| $ 13))
- (|getShellEntry| $ 8)))
+(DEFUN |OUTFORM;eform| (|e| $) |e|)
-(PUT '|OUTFORM;=;2$B;4| '|SPADreplace| 'EQUAL)
+(PUT '|OUTFORM;iform| '|SPADreplace| '(XLAM (|i|) |i|))
-(DEFUN |OUTFORM;=;2$B;4| (|a| |b| $) (EQUAL |a| |b|))
+(DEFUN |OUTFORM;iform| (|i| $) |i|)
-(DEFUN |OUTFORM;=;3$;5| (|a| |b| $)
- (LIST (|OUTFORM;sform| "=" $) |a| |b|))
+(PUT '|OUTFORM;bless| '|SPADreplace| '(XLAM (|x|) |x|))
-(PUT '|OUTFORM;coerce;2$;6| '|SPADreplace| '(XLAM (|a|) |a|))
+(DEFUN |OUTFORM;bless| (|x| $) |x|)
-(DEFUN |OUTFORM;coerce;2$;6| (|a| $) |a|)
+(PUT '|OUTFORM;print;$V;5| '|SPADreplace| '|mathprint|)
-(PUT '|OUTFORM;outputForm;I$;7| '|SPADreplace| '(XLAM (|n|) |n|))
+(DEFUN |OUTFORM;print;$V;5| (|x| $) (|mathprint| |x|))
-(DEFUN |OUTFORM;outputForm;I$;7| (|n| $) |n|)
+(DEFUN |OUTFORM;message;S$;6| (|s| $)
+ (COND
+ ((SPADCALL |s| (|getShellEntry| $ 10))
+ (SPADCALL (|getShellEntry| $ 11)))
+ ('T |s|)))
-(PUT '|OUTFORM;outputForm;S$;8| '|SPADreplace| '(XLAM (|e|) |e|))
+(DEFUN |OUTFORM;messagePrint;SV;7| (|s| $)
+ (SPADCALL (SPADCALL |s| (|getShellEntry| $ 12))
+ (|getShellEntry| $ 7)))
-(DEFUN |OUTFORM;outputForm;S$;8| (|e| $) |e|)
+(PUT '|OUTFORM;=;2$B;8| '|SPADreplace| 'EQUAL)
-(PUT '|OUTFORM;outputForm;Df$;9| '|SPADreplace| '(XLAM (|f|) |f|))
+(DEFUN |OUTFORM;=;2$B;8| (|a| |b| $) (EQUAL |a| |b|))
-(DEFUN |OUTFORM;outputForm;Df$;9| (|f| $) |f|)
+(DEFUN |OUTFORM;=;3$;9| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "=" $) |a| |b|) $))
-(PUT '|OUTFORM;sform| '|SPADreplace| '(XLAM (|s|) |s|))
+(PUT '|OUTFORM;coerce;2$;10| '|SPADreplace| '(XLAM (|a|) |a|))
-(DEFUN |OUTFORM;sform| (|s| $) |s|)
+(DEFUN |OUTFORM;coerce;2$;10| (|a| $) |a|)
-(PUT '|OUTFORM;eform| '|SPADreplace| '(XLAM (|e|) |e|))
+(PUT '|OUTFORM;outputForm;I$;11| '|SPADreplace| '(XLAM (|n|) |n|))
-(DEFUN |OUTFORM;eform| (|e| $) |e|)
+(DEFUN |OUTFORM;outputForm;I$;11| (|n| $) |n|)
+
+(PUT '|OUTFORM;outputForm;S$;12| '|SPADreplace| '(XLAM (|e|) |e|))
-(PUT '|OUTFORM;iform| '|SPADreplace| '(XLAM (|n|) |n|))
+(DEFUN |OUTFORM;outputForm;S$;12| (|e| $) |e|)
-(DEFUN |OUTFORM;iform| (|n| $) |n|)
+(PUT '|OUTFORM;outputForm;Df$;13| '|SPADreplace| '(XLAM (|f|) |f|))
-(DEFUN |OUTFORM;outputForm;S$;13| (|s| $)
+(DEFUN |OUTFORM;outputForm;Df$;13| (|f| $) |f|)
+
+(DEFUN |OUTFORM;outputForm;S$;14| (|s| $)
(|OUTFORM;sform|
- (SPADCALL (SPADCALL (|getShellEntry| $ 26))
- (SPADCALL |s| (SPADCALL (|getShellEntry| $ 26))
- (|getShellEntry| $ 27))
- (|getShellEntry| $ 28))
+ (SPADCALL (SPADCALL (|getShellEntry| $ 25))
+ (SPADCALL |s| (SPADCALL (|getShellEntry| $ 25))
+ (|getShellEntry| $ 26))
+ (|getShellEntry| $ 27))
$))
-(PUT '|OUTFORM;width;$I;14| '|SPADreplace| '|outformWidth|)
+(PUT '|OUTFORM;width;$I;15| '|SPADreplace| '|outformWidth|)
-(DEFUN |OUTFORM;width;$I;14| (|a| $) (|outformWidth| |a|))
+(DEFUN |OUTFORM;width;$I;15| (|a| $) (|outformWidth| |a|))
-(PUT '|OUTFORM;height;$I;15| '|SPADreplace| '|height|)
+(PUT '|OUTFORM;height;$I;16| '|SPADreplace| '|height|)
-(DEFUN |OUTFORM;height;$I;15| (|a| $) (|height| |a|))
+(DEFUN |OUTFORM;height;$I;16| (|a| $) (|height| |a|))
-(PUT '|OUTFORM;subHeight;$I;16| '|SPADreplace| '|subspan|)
+(PUT '|OUTFORM;subHeight;$I;17| '|SPADreplace| '|subspan|)
-(DEFUN |OUTFORM;subHeight;$I;16| (|a| $) (|subspan| |a|))
+(DEFUN |OUTFORM;subHeight;$I;17| (|a| $) (|subspan| |a|))
-(PUT '|OUTFORM;superHeight;$I;17| '|SPADreplace| '|superspan|)
+(PUT '|OUTFORM;superHeight;$I;18| '|SPADreplace| '|superspan|)
-(DEFUN |OUTFORM;superHeight;$I;17| (|a| $) (|superspan| |a|))
+(DEFUN |OUTFORM;superHeight;$I;18| (|a| $) (|superspan| |a|))
-(PUT '|OUTFORM;height;I;18| '|SPADreplace| '(XLAM NIL 20))
+(PUT '|OUTFORM;height;I;19| '|SPADreplace| '(XLAM NIL 20))
-(DEFUN |OUTFORM;height;I;18| ($) 20)
+(DEFUN |OUTFORM;height;I;19| ($) 20)
-(PUT '|OUTFORM;width;I;19| '|SPADreplace| '(XLAM NIL 66))
+(PUT '|OUTFORM;width;I;20| '|SPADreplace| '(XLAM NIL 66))
-(DEFUN |OUTFORM;width;I;19| ($) 66)
+(DEFUN |OUTFORM;width;I;20| ($) 66)
-(DEFUN |OUTFORM;center;$I$;20| (|a| |w| $)
+(DEFUN |OUTFORM;center;$I$;21| (|a| |w| $)
(SPADCALL
(SPADCALL
- (QUOTIENT2 (- |w| (SPADCALL |a| (|getShellEntry| $ 30))) 2)
- (|getShellEntry| $ 36))
- |a| (|getShellEntry| $ 37)))
+ (QUOTIENT2 (- |w| (SPADCALL |a| (|getShellEntry| $ 29))) 2)
+ (|getShellEntry| $ 35))
+ |a| (|getShellEntry| $ 36)))
-(DEFUN |OUTFORM;left;$I$;21| (|a| |w| $)
+(DEFUN |OUTFORM;left;$I$;22| (|a| |w| $)
(SPADCALL |a|
- (SPADCALL (- |w| (SPADCALL |a| (|getShellEntry| $ 30)))
- (|getShellEntry| $ 36))
- (|getShellEntry| $ 37)))
+ (SPADCALL (- |w| (SPADCALL |a| (|getShellEntry| $ 29)))
+ (|getShellEntry| $ 35))
+ (|getShellEntry| $ 36)))
-(DEFUN |OUTFORM;right;$I$;22| (|a| |w| $)
+(DEFUN |OUTFORM;right;$I$;23| (|a| |w| $)
(SPADCALL
- (SPADCALL (- |w| (SPADCALL |a| (|getShellEntry| $ 30)))
- (|getShellEntry| $ 36))
- |a| (|getShellEntry| $ 37)))
+ (SPADCALL (- |w| (SPADCALL |a| (|getShellEntry| $ 29)))
+ (|getShellEntry| $ 35))
+ |a| (|getShellEntry| $ 36)))
+
+(DEFUN |OUTFORM;center;2$;24| (|a| $)
+ (SPADCALL |a| (SPADCALL (|getShellEntry| $ 34))
+ (|getShellEntry| $ 37)))
-(DEFUN |OUTFORM;center;2$;23| (|a| $)
- (SPADCALL |a| (SPADCALL (|getShellEntry| $ 35))
+(DEFUN |OUTFORM;left;2$;25| (|a| $)
+ (SPADCALL |a| (SPADCALL (|getShellEntry| $ 34))
(|getShellEntry| $ 38)))
-(DEFUN |OUTFORM;left;2$;24| (|a| $)
- (SPADCALL |a| (SPADCALL (|getShellEntry| $ 35))
+(DEFUN |OUTFORM;right;2$;26| (|a| $)
+ (SPADCALL |a| (SPADCALL (|getShellEntry| $ 34))
(|getShellEntry| $ 39)))
-(DEFUN |OUTFORM;right;2$;25| (|a| $)
- (SPADCALL |a| (SPADCALL (|getShellEntry| $ 35))
- (|getShellEntry| $ 40)))
-
-(DEFUN |OUTFORM;vspace;I$;26| (|n| $)
+(DEFUN |OUTFORM;vspace;I$;27| (|n| $)
(COND
- ((EQL |n| 0) (SPADCALL (|getShellEntry| $ 12)))
+ ((EQL |n| 0) (SPADCALL (|getShellEntry| $ 11)))
('T
(SPADCALL (|OUTFORM;sform| " " $)
- (SPADCALL (- |n| 1) (|getShellEntry| $ 44))
- (|getShellEntry| $ 45)))))
+ (SPADCALL (- |n| 1) (|getShellEntry| $ 43))
+ (|getShellEntry| $ 44)))))
-(DEFUN |OUTFORM;hspace;I$;27| (|n| $)
+(DEFUN |OUTFORM;hspace;I$;28| (|n| $)
(COND
- ((EQL |n| 0) (SPADCALL (|getShellEntry| $ 12)))
+ ((EQL |n| 0) (SPADCALL (|getShellEntry| $ 11)))
('T (|OUTFORM;sform| (|fillerSpaces| |n|) $))))
-(DEFUN |OUTFORM;rspace;2I$;28| (|n| |m| $)
+(DEFUN |OUTFORM;rspace;2I$;29| (|n| |m| $)
(COND
- ((OR (EQL |n| 0) (EQL |m| 0)) (SPADCALL (|getShellEntry| $ 12)))
+ ((OR (EQL |n| 0) (EQL |m| 0)) (SPADCALL (|getShellEntry| $ 11)))
('T
- (SPADCALL (SPADCALL |n| (|getShellEntry| $ 36))
- (SPADCALL |n| (- |m| 1) (|getShellEntry| $ 46))
- (|getShellEntry| $ 45)))))
+ (SPADCALL (SPADCALL |n| (|getShellEntry| $ 35))
+ (SPADCALL |n| (- |m| 1) (|getShellEntry| $ 45))
+ (|getShellEntry| $ 44)))))
-(DEFUN |OUTFORM;matrix;L$;29| (|ll| $)
- (PROG (#0=#:G1439 |l| #1=#:G1440 |lv|)
+(DEFUN |OUTFORM;matrix;L$;30| (|ll| $)
+ (PROG (#0=#:G1440 |l| #1=#:G1441 |lv|)
(RETURN
(SEQ (LETT |lv|
- (PROGN
- (LETT #0# NIL |OUTFORM;matrix;L$;29|)
- (SEQ (LETT |l| NIL |OUTFORM;matrix;L$;29|)
- (LETT #1# |ll| |OUTFORM;matrix;L$;29|) G190
- (COND
- ((OR (ATOM #1#)
- (PROGN
- (LETT |l| (CAR #1#)
- |OUTFORM;matrix;L$;29|)
- NIL))
- (GO G191)))
- (SEQ (EXIT (LETT #0# (CONS (LIST2VEC |l|) #0#)
- |OUTFORM;matrix;L$;29|)))
- (LETT #1# (CDR #1#) |OUTFORM;matrix;L$;29|)
- (GO G190) G191 (EXIT (NREVERSE0 #0#))))
- |OUTFORM;matrix;L$;29|)
+ (|OUTFORM;bless|
+ (PROGN
+ (LETT #0# NIL |OUTFORM;matrix;L$;30|)
+ (SEQ (LETT |l| NIL |OUTFORM;matrix;L$;30|)
+ (LETT #1# |ll| |OUTFORM;matrix;L$;30|) G190
+ (COND
+ ((OR (ATOM #1#)
+ (PROGN
+ (LETT |l| (CAR #1#)
+ |OUTFORM;matrix;L$;30|)
+ NIL))
+ (GO G191)))
+ (SEQ (EXIT (LETT #0#
+ (CONS (LIST2VEC |l|) #0#)
+ |OUTFORM;matrix;L$;30|)))
+ (LETT #1# (CDR #1#) |OUTFORM;matrix;L$;30|)
+ (GO G190) G191 (EXIT (NREVERSE0 #0#))))
+ $)
+ |OUTFORM;matrix;L$;30|)
(EXIT (CONS (|OUTFORM;eform| 'MATRIX $) (LIST2VEC |lv|)))))))
-(DEFUN |OUTFORM;pile;L$;30| (|l| $)
+(DEFUN |OUTFORM;pile;L$;31| (|l| $)
(CONS (|OUTFORM;eform| 'SC $) |l|))
-(DEFUN |OUTFORM;commaSeparate;L$;31| (|l| $)
+(DEFUN |OUTFORM;commaSeparate;L$;32| (|l| $)
(CONS (|OUTFORM;eform| 'AGGLST $) |l|))
-(DEFUN |OUTFORM;semicolonSeparate;L$;32| (|l| $)
+(DEFUN |OUTFORM;semicolonSeparate;L$;33| (|l| $)
(CONS (|OUTFORM;eform| 'AGGSET $) |l|))
-(DEFUN |OUTFORM;blankSeparate;L$;33| (|l| $)
- (PROG (|c| |u| #0=#:G1448 |l1|)
+(DEFUN |OUTFORM;blankSeparate;L$;34| (|l| $)
+ (PROG (|c| |u| #0=#:G1449 |l1|)
(RETURN
(SEQ (LETT |c| (|OUTFORM;eform| 'CONCATB $)
- |OUTFORM;blankSeparate;L$;33|)
- (LETT |l1| NIL |OUTFORM;blankSeparate;L$;33|)
- (SEQ (LETT |u| NIL |OUTFORM;blankSeparate;L$;33|)
+ |OUTFORM;blankSeparate;L$;34|)
+ (LETT |l1| NIL |OUTFORM;blankSeparate;L$;34|)
+ (SEQ (LETT |u| NIL |OUTFORM;blankSeparate;L$;34|)
(LETT #0# (SPADCALL |l| (|getShellEntry| $ 53))
- |OUTFORM;blankSeparate;L$;33|)
+ |OUTFORM;blankSeparate;L$;34|)
G190
(COND
((OR (ATOM #0#)
(PROGN
(LETT |u| (CAR #0#)
- |OUTFORM;blankSeparate;L$;33|)
+ |OUTFORM;blankSeparate;L$;34|)
NIL))
(GO G191)))
(SEQ (EXIT (COND
@@ -187,50 +194,57 @@
(LETT |l1|
(SPADCALL (CDR |u|) |l1|
(|getShellEntry| $ 54))
- |OUTFORM;blankSeparate;L$;33|))
+ |OUTFORM;blankSeparate;L$;34|))
('T
(LETT |l1| (CONS |u| |l1|)
- |OUTFORM;blankSeparate;L$;33|)))))
- (LETT #0# (CDR #0#) |OUTFORM;blankSeparate;L$;33|)
+ |OUTFORM;blankSeparate;L$;34|)))))
+ (LETT #0# (CDR #0#) |OUTFORM;blankSeparate;L$;34|)
(GO G190) G191 (EXIT NIL))
(EXIT (CONS |c| |l1|))))))
-(DEFUN |OUTFORM;brace;2$;34| (|a| $)
- (LIST (|OUTFORM;eform| 'BRACE $) |a|))
+(DEFUN |OUTFORM;brace;2$;35| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'BRACE $) |a|) $))
-(DEFUN |OUTFORM;brace;L$;35| (|l| $)
- (SPADCALL (SPADCALL |l| (|getShellEntry| $ 51))
+(DEFUN |OUTFORM;brace;L$;36| (|l| $)
+ (SPADCALL (SPADCALL |l| (|getShellEntry| $ 50))
(|getShellEntry| $ 56)))
-(DEFUN |OUTFORM;bracket;2$;36| (|a| $)
- (LIST (|OUTFORM;eform| 'BRACKET $) |a|))
+(DEFUN |OUTFORM;bracket;2$;37| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'BRACKET $) |a|) $))
-(DEFUN |OUTFORM;bracket;L$;37| (|l| $)
- (SPADCALL (SPADCALL |l| (|getShellEntry| $ 51))
+(DEFUN |OUTFORM;bracket;L$;38| (|l| $)
+ (SPADCALL (SPADCALL |l| (|getShellEntry| $ 50))
(|getShellEntry| $ 58)))
-(DEFUN |OUTFORM;paren;2$;38| (|a| $)
- (LIST (|OUTFORM;eform| 'PAREN $) |a|))
+(DEFUN |OUTFORM;paren;2$;39| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'PAREN $) |a|) $))
-(DEFUN |OUTFORM;paren;L$;39| (|l| $)
- (SPADCALL (SPADCALL |l| (|getShellEntry| $ 51))
+(DEFUN |OUTFORM;paren;L$;40| (|l| $)
+ (SPADCALL (SPADCALL |l| (|getShellEntry| $ 50))
(|getShellEntry| $ 60)))
-(DEFUN |OUTFORM;sub;3$;40| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'SUB $) |a| |b|))
+(DEFUN |OUTFORM;sub;3$;41| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SUB $) |a| |b|) $))
-(DEFUN |OUTFORM;super;3$;41| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $) |b|))
+(DEFUN |OUTFORM;super;3$;42| (|a| |b| $)
+ (|OUTFORM;bless|
+ (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $)
+ |b|)
+ $))
-(DEFUN |OUTFORM;presub;3$;42| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $)
- (|OUTFORM;sform| " " $) (|OUTFORM;sform| " " $) |b|))
+(DEFUN |OUTFORM;presub;3$;43| (|a| |b| $)
+ (|OUTFORM;bless|
+ (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $)
+ (|OUTFORM;sform| " " $) (|OUTFORM;sform| " " $) |b|)
+ $))
-(DEFUN |OUTFORM;presuper;3$;43| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $)
- (|OUTFORM;sform| " " $) |b|))
+(DEFUN |OUTFORM;presuper;3$;44| (|a| |b| $)
+ (|OUTFORM;bless|
+ (LIST (|OUTFORM;eform| 'SUPERSUB $) |a| (|OUTFORM;sform| " " $)
+ (|OUTFORM;sform| " " $) |b|)
+ $))
-(DEFUN |OUTFORM;scripts;$L$;44| (|a| |l| $)
+(DEFUN |OUTFORM;scripts;$L$;45| (|a| |l| $)
(COND
((SPADCALL |l| (|getShellEntry| $ 66)) |a|)
((SPADCALL (SPADCALL |l| (|getShellEntry| $ 67))
@@ -239,93 +253,95 @@
(|getShellEntry| $ 62)))
('T (CONS (|OUTFORM;eform| 'SUPERSUB $) (CONS |a| |l|)))))
-(DEFUN |OUTFORM;supersub;$L$;45| (|a| |l| $)
+(DEFUN |OUTFORM;supersub;$L$;46| (|a| |l| $)
(SEQ (COND
((ODDP (SPADCALL |l| (|getShellEntry| $ 71)))
(LETT |l|
- (SPADCALL |l| (LIST (SPADCALL (|getShellEntry| $ 12)))
- (|getShellEntry| $ 73))
- |OUTFORM;supersub;$L$;45|)))
+ (SPADCALL |l| (LIST (SPADCALL (|getShellEntry| $ 11)))
+ (|getShellEntry| $ 54))
+ |OUTFORM;supersub;$L$;46|)))
(EXIT (CONS (|OUTFORM;eform| 'ALTSUPERSUB $) (CONS |a| |l|)))))
-(DEFUN |OUTFORM;hconcat;3$;46| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'CONCAT $) |a| |b|))
+(DEFUN |OUTFORM;hconcat;3$;47| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'CONCAT $) |a| |b|) $))
-(DEFUN |OUTFORM;hconcat;L$;47| (|l| $)
+(DEFUN |OUTFORM;hconcat;L$;48| (|l| $)
(CONS (|OUTFORM;eform| 'CONCAT $) |l|))
-(DEFUN |OUTFORM;vconcat;3$;48| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'VCONCAT $) |a| |b|))
+(DEFUN |OUTFORM;vconcat;3$;49| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'VCONCAT $) |a| |b|) $))
-(DEFUN |OUTFORM;vconcat;L$;49| (|l| $)
+(DEFUN |OUTFORM;vconcat;L$;50| (|l| $)
(CONS (|OUTFORM;eform| 'VCONCAT $) |l|))
-(DEFUN |OUTFORM;~=;3$;50| (|a| |b| $)
- (LIST (|OUTFORM;sform| "~=" $) |a| |b|))
+(DEFUN |OUTFORM;~=;3$;51| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "~=" $) |a| |b|) $))
-(DEFUN |OUTFORM;<;3$;51| (|a| |b| $)
- (LIST (|OUTFORM;sform| "<" $) |a| |b|))
+(DEFUN |OUTFORM;<;3$;52| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "<" $) |a| |b|) $))
-(DEFUN |OUTFORM;>;3$;52| (|a| |b| $)
- (LIST (|OUTFORM;sform| ">" $) |a| |b|))
+(DEFUN |OUTFORM;>;3$;53| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| ">" $) |a| |b|) $))
-(DEFUN |OUTFORM;<=;3$;53| (|a| |b| $)
- (LIST (|OUTFORM;sform| "<=" $) |a| |b|))
+(DEFUN |OUTFORM;<=;3$;54| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "<=" $) |a| |b|) $))
-(DEFUN |OUTFORM;>=;3$;54| (|a| |b| $)
- (LIST (|OUTFORM;sform| ">=" $) |a| |b|))
+(DEFUN |OUTFORM;>=;3$;55| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| ">=" $) |a| |b|) $))
-(DEFUN |OUTFORM;+;3$;55| (|a| |b| $)
- (LIST (|OUTFORM;sform| "+" $) |a| |b|))
+(DEFUN |OUTFORM;+;3$;56| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "+" $) |a| |b|) $))
-(DEFUN |OUTFORM;-;3$;56| (|a| |b| $)
- (LIST (|OUTFORM;sform| "-" $) |a| |b|))
+(DEFUN |OUTFORM;-;3$;57| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "-" $) |a| |b|) $))
-(DEFUN |OUTFORM;-;2$;57| (|a| $) (LIST (|OUTFORM;sform| "-" $) |a|))
+(DEFUN |OUTFORM;-;2$;58| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "-" $) |a|) $))
-(DEFUN |OUTFORM;*;3$;58| (|a| |b| $)
- (LIST (|OUTFORM;sform| "*" $) |a| |b|))
+(DEFUN |OUTFORM;*;3$;59| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "*" $) |a| |b|) $))
-(DEFUN |OUTFORM;/;3$;59| (|a| |b| $)
- (LIST (|OUTFORM;sform| "/" $) |a| |b|))
+(DEFUN |OUTFORM;/;3$;60| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "/" $) |a| |b|) $))
-(DEFUN |OUTFORM;**;3$;60| (|a| |b| $)
- (LIST (|OUTFORM;sform| "**" $) |a| |b|))
+(DEFUN |OUTFORM;**;3$;61| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "**" $) |a| |b|) $))
-(DEFUN |OUTFORM;div;3$;61| (|a| |b| $)
- (LIST (|OUTFORM;sform| "div" $) |a| |b|))
+(DEFUN |OUTFORM;div;3$;62| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "div" $) |a| |b|) $))
-(DEFUN |OUTFORM;rem;3$;62| (|a| |b| $)
- (LIST (|OUTFORM;sform| "rem" $) |a| |b|))
+(DEFUN |OUTFORM;rem;3$;63| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "rem" $) |a| |b|) $))
-(DEFUN |OUTFORM;quo;3$;63| (|a| |b| $)
- (LIST (|OUTFORM;sform| "quo" $) |a| |b|))
+(DEFUN |OUTFORM;quo;3$;64| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "quo" $) |a| |b|) $))
-(DEFUN |OUTFORM;exquo;3$;64| (|a| |b| $)
- (LIST (|OUTFORM;sform| "exquo" $) |a| |b|))
+(DEFUN |OUTFORM;exquo;3$;65| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "exquo" $) |a| |b|) $))
-(DEFUN |OUTFORM;and;3$;65| (|a| |b| $)
- (LIST (|OUTFORM;sform| "and" $) |a| |b|))
+(DEFUN |OUTFORM;and;3$;66| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "and" $) |a| |b|) $))
-(DEFUN |OUTFORM;or;3$;66| (|a| |b| $)
- (LIST (|OUTFORM;sform| "or" $) |a| |b|))
+(DEFUN |OUTFORM;or;3$;67| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "or" $) |a| |b|) $))
-(DEFUN |OUTFORM;not;2$;67| (|a| $)
- (LIST (|OUTFORM;sform| "not" $) |a|))
+(DEFUN |OUTFORM;not;2$;68| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;sform| "not" $) |a|) $))
-(DEFUN |OUTFORM;SEGMENT;3$;68| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'SEGMENT $) |a| |b|))
+(DEFUN |OUTFORM;SEGMENT;3$;69| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SEGMENT $) |a| |b|) $))
-(DEFUN |OUTFORM;SEGMENT;2$;69| (|a| $)
- (LIST (|OUTFORM;eform| 'SEGMENT $) |a|))
+(DEFUN |OUTFORM;SEGMENT;2$;70| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SEGMENT $) |a|) $))
-(DEFUN |OUTFORM;binomial;3$;70| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'BINOMIAL $) |a| |b|))
+(DEFUN |OUTFORM;binomial;3$;71| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'BINOMIAL $) |a| |b|) $))
-(DEFUN |OUTFORM;empty;$;71| ($) (LIST (|OUTFORM;eform| 'NOTHING $)))
+(DEFUN |OUTFORM;empty;$;72| ($)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'NOTHING $)) $))
-(DEFUN |OUTFORM;infix?;$B;72| (|a| $)
- (PROG (#0=#:G1493 |e|)
+(DEFUN |OUTFORM;infix?;$B;73| (|a| $)
+ (PROG (#0=#:G1494 |e|)
(RETURN
(SEQ (EXIT (SEQ (LETT |e|
(COND
@@ -333,169 +349,180 @@
((STRINGP |a|) (INTERN |a|))
('T
(PROGN
- (LETT #0# 'NIL |OUTFORM;infix?;$B;72|)
+ (LETT #0# 'NIL |OUTFORM;infix?;$B;73|)
(GO #0#))))
- |OUTFORM;infix?;$B;72|)
+ |OUTFORM;infix?;$B;73|)
(EXIT (COND ((GET |e| 'INFIXOP) 'T) ('T 'NIL)))))
#0# (EXIT #0#)))))
-(PUT '|OUTFORM;elt;$L$;73| '|SPADreplace| 'CONS)
+(PUT '|OUTFORM;elt;$L$;74| '|SPADreplace| 'CONS)
-(DEFUN |OUTFORM;elt;$L$;73| (|a| |l| $) (CONS |a| |l|))
+(DEFUN |OUTFORM;elt;$L$;74| (|a| |l| $) (CONS |a| |l|))
-(DEFUN |OUTFORM;prefix;$L$;74| (|a| |l| $)
+(DEFUN |OUTFORM;prefix;$L$;75| (|a| |l| $)
(COND
- ((NULL (SPADCALL |a| (|getShellEntry| $ 98))) (CONS |a| |l|))
+ ((NULL (SPADCALL |a| (|getShellEntry| $ 96))) (CONS |a| |l|))
('T
(SPADCALL |a|
- (SPADCALL (SPADCALL |l| (|getShellEntry| $ 51))
+ (SPADCALL (SPADCALL |l| (|getShellEntry| $ 50))
(|getShellEntry| $ 60))
- (|getShellEntry| $ 37)))))
+ (|getShellEntry| $ 36)))))
-(DEFUN |OUTFORM;infix;$L$;75| (|a| |l| $)
+(DEFUN |OUTFORM;infix;$L$;76| (|a| |l| $)
(COND
((SPADCALL |l| (|getShellEntry| $ 66))
- (SPADCALL (|getShellEntry| $ 12)))
+ (SPADCALL (|getShellEntry| $ 11)))
((SPADCALL (SPADCALL |l| (|getShellEntry| $ 67))
(|getShellEntry| $ 66))
(SPADCALL |l| (|getShellEntry| $ 68)))
- ((SPADCALL |a| (|getShellEntry| $ 98)) (CONS |a| |l|))
+ ((SPADCALL |a| (|getShellEntry| $ 96)) (CONS |a| |l|))
('T
(SPADCALL
(LIST (SPADCALL |l| (|getShellEntry| $ 68)) |a|
- (SPADCALL |a| (SPADCALL |l| (|getShellEntry| $ 101))
- (|getShellEntry| $ 102)))
- (|getShellEntry| $ 75)))))
+ (SPADCALL |a| (SPADCALL |l| (|getShellEntry| $ 67))
+ (|getShellEntry| $ 99)))
+ (|getShellEntry| $ 73)))))
-(DEFUN |OUTFORM;infix;4$;76| (|a| |b| |c| $)
+(DEFUN |OUTFORM;infix;4$;77| (|a| |b| |c| $)
(COND
- ((SPADCALL |a| (|getShellEntry| $ 98)) (LIST |a| |b| |c|))
- ('T (SPADCALL (LIST |b| |a| |c|) (|getShellEntry| $ 75)))))
+ ((SPADCALL |a| (|getShellEntry| $ 96))
+ (|OUTFORM;bless| (LIST |a| |b| |c|) $))
+ ('T (SPADCALL (LIST |b| |a| |c|) (|getShellEntry| $ 73)))))
-(DEFUN |OUTFORM;postfix;3$;77| (|a| |b| $)
- (SPADCALL |b| |a| (|getShellEntry| $ 37)))
+(DEFUN |OUTFORM;postfix;3$;78| (|a| |b| $)
+ (SPADCALL |b| |a| (|getShellEntry| $ 36)))
-(DEFUN |OUTFORM;string;2$;78| (|a| $)
- (LIST (|OUTFORM;eform| 'STRING $) |a|))
+(DEFUN |OUTFORM;string;2$;79| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'STRING $) |a|) $))
-(DEFUN |OUTFORM;quote;2$;79| (|a| $)
- (LIST (|OUTFORM;eform| 'QUOTE $) |a|))
+(DEFUN |OUTFORM;quote;2$;80| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'QUOTE $) |a|) $))
-(DEFUN |OUTFORM;overbar;2$;80| (|a| $)
- (LIST (|OUTFORM;eform| 'OVERBAR $) |a|))
+(DEFUN |OUTFORM;overbar;2$;81| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'OVERBAR $) |a|) $))
-(DEFUN |OUTFORM;dot;2$;81| (|a| $)
+(DEFUN |OUTFORM;dot;2$;82| (|a| $)
(SPADCALL |a| (|OUTFORM;sform| "." $) (|getShellEntry| $ 63)))
-(DEFUN |OUTFORM;prime;2$;82| (|a| $)
+(DEFUN |OUTFORM;prime;2$;83| (|a| $)
(SPADCALL |a| (|OUTFORM;sform| "," $) (|getShellEntry| $ 63)))
-(DEFUN |OUTFORM;dot;$Nni$;83| (|a| |nn| $)
+(DEFUN |OUTFORM;dot;$Nni$;84| (|a| |nn| $)
(PROG (|s|)
(RETURN
(SEQ (LETT |s|
(MAKE-FULL-CVEC |nn|
- (SPADCALL "." (|getShellEntry| $ 110)))
- |OUTFORM;dot;$Nni$;83|)
+ (SPADCALL "." (|getShellEntry| $ 107)))
+ |OUTFORM;dot;$Nni$;84|)
(EXIT (SPADCALL |a| (|OUTFORM;sform| |s| $)
(|getShellEntry| $ 63)))))))
-(DEFUN |OUTFORM;prime;$Nni$;84| (|a| |nn| $)
+(DEFUN |OUTFORM;prime;$Nni$;85| (|a| |nn| $)
(PROG (|s|)
(RETURN
(SEQ (LETT |s|
(MAKE-FULL-CVEC |nn|
- (SPADCALL "," (|getShellEntry| $ 110)))
- |OUTFORM;prime;$Nni$;84|)
+ (SPADCALL "," (|getShellEntry| $ 107)))
+ |OUTFORM;prime;$Nni$;85|)
(EXIT (SPADCALL |a| (|OUTFORM;sform| |s| $)
(|getShellEntry| $ 63)))))))
-(DEFUN |OUTFORM;overlabel;3$;85| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'OVERLABEL $) |a| |b|))
+(DEFUN |OUTFORM;overlabel;3$;86| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'OVERLABEL $) |a| |b|) $))
-(DEFUN |OUTFORM;box;2$;86| (|a| $)
- (LIST (|OUTFORM;eform| 'BOX $) |a|))
+(DEFUN |OUTFORM;box;2$;87| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'BOX $) |a|) $))
-(DEFUN |OUTFORM;zag;3$;87| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'ZAG $) |a| |b|))
+(DEFUN |OUTFORM;zag;3$;88| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'ZAG $) |a| |b|) $))
-(DEFUN |OUTFORM;root;2$;88| (|a| $)
- (LIST (|OUTFORM;eform| 'ROOT $) |a|))
+(DEFUN |OUTFORM;root;2$;89| (|a| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'ROOT $) |a|) $))
-(DEFUN |OUTFORM;root;3$;89| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'ROOT $) |a| |b|))
+(DEFUN |OUTFORM;root;3$;90| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'ROOT $) |a| |b|) $))
-(DEFUN |OUTFORM;over;3$;90| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'OVER $) |a| |b|))
+(DEFUN |OUTFORM;over;3$;91| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'OVER $) |a| |b|) $))
-(DEFUN |OUTFORM;slash;3$;91| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'SLASH $) |a| |b|))
+(DEFUN |OUTFORM;slash;3$;92| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SLASH $) |a| |b|) $))
-(DEFUN |OUTFORM;assign;3$;92| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'LET $) |a| |b|))
+(DEFUN |OUTFORM;assign;3$;93| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'LET $) |a| |b|) $))
-(DEFUN |OUTFORM;label;3$;93| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'EQUATNUM $) |a| |b|))
+(DEFUN |OUTFORM;label;3$;94| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'EQUATNUM $) |a| |b|) $))
-(DEFUN |OUTFORM;rarrow;3$;94| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'TAG $) |a| |b|))
+(DEFUN |OUTFORM;rarrow;3$;95| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'TAG $) |a| |b|) $))
-(DEFUN |OUTFORM;differentiate;$Nni$;95| (|a| |nn| $)
- (PROG (#0=#:G1523 |r| |s|)
+(DEFUN |OUTFORM;differentiate;$Nni$;96| (|a| |nn| $)
+ (PROG (#0=#:G1524 |r| |s|)
(RETURN
(SEQ (COND
((ZEROP |nn|) |a|)
- ((< |nn| 4) (SPADCALL |a| |nn| (|getShellEntry| $ 112)))
+ ((< |nn| 4) (SPADCALL |a| |nn| (|getShellEntry| $ 109)))
('T
(SEQ (LETT |r|
(SPADCALL
(PROG1 (LETT #0# |nn|
- |OUTFORM;differentiate;$Nni$;95|)
+ |OUTFORM;differentiate;$Nni$;96|)
(|check-subtype| (> #0# 0)
'(|PositiveInteger|) #0#))
- (|getShellEntry| $ 125))
- |OUTFORM;differentiate;$Nni$;95|)
- (LETT |s| (SPADCALL |r| (|getShellEntry| $ 126))
- |OUTFORM;differentiate;$Nni$;95|)
+ (|getShellEntry| $ 122))
+ |OUTFORM;differentiate;$Nni$;96|)
+ (LETT |s| (SPADCALL |r| (|getShellEntry| $ 123))
+ |OUTFORM;differentiate;$Nni$;96|)
(EXIT (SPADCALL |a|
(SPADCALL (|OUTFORM;sform| |s| $)
(|getShellEntry| $ 60))
(|getShellEntry| $ 63))))))))))
-(DEFUN |OUTFORM;sum;2$;96| (|a| $)
- (LIST (|OUTFORM;eform| 'SIGMA $) (SPADCALL (|getShellEntry| $ 12))
- |a|))
+(DEFUN |OUTFORM;sum;2$;97| (|a| $)
+ (|OUTFORM;bless|
+ (LIST (|OUTFORM;eform| 'SIGMA $)
+ (SPADCALL (|getShellEntry| $ 11)) |a|)
+ $))
-(DEFUN |OUTFORM;sum;3$;97| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'SIGMA $) |b| |a|))
+(DEFUN |OUTFORM;sum;3$;98| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SIGMA $) |b| |a|) $))
-(DEFUN |OUTFORM;sum;4$;98| (|a| |b| |c| $)
- (LIST (|OUTFORM;eform| 'SIGMA2 $) |b| |c| |a|))
+(DEFUN |OUTFORM;sum;4$;99| (|a| |b| |c| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'SIGMA2 $) |b| |c| |a|) $))
-(DEFUN |OUTFORM;prod;2$;99| (|a| $)
- (LIST (|OUTFORM;eform| 'PI $) (SPADCALL (|getShellEntry| $ 12)) |a|))
+(DEFUN |OUTFORM;prod;2$;100| (|a| $)
+ (|OUTFORM;bless|
+ (LIST (|OUTFORM;eform| 'PI $) (SPADCALL (|getShellEntry| $ 11))
+ |a|)
+ $))
-(DEFUN |OUTFORM;prod;3$;100| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'PI $) |b| |a|))
+(DEFUN |OUTFORM;prod;3$;101| (|a| |b| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'PI $) |b| |a|) $))
-(DEFUN |OUTFORM;prod;4$;101| (|a| |b| |c| $)
- (LIST (|OUTFORM;eform| 'PI2 $) |b| |c| |a|))
+(DEFUN |OUTFORM;prod;4$;102| (|a| |b| |c| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'PI2 $) |b| |c| |a|) $))
-(DEFUN |OUTFORM;int;2$;102| (|a| $)
- (LIST (|OUTFORM;eform| 'INTSIGN $) (SPADCALL (|getShellEntry| $ 12))
- (SPADCALL (|getShellEntry| $ 12)) |a|))
+(DEFUN |OUTFORM;int;2$;103| (|a| $)
+ (|OUTFORM;bless|
+ (LIST (|OUTFORM;eform| 'INTSIGN $)
+ (SPADCALL (|getShellEntry| $ 11))
+ (SPADCALL (|getShellEntry| $ 11)) |a|)
+ $))
-(DEFUN |OUTFORM;int;3$;103| (|a| |b| $)
- (LIST (|OUTFORM;eform| 'INTSIGN $) |b|
- (SPADCALL (|getShellEntry| $ 12)) |a|))
+(DEFUN |OUTFORM;int;3$;104| (|a| |b| $)
+ (|OUTFORM;bless|
+ (LIST (|OUTFORM;eform| 'INTSIGN $) |b|
+ (SPADCALL (|getShellEntry| $ 11)) |a|)
+ $))
-(DEFUN |OUTFORM;int;4$;104| (|a| |b| |c| $)
- (LIST (|OUTFORM;eform| 'INTSIGN $) |b| |c| |a|))
+(DEFUN |OUTFORM;int;4$;105| (|a| |b| |c| $)
+ (|OUTFORM;bless| (LIST (|OUTFORM;eform| 'INTSIGN $) |b| |c| |a|) $))
(DEFUN |OutputForm| ()
(PROG ()
(RETURN
- (PROG (#0=#:G1537)
+ (PROG (#0=#:G1538)
(RETURN
(COND
((LETT #0# (HGET |$ConstructorCache| '|OutputForm|)
@@ -515,240 +542,238 @@
(RETURN
(PROGN
(LETT |dv$| '(|OutputForm|) . #0=(|OutputForm|))
- (LETT $ (|newShell| 138) . #0#)
+ (LETT $ (|newShell| 135) . #0#)
(|setShellEntry| $ 0 |dv$|)
(|setShellEntry| $ 3
(LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
(|haddProp| |$ConstructorCache| '|OutputForm| NIL (CONS 1 $))
(|stuffDomainSlots| $)
- (|setShellEntry| $ 6 (|List| $))
$))))
(MAKEPROP '|OutputForm| '|infovec|
- (LIST '#(NIL NIL NIL NIL NIL NIL '|Rep| (|Void|)
- |OUTFORM;print;$V;1| (|Boolean|) (|String|) (0 . |empty?|)
- |OUTFORM;empty;$;71| |OUTFORM;message;S$;2|
- |OUTFORM;messagePrint;SV;3| |OUTFORM;=;2$B;4|
- |OUTFORM;=;3$;5| (|OutputForm|) |OUTFORM;coerce;2$;6|
- (|Integer|) |OUTFORM;outputForm;I$;7| (|Symbol|)
- |OUTFORM;outputForm;S$;8| (|DoubleFloat|)
- |OUTFORM;outputForm;Df$;9| (|Character|) (5 . |quote|)
- (9 . |concat|) (15 . |concat|) |OUTFORM;outputForm;S$;13|
- |OUTFORM;width;$I;14| |OUTFORM;height;$I;15|
- |OUTFORM;subHeight;$I;16| |OUTFORM;superHeight;$I;17|
- |OUTFORM;height;I;18| |OUTFORM;width;I;19|
- |OUTFORM;hspace;I$;27| |OUTFORM;hconcat;3$;46|
- |OUTFORM;center;$I$;20| |OUTFORM;left;$I$;21|
- |OUTFORM;right;$I$;22| |OUTFORM;center;2$;23|
- |OUTFORM;left;2$;24| |OUTFORM;right;2$;25|
- |OUTFORM;vspace;I$;26| |OUTFORM;vconcat;3$;48|
- |OUTFORM;rspace;2I$;28| (|List| $) (|List| 47)
- |OUTFORM;matrix;L$;29| |OUTFORM;pile;L$;30|
- |OUTFORM;commaSeparate;L$;31|
- |OUTFORM;semicolonSeparate;L$;32| (21 . |reverse|)
- (26 . |append|) |OUTFORM;blankSeparate;L$;33|
- |OUTFORM;brace;2$;34| |OUTFORM;brace;L$;35|
- |OUTFORM;bracket;2$;36| |OUTFORM;bracket;L$;37|
- |OUTFORM;paren;2$;38| |OUTFORM;paren;L$;39|
- |OUTFORM;sub;3$;40| |OUTFORM;super;3$;41|
- |OUTFORM;presub;3$;42| |OUTFORM;presuper;3$;43|
- (32 . |null|) (37 . |rest|) (42 . |first|)
- |OUTFORM;scripts;$L$;44| (|NonNegativeInteger|) (47 . |#|)
- (|List| $$) (52 . |append|) |OUTFORM;supersub;$L$;45|
- |OUTFORM;hconcat;L$;47| |OUTFORM;vconcat;L$;49|
- |OUTFORM;~=;3$;50| |OUTFORM;<;3$;51| |OUTFORM;>;3$;52|
- |OUTFORM;<=;3$;53| |OUTFORM;>=;3$;54| |OUTFORM;+;3$;55|
- |OUTFORM;-;3$;56| |OUTFORM;-;2$;57| |OUTFORM;*;3$;58|
- |OUTFORM;/;3$;59| |OUTFORM;**;3$;60| |OUTFORM;div;3$;61|
- |OUTFORM;rem;3$;62| |OUTFORM;quo;3$;63|
- |OUTFORM;exquo;3$;64| |OUTFORM;and;3$;65|
- |OUTFORM;or;3$;66| |OUTFORM;not;2$;67|
- |OUTFORM;SEGMENT;3$;68| |OUTFORM;SEGMENT;2$;69|
- |OUTFORM;binomial;3$;70| |OUTFORM;infix?;$B;72|
- |OUTFORM;elt;$L$;73| |OUTFORM;prefix;$L$;74| (58 . |rest|)
- |OUTFORM;infix;$L$;75| |OUTFORM;infix;4$;76|
- |OUTFORM;postfix;3$;77| |OUTFORM;string;2$;78|
- |OUTFORM;quote;2$;79| |OUTFORM;overbar;2$;80|
- |OUTFORM;dot;2$;81| |OUTFORM;prime;2$;82| (63 . |char|)
- |OUTFORM;dot;$Nni$;83| |OUTFORM;prime;$Nni$;84|
- |OUTFORM;overlabel;3$;85| |OUTFORM;box;2$;86|
- |OUTFORM;zag;3$;87| |OUTFORM;root;2$;88|
- |OUTFORM;root;3$;89| |OUTFORM;over;3$;90|
- |OUTFORM;slash;3$;91| |OUTFORM;assign;3$;92|
- |OUTFORM;label;3$;93| |OUTFORM;rarrow;3$;94|
- (|PositiveInteger|) (|NumberFormats|) (68 . |FormatRoman|)
- (73 . |lowerCase|) |OUTFORM;differentiate;$Nni$;95|
- |OUTFORM;sum;2$;96| |OUTFORM;sum;3$;97|
- |OUTFORM;sum;4$;98| |OUTFORM;prod;2$;99|
- |OUTFORM;prod;3$;100| |OUTFORM;prod;4$;101|
- |OUTFORM;int;2$;102| |OUTFORM;int;3$;103|
- |OUTFORM;int;4$;104| (|SingleInteger|))
- '#(~= 78 |zag| 90 |width| 96 |vspace| 105 |vconcat| 110
- |supersub| 121 |superHeight| 127 |super| 132 |sum| 138
- |subHeight| 156 |sub| 161 |string| 167 |slash| 172
- |semicolonSeparate| 178 |scripts| 183 |rspace| 189 |root|
- 195 |right| 206 |rem| 217 |rarrow| 223 |quote| 229 |quo|
- 234 |prod| 240 |print| 258 |prime| 263 |presuper| 274
- |presub| 280 |prefix| 286 |postfix| 292 |pile| 298 |paren|
- 303 |overlabel| 313 |overbar| 319 |over| 324 |outputForm|
- 330 |or| 350 |not| 356 |messagePrint| 361 |message| 366
- |matrix| 371 |left| 376 |latex| 387 |label| 392 |int| 398
- |infix?| 416 |infix| 421 |hspace| 434 |height| 439
- |hconcat| 448 |hash| 459 |exquo| 464 |empty| 470 |elt| 474
- |dot| 480 |div| 491 |differentiate| 497 |commaSeparate|
- 503 |coerce| 508 |center| 513 |bracket| 524 |brace| 534
- |box| 544 |blankSeparate| 549 |binomial| 554 |assign| 560
- |and| 566 SEGMENT 572 >= 583 > 589 = 595 <= 607 < 613 /
- 619 - 625 + 636 ** 642 * 648)
+ (LIST '#(NIL NIL NIL NIL NIL NIL (|Void|) |OUTFORM;print;$V;5|
+ (|Boolean|) (|String|) (0 . |empty?|) |OUTFORM;empty;$;72|
+ |OUTFORM;message;S$;6| |OUTFORM;messagePrint;SV;7|
+ |OUTFORM;=;2$B;8| |OUTFORM;=;3$;9| (|OutputForm|)
+ |OUTFORM;coerce;2$;10| (|Integer|)
+ |OUTFORM;outputForm;I$;11| (|Symbol|)
+ |OUTFORM;outputForm;S$;12| (|DoubleFloat|)
+ |OUTFORM;outputForm;Df$;13| (|Character|) (5 . |quote|)
+ (9 . |concat|) (15 . |concat|) |OUTFORM;outputForm;S$;14|
+ |OUTFORM;width;$I;15| |OUTFORM;height;$I;16|
+ |OUTFORM;subHeight;$I;17| |OUTFORM;superHeight;$I;18|
+ |OUTFORM;height;I;19| |OUTFORM;width;I;20|
+ |OUTFORM;hspace;I$;28| |OUTFORM;hconcat;3$;47|
+ |OUTFORM;center;$I$;21| |OUTFORM;left;$I$;22|
+ |OUTFORM;right;$I$;23| |OUTFORM;center;2$;24|
+ |OUTFORM;left;2$;25| |OUTFORM;right;2$;26|
+ |OUTFORM;vspace;I$;27| |OUTFORM;vconcat;3$;49|
+ |OUTFORM;rspace;2I$;29| (|List| $) (|List| 46)
+ |OUTFORM;matrix;L$;30| |OUTFORM;pile;L$;31|
+ |OUTFORM;commaSeparate;L$;32|
+ |OUTFORM;semicolonSeparate;L$;33| (|List| $$)
+ (21 . |reverse|) (26 . |append|)
+ |OUTFORM;blankSeparate;L$;34| |OUTFORM;brace;2$;35|
+ |OUTFORM;brace;L$;36| |OUTFORM;bracket;2$;37|
+ |OUTFORM;bracket;L$;38| |OUTFORM;paren;2$;39|
+ |OUTFORM;paren;L$;40| |OUTFORM;sub;3$;41|
+ |OUTFORM;super;3$;42| |OUTFORM;presub;3$;43|
+ |OUTFORM;presuper;3$;44| (32 . |null|) (37 . |rest|)
+ (42 . |first|) |OUTFORM;scripts;$L$;45|
+ (|NonNegativeInteger|) (47 . |#|)
+ |OUTFORM;supersub;$L$;46| |OUTFORM;hconcat;L$;48|
+ |OUTFORM;vconcat;L$;50| |OUTFORM;~=;3$;51|
+ |OUTFORM;<;3$;52| |OUTFORM;>;3$;53| |OUTFORM;<=;3$;54|
+ |OUTFORM;>=;3$;55| |OUTFORM;+;3$;56| |OUTFORM;-;3$;57|
+ |OUTFORM;-;2$;58| |OUTFORM;*;3$;59| |OUTFORM;/;3$;60|
+ |OUTFORM;**;3$;61| |OUTFORM;div;3$;62| |OUTFORM;rem;3$;63|
+ |OUTFORM;quo;3$;64| |OUTFORM;exquo;3$;65|
+ |OUTFORM;and;3$;66| |OUTFORM;or;3$;67| |OUTFORM;not;2$;68|
+ |OUTFORM;SEGMENT;3$;69| |OUTFORM;SEGMENT;2$;70|
+ |OUTFORM;binomial;3$;71| |OUTFORM;infix?;$B;73|
+ |OUTFORM;elt;$L$;74| |OUTFORM;prefix;$L$;75|
+ |OUTFORM;infix;$L$;76| |OUTFORM;infix;4$;77|
+ |OUTFORM;postfix;3$;78| |OUTFORM;string;2$;79|
+ |OUTFORM;quote;2$;80| |OUTFORM;overbar;2$;81|
+ |OUTFORM;dot;2$;82| |OUTFORM;prime;2$;83| (52 . |char|)
+ |OUTFORM;dot;$Nni$;84| |OUTFORM;prime;$Nni$;85|
+ |OUTFORM;overlabel;3$;86| |OUTFORM;box;2$;87|
+ |OUTFORM;zag;3$;88| |OUTFORM;root;2$;89|
+ |OUTFORM;root;3$;90| |OUTFORM;over;3$;91|
+ |OUTFORM;slash;3$;92| |OUTFORM;assign;3$;93|
+ |OUTFORM;label;3$;94| |OUTFORM;rarrow;3$;95|
+ (|PositiveInteger|) (|NumberFormats|) (57 . |FormatRoman|)
+ (62 . |lowerCase|) |OUTFORM;differentiate;$Nni$;96|
+ |OUTFORM;sum;2$;97| |OUTFORM;sum;3$;98|
+ |OUTFORM;sum;4$;99| |OUTFORM;prod;2$;100|
+ |OUTFORM;prod;3$;101| |OUTFORM;prod;4$;102|
+ |OUTFORM;int;2$;103| |OUTFORM;int;3$;104|
+ |OUTFORM;int;4$;105| (|SingleInteger|))
+ '#(~= 67 |zag| 79 |width| 85 |vspace| 94 |vconcat| 99
+ |supersub| 110 |superHeight| 116 |super| 121 |sum| 127
+ |subHeight| 145 |sub| 150 |string| 156 |slash| 161
+ |semicolonSeparate| 167 |scripts| 172 |rspace| 178 |root|
+ 184 |right| 195 |rem| 206 |rarrow| 212 |quote| 218 |quo|
+ 223 |prod| 229 |print| 247 |prime| 252 |presuper| 263
+ |presub| 269 |prefix| 275 |postfix| 281 |pile| 287 |paren|
+ 292 |overlabel| 302 |overbar| 308 |over| 313 |outputForm|
+ 319 |or| 339 |not| 345 |messagePrint| 350 |message| 355
+ |matrix| 360 |left| 365 |latex| 376 |label| 381 |int| 387
+ |infix?| 405 |infix| 410 |hspace| 423 |height| 428
+ |hconcat| 437 |hash| 448 |exquo| 453 |empty| 459 |elt| 463
+ |dot| 469 |div| 480 |differentiate| 486 |commaSeparate|
+ 492 |coerce| 497 |center| 502 |bracket| 513 |brace| 523
+ |box| 533 |blankSeparate| 538 |binomial| 543 |assign| 549
+ |and| 555 SEGMENT 561 >= 572 > 578 = 584 <= 596 < 602 /
+ 608 - 614 + 625 ** 631 * 637)
'NIL
(CONS (|makeByteWordVec2| 1 '(0 0 0))
(CONS '#(|SetCategory&| |BasicType&| NIL)
(CONS '#((|SetCategory|) (|BasicType|)
- (|CoercibleTo| 17))
- (|makeByteWordVec2| 137
- '(1 10 9 0 11 0 25 0 26 2 10 0 0 25 27
- 2 10 0 25 0 28 1 6 0 0 53 2 6 0 0 0
- 54 1 6 9 0 66 1 6 0 0 67 1 6 2 0 68 1
- 6 70 0 71 2 72 0 0 0 73 1 72 0 0 101
- 1 25 0 10 110 1 124 10 123 125 1 10 0
- 0 126 2 0 0 0 0 77 2 0 9 0 0 1 2 0 0
- 0 0 115 0 0 19 35 1 0 19 0 30 1 0 0
- 19 44 1 0 0 47 76 2 0 0 0 0 45 2 0 0
- 0 47 74 1 0 19 0 33 2 0 0 0 0 63 2 0
- 0 0 0 129 3 0 0 0 0 0 130 1 0 0 0 128
- 1 0 19 0 32 2 0 0 0 0 62 1 0 0 0 105
- 2 0 0 0 0 119 1 0 0 47 52 2 0 0 0 47
- 69 2 0 0 19 19 46 1 0 0 0 116 2 0 0 0
- 0 117 1 0 0 0 43 2 0 0 0 19 40 2 0 0
- 0 0 89 2 0 0 0 0 122 1 0 0 0 106 2 0
- 0 0 0 90 3 0 0 0 0 0 133 1 0 0 0 131
- 2 0 0 0 0 132 1 0 7 0 8 2 0 0 0 70
- 112 1 0 0 0 109 2 0 0 0 0 65 2 0 0 0
- 0 64 2 0 0 0 47 100 2 0 0 0 0 104 1 0
- 0 47 50 1 0 0 47 61 1 0 0 0 60 2 0 0
- 0 0 113 1 0 0 0 107 2 0 0 0 0 118 1 0
- 0 10 29 1 0 0 23 24 1 0 0 21 22 1 0 0
- 19 20 2 0 0 0 0 93 1 0 0 0 94 1 0 7
- 10 14 1 0 0 10 13 1 0 0 48 49 1 0 0 0
- 42 2 0 0 0 19 39 1 0 10 0 1 2 0 0 0 0
- 121 3 0 0 0 0 0 136 2 0 0 0 0 135 1 0
- 0 0 134 1 0 9 0 98 2 0 0 0 47 102 3 0
- 0 0 0 0 103 1 0 0 19 36 0 0 19 34 1 0
- 19 0 31 1 0 0 47 75 2 0 0 0 0 37 1 0
- 137 0 1 2 0 0 0 0 91 0 0 0 12 2 0 0 0
- 47 99 2 0 0 0 70 111 1 0 0 0 108 2 0
- 0 0 0 88 2 0 0 0 70 127 1 0 0 47 51 1
- 0 17 0 18 1 0 0 0 41 2 0 0 0 19 38 1
- 0 0 0 58 1 0 0 47 59 1 0 0 47 57 1 0
- 0 0 56 1 0 0 0 114 1 0 0 47 55 2 0 0
- 0 0 97 2 0 0 0 0 120 2 0 0 0 0 92 1 0
- 0 0 96 2 0 0 0 0 95 2 0 0 0 0 81 2 0
- 0 0 0 79 2 0 0 0 0 16 2 0 9 0 0 15 2
- 0 0 0 0 80 2 0 0 0 0 78 2 0 0 0 0 86
- 1 0 0 0 84 2 0 0 0 0 83 2 0 0 0 0 82
- 2 0 0 0 0 87 2 0 0 0 0 85)))))
+ (|CoercibleTo| 16))
+ (|makeByteWordVec2| 134
+ '(1 9 8 0 10 0 24 0 25 2 9 0 0 24 26 2
+ 9 0 24 0 27 1 52 0 0 53 2 52 0 0 0 54
+ 1 52 8 0 66 1 52 0 0 67 1 52 2 0 68 1
+ 52 70 0 71 1 24 0 9 107 1 121 9 120
+ 122 1 9 0 0 123 2 0 0 0 0 75 2 0 8 0
+ 0 1 2 0 0 0 0 112 0 0 18 34 1 0 18 0
+ 29 1 0 0 18 43 1 0 0 46 74 2 0 0 0 0
+ 44 2 0 0 0 46 72 1 0 18 0 32 2 0 0 0
+ 0 63 2 0 0 0 0 126 3 0 0 0 0 0 127 1
+ 0 0 0 125 1 0 18 0 31 2 0 0 0 0 62 1
+ 0 0 0 102 2 0 0 0 0 116 1 0 0 46 51 2
+ 0 0 0 46 69 2 0 0 18 18 45 1 0 0 0
+ 113 2 0 0 0 0 114 1 0 0 0 42 2 0 0 0
+ 18 39 2 0 0 0 0 87 2 0 0 0 0 119 1 0
+ 0 0 103 2 0 0 0 0 88 3 0 0 0 0 0 130
+ 1 0 0 0 128 2 0 0 0 0 129 1 0 6 0 7 2
+ 0 0 0 70 109 1 0 0 0 106 2 0 0 0 0 65
+ 2 0 0 0 0 64 2 0 0 0 46 98 2 0 0 0 0
+ 101 1 0 0 46 49 1 0 0 46 61 1 0 0 0
+ 60 2 0 0 0 0 110 1 0 0 0 104 2 0 0 0
+ 0 115 1 0 0 9 28 1 0 0 22 23 1 0 0 20
+ 21 1 0 0 18 19 2 0 0 0 0 91 1 0 0 0
+ 92 1 0 6 9 13 1 0 0 9 12 1 0 0 47 48
+ 1 0 0 0 41 2 0 0 0 18 38 1 0 9 0 1 2
+ 0 0 0 0 118 3 0 0 0 0 0 133 2 0 0 0 0
+ 132 1 0 0 0 131 1 0 8 0 96 2 0 0 0 46
+ 99 3 0 0 0 0 0 100 1 0 0 18 35 0 0 18
+ 33 1 0 18 0 30 1 0 0 46 73 2 0 0 0 0
+ 36 1 0 134 0 1 2 0 0 0 0 89 0 0 0 11
+ 2 0 0 0 46 97 2 0 0 0 70 108 1 0 0 0
+ 105 2 0 0 0 0 86 2 0 0 0 70 124 1 0 0
+ 46 50 1 0 16 0 17 1 0 0 0 40 2 0 0 0
+ 18 37 1 0 0 0 58 1 0 0 46 59 1 0 0 46
+ 57 1 0 0 0 56 1 0 0 0 111 1 0 0 46 55
+ 2 0 0 0 0 95 2 0 0 0 0 117 2 0 0 0 0
+ 90 1 0 0 0 94 2 0 0 0 0 93 2 0 0 0 0
+ 79 2 0 0 0 0 77 2 0 0 0 0 15 2 0 8 0
+ 0 14 2 0 0 0 0 78 2 0 0 0 0 76 2 0 0
+ 0 0 84 1 0 0 0 82 2 0 0 0 0 81 2 0 0
+ 0 0 80 2 0 0 0 0 85 2 0 0 0 0 83)))))
'|lookupComplete|))
(SETQ |$CategoryFrame|
(|put| '|OutputForm| '|isFunctor|
- '(((SEGMENT ($ $)) T (ELT $ 96))
- ((SEGMENT ($ $ $)) T (ELT $ 95))
- ((|not| ($ $)) T (ELT $ 94))
- ((|or| ($ $ $)) T (ELT $ 93))
- ((|and| ($ $ $)) T (ELT $ 92))
- ((|exquo| ($ $ $)) T (ELT $ 91))
- ((|quo| ($ $ $)) T (ELT $ 90))
- ((|rem| ($ $ $)) T (ELT $ 89))
- ((|div| ($ $ $)) T (ELT $ 88))
- ((** ($ $ $)) T (ELT $ 87)) ((/ ($ $ $)) T (ELT $ 86))
- ((* ($ $ $)) T (ELT $ 85)) ((- ($ $)) T (ELT $ 84))
- ((- ($ $ $)) T (ELT $ 83)) ((+ ($ $ $)) T (ELT $ 82))
- ((>= ($ $ $)) T (ELT $ 81)) ((<= ($ $ $)) T (ELT $ 80))
- ((> ($ $ $)) T (ELT $ 79)) ((< ($ $ $)) T (ELT $ 78))
- ((~= ($ $ $)) T (ELT $ 77)) ((= ($ $ $)) T (ELT $ 16))
+ '(((SEGMENT ($ $)) T (ELT $ 94))
+ ((SEGMENT ($ $ $)) T (ELT $ 93))
+ ((|not| ($ $)) T (ELT $ 92))
+ ((|or| ($ $ $)) T (ELT $ 91))
+ ((|and| ($ $ $)) T (ELT $ 90))
+ ((|exquo| ($ $ $)) T (ELT $ 89))
+ ((|quo| ($ $ $)) T (ELT $ 88))
+ ((|rem| ($ $ $)) T (ELT $ 87))
+ ((|div| ($ $ $)) T (ELT $ 86))
+ ((** ($ $ $)) T (ELT $ 85)) ((/ ($ $ $)) T (ELT $ 84))
+ ((* ($ $ $)) T (ELT $ 83)) ((- ($ $)) T (ELT $ 82))
+ ((- ($ $ $)) T (ELT $ 81)) ((+ ($ $ $)) T (ELT $ 80))
+ ((>= ($ $ $)) T (ELT $ 79)) ((<= ($ $ $)) T (ELT $ 78))
+ ((> ($ $ $)) T (ELT $ 77)) ((< ($ $ $)) T (ELT $ 76))
+ ((~= ($ $ $)) T (ELT $ 75)) ((= ($ $ $)) T (ELT $ 15))
((|blankSeparate| ($ (|List| $))) T (ELT $ 55))
- ((|semicolonSeparate| ($ (|List| $))) T (ELT $ 52))
- ((|commaSeparate| ($ (|List| $))) T (ELT $ 51))
- ((|pile| ($ (|List| $))) T (ELT $ 50))
+ ((|semicolonSeparate| ($ (|List| $))) T (ELT $ 51))
+ ((|commaSeparate| ($ (|List| $))) T (ELT $ 50))
+ ((|pile| ($ (|List| $))) T (ELT $ 49))
((|paren| ($ (|List| $))) T (ELT $ 61))
((|paren| ($ $)) T (ELT $ 60))
((|bracket| ($ (|List| $))) T (ELT $ 59))
((|bracket| ($ $)) T (ELT $ 58))
((|brace| ($ (|List| $))) T (ELT $ 57))
((|brace| ($ $)) T (ELT $ 56))
- ((|int| ($ $ $ $)) T (ELT $ 136))
- ((|int| ($ $ $)) T (ELT $ 135))
- ((|int| ($ $)) T (ELT $ 134))
- ((|prod| ($ $ $ $)) T (ELT $ 133))
- ((|prod| ($ $ $)) T (ELT $ 132))
- ((|prod| ($ $)) T (ELT $ 131))
- ((|sum| ($ $ $ $)) T (ELT $ 130))
- ((|sum| ($ $ $)) T (ELT $ 129))
- ((|sum| ($ $)) T (ELT $ 128))
- ((|overlabel| ($ $ $)) T (ELT $ 113))
- ((|overbar| ($ $)) T (ELT $ 107))
- ((|prime| ($ $ (|NonNegativeInteger|))) T (ELT $ 112))
- ((|prime| ($ $)) T (ELT $ 109))
- ((|dot| ($ $ (|NonNegativeInteger|))) T (ELT $ 111))
- ((|dot| ($ $)) T (ELT $ 108))
- ((|quote| ($ $)) T (ELT $ 106))
- ((|supersub| ($ $ (|List| $))) T (ELT $ 74))
+ ((|int| ($ $ $ $)) T (ELT $ 133))
+ ((|int| ($ $ $)) T (ELT $ 132))
+ ((|int| ($ $)) T (ELT $ 131))
+ ((|prod| ($ $ $ $)) T (ELT $ 130))
+ ((|prod| ($ $ $)) T (ELT $ 129))
+ ((|prod| ($ $)) T (ELT $ 128))
+ ((|sum| ($ $ $ $)) T (ELT $ 127))
+ ((|sum| ($ $ $)) T (ELT $ 126))
+ ((|sum| ($ $)) T (ELT $ 125))
+ ((|overlabel| ($ $ $)) T (ELT $ 110))
+ ((|overbar| ($ $)) T (ELT $ 104))
+ ((|prime| ($ $ (|NonNegativeInteger|))) T (ELT $ 109))
+ ((|prime| ($ $)) T (ELT $ 106))
+ ((|dot| ($ $ (|NonNegativeInteger|))) T (ELT $ 108))
+ ((|dot| ($ $)) T (ELT $ 105))
+ ((|quote| ($ $)) T (ELT $ 103))
+ ((|supersub| ($ $ (|List| $))) T (ELT $ 72))
((|scripts| ($ $ (|List| $))) T (ELT $ 69))
((|presuper| ($ $ $)) T (ELT $ 65))
((|presub| ($ $ $)) T (ELT $ 64))
((|super| ($ $ $)) T (ELT $ 63))
((|sub| ($ $ $)) T (ELT $ 62))
- ((|binomial| ($ $ $)) T (ELT $ 97))
+ ((|binomial| ($ $ $)) T (ELT $ 95))
((|differentiate| ($ $ (|NonNegativeInteger|))) T
- (ELT $ 127))
- ((|rarrow| ($ $ $)) T (ELT $ 122))
- ((|assign| ($ $ $)) T (ELT $ 120))
- ((|slash| ($ $ $)) T (ELT $ 119))
- ((|over| ($ $ $)) T (ELT $ 118))
- ((|root| ($ $ $)) T (ELT $ 117))
- ((|root| ($ $)) T (ELT $ 116))
- ((|zag| ($ $ $)) T (ELT $ 115))
- ((|matrix| ($ (|List| (|List| $)))) T (ELT $ 49))
- ((|box| ($ $)) T (ELT $ 114))
- ((|label| ($ $ $)) T (ELT $ 121))
- ((|string| ($ $)) T (ELT $ 105))
- ((|elt| ($ $ (|List| $))) T (ELT $ 99))
- ((|infix?| ((|Boolean|) $)) T (ELT $ 98))
- ((|postfix| ($ $ $)) T (ELT $ 104))
- ((|infix| ($ $ $ $)) T (ELT $ 103))
- ((|infix| ($ $ (|List| $))) T (ELT $ 102))
- ((|prefix| ($ $ (|List| $))) T (ELT $ 100))
- ((|vconcat| ($ (|List| $))) T (ELT $ 76))
- ((|hconcat| ($ (|List| $))) T (ELT $ 75))
- ((|vconcat| ($ $ $)) T (ELT $ 45))
- ((|hconcat| ($ $ $)) T (ELT $ 37))
- ((|center| ($ $)) T (ELT $ 41))
- ((|right| ($ $)) T (ELT $ 43))
- ((|left| ($ $)) T (ELT $ 42))
- ((|center| ($ $ (|Integer|))) T (ELT $ 38))
- ((|right| ($ $ (|Integer|))) T (ELT $ 40))
- ((|left| ($ $ (|Integer|))) T (ELT $ 39))
- ((|rspace| ($ (|Integer|) (|Integer|))) T (ELT $ 46))
- ((|vspace| ($ (|Integer|))) T (ELT $ 44))
- ((|hspace| ($ (|Integer|))) T (ELT $ 36))
- ((|superHeight| ((|Integer|) $)) T (ELT $ 33))
- ((|subHeight| ((|Integer|) $)) T (ELT $ 32))
- ((|height| ((|Integer|))) T (ELT $ 34))
- ((|width| ((|Integer|))) T (ELT $ 35))
- ((|height| ((|Integer|) $)) T (ELT $ 31))
- ((|width| ((|Integer|) $)) T (ELT $ 30))
- ((|empty| ($)) T (ELT $ 12))
- ((|outputForm| ($ (|DoubleFloat|))) T (ELT $ 24))
- ((|outputForm| ($ (|String|))) T (ELT $ 29))
- ((|outputForm| ($ (|Symbol|))) T (ELT $ 22))
- ((|outputForm| ($ (|Integer|))) T (ELT $ 20))
- ((|messagePrint| ((|Void|) (|String|))) T (ELT $ 14))
- ((|message| ($ (|String|))) T (ELT $ 13))
- ((|print| ((|Void|) $)) T (ELT $ 8))
+ (ELT $ 124))
+ ((|rarrow| ($ $ $)) T (ELT $ 119))
+ ((|assign| ($ $ $)) T (ELT $ 117))
+ ((|slash| ($ $ $)) T (ELT $ 116))
+ ((|over| ($ $ $)) T (ELT $ 115))
+ ((|root| ($ $ $)) T (ELT $ 114))
+ ((|root| ($ $)) T (ELT $ 113))
+ ((|zag| ($ $ $)) T (ELT $ 112))
+ ((|matrix| ($ (|List| (|List| $)))) T (ELT $ 48))
+ ((|box| ($ $)) T (ELT $ 111))
+ ((|label| ($ $ $)) T (ELT $ 118))
+ ((|string| ($ $)) T (ELT $ 102))
+ ((|elt| ($ $ (|List| $))) T (ELT $ 97))
+ ((|infix?| ((|Boolean|) $)) T (ELT $ 96))
+ ((|postfix| ($ $ $)) T (ELT $ 101))
+ ((|infix| ($ $ $ $)) T (ELT $ 100))
+ ((|infix| ($ $ (|List| $))) T (ELT $ 99))
+ ((|prefix| ($ $ (|List| $))) T (ELT $ 98))
+ ((|vconcat| ($ (|List| $))) T (ELT $ 74))
+ ((|hconcat| ($ (|List| $))) T (ELT $ 73))
+ ((|vconcat| ($ $ $)) T (ELT $ 44))
+ ((|hconcat| ($ $ $)) T (ELT $ 36))
+ ((|center| ($ $)) T (ELT $ 40))
+ ((|right| ($ $)) T (ELT $ 42))
+ ((|left| ($ $)) T (ELT $ 41))
+ ((|center| ($ $ (|Integer|))) T (ELT $ 37))
+ ((|right| ($ $ (|Integer|))) T (ELT $ 39))
+ ((|left| ($ $ (|Integer|))) T (ELT $ 38))
+ ((|rspace| ($ (|Integer|) (|Integer|))) T (ELT $ 45))
+ ((|vspace| ($ (|Integer|))) T (ELT $ 43))
+ ((|hspace| ($ (|Integer|))) T (ELT $ 35))
+ ((|superHeight| ((|Integer|) $)) T (ELT $ 32))
+ ((|subHeight| ((|Integer|) $)) T (ELT $ 31))
+ ((|height| ((|Integer|))) T (ELT $ 33))
+ ((|width| ((|Integer|))) T (ELT $ 34))
+ ((|height| ((|Integer|) $)) T (ELT $ 30))
+ ((|width| ((|Integer|) $)) T (ELT $ 29))
+ ((|empty| ($)) T (ELT $ 11))
+ ((|outputForm| ($ (|DoubleFloat|))) T (ELT $ 23))
+ ((|outputForm| ($ (|String|))) T (ELT $ 28))
+ ((|outputForm| ($ (|Symbol|))) T (ELT $ 21))
+ ((|outputForm| ($ (|Integer|))) T (ELT $ 19))
+ ((|messagePrint| ((|Void|) (|String|))) T (ELT $ 13))
+ ((|message| ($ (|String|))) T (ELT $ 12))
+ ((|print| ((|Void|) $)) T (ELT $ 7))
((|latex| ((|String|) $)) T (ELT $ NIL))
((|hash| ((|SingleInteger|) $)) T (ELT $ NIL))
- ((|coerce| ((|OutputForm|) $)) T (ELT $ 18))
- ((= ((|Boolean|) $ $)) T (ELT $ 15))
+ ((|coerce| ((|OutputForm|) $)) T (ELT $ 17))
+ ((= ((|Boolean|) $ $)) T (ELT $ 14))
((~= ((|Boolean|) $ $)) T (ELT $ NIL)))
(|addModemap| '|OutputForm| '(|OutputForm|)
'((|Join| (|SetCategory|)
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 09:33:19 +0000