Bump +MAXIMAL-DIMENSION+ by 1.

This commit is contained in:
Gerd Heber 2015-07-10 20:35:09 -05:00
parent 097873d88c
commit 4773e918cf

View File

@ -64,7 +64,7 @@ complexes.")
(SETF *CHCM-LIST* +EMPTY-LIST+)
(PUSHNEW '*CHCM-LIST* *LIST-LIST*)
(DEFPARAMETER +MAXIMAL-DIMENSION+ 15)
(DEFPARAMETER +MAXIMAL-DIMENSION+ 16)
(DEFVAR *MRPH-LIST*
"This variable is bound to a list of user created morphisms.")