When running test suite with CMUCL, there's one error from finite.input:
testTrue "testLookupIndex(CharacterClass)"
Because it calls "size()$CharacterClass", which is "2^size()$Character",
"2^1114112".
First, for CMUCL it gives error because the exponent exceeds
extensions:*intexp-maximum-exponent* (which is 10000).
That is unreasonably small, we should consider to loosen it.
Second, since we limit number of possible Character in CharacterClass to
be 256, then "size()$CharacterClass" should be "2^256" instead.
- Qian
=====
diff --git a/src/algebra/string.spad b/src/algebra/string.spad
index 51dfebef..bf47ec1b 100644
--- a/src/algebra/string.spad
+++ b/src/algebra/string.spad
@@ -205,6 +205,7 @@ CharacterClass : Join(SetCategory, ConvertibleTo String,
# a == (n := 0; for i in 0..N-1 | a.i repeat n :=
n+1; n)
empty() : % == charClass []
set() : % == empty()
+ size() == 2^N
insert!(c, a) ==
(i := ord c) < N => (a(i) := true; a)
diff --git a/src/lisp/fricas-lisp.lisp b/src/lisp/fricas-lisp.lisp
index b0d8ac44..aded751a 100644
--- a/src/lisp/fricas-lisp.lisp
+++ b/src/lisp/fricas-lisp.lisp
@@ -28,6 +28,7 @@
(defun set-initial-parameters()
(setq debug:*debug-print-length* 1024)
(setq debug:*debug-print-level* 1024)
+ (setq extensions:*intexp-maximum-exponent* 2000000)
(setf *read-default-float-format* 'double-float))
#-:sbcl
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/b90593e3-2fe4-4e7f-8cc0-66010bb145e4%40gmail.com.
