diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-26 00:48:34 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-26 00:48:34 +0000 |
commit | fb209a840dc764bdfa285ad3cb7575df21a43289 (patch) | |
tree | 22c5f97139814096d211f26b4daa059b0d85d10b /src/algebra/catdef.spad.pamphlet | |
parent | a4c3f01ad687e6b8a29db845f725c00b06016f36 (diff) | |
download | open-axiom-fb209a840dc764bdfa285ad3cb7575df21a43289.tar.gz |
r12485@gauss: gdr | 2008-12-17 16:26:21 -0600
Branch to improve reflection.
r12493@gauss: gdr | 2008-12-20 23:29:51 -0600
Add domain representations for constructors.
r12494@gauss: gdr | 2008-12-21 14:27:37 -0600
Consolidate constructor domains.
r12502@gauss: gdr | 2008-12-22 20:36:21 -0600
Constructors are values.
r12504@gauss: gdr | 2008-12-25 13:58:01 -0600
r12505@gauss: gdr | 2008-12-25 18:48:04 -0600
Commit ChangeLog.
Diffstat (limited to 'src/algebra/catdef.spad.pamphlet')
-rw-r--r-- | src/algebra/catdef.spad.pamphlet | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet index 45d087d0..42aeedb3 100644 --- a/src/algebra/catdef.spad.pamphlet +++ b/src/algebra/catdef.spad.pamphlet @@ -1630,7 +1630,7 @@ SetCategory(): Category == Join(BasicType,CoercibleTo OutputForm) with latex: % -> String ++ latex(s) returns a LaTeX-printable output ++ representation of s. add - hash(s : %): SingleInteger == 0$SingleInteger + hash(s : %): SingleInteger == SXHASH(s)$Lisp latex(s : %): String == "\mbox{\bf Unimplemented}" @ |