SBCL 2.5.5.114-85e41f89c / ASDF 3.3.5
WARNING: System definition file #P"/home/quicklisp/quicklisp-controller/dist/build-cache/stefil/f974b02c814ebaaa804f2ecf4c86b0a18abfe6b2/stefil-20250718-git/stefil.asd" contains definition for system "stefil-test". Please only define "stefil" and secondary systems with a name starting with "stefil/" (e.g. "stefil/test") in that file. ; file: /home/quicklisp/quicklisp-controller/dist/build-cache/cl-primality/7698c3bcc32494cc4acf4ee91166745160668904/cl-primality-20250718-git/cl-primality.lisp ; in: DEFUN MILLER-RABIN ; (= CL-PRIMALITY::N 1) ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a SINGLE-FLOAT. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a DOUBLE-FLOAT. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX SINGLE-FLOAT). ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX DOUBLE-FLOAT). ; ; note: unable to open code because: The operands might not be the same type. ; (= CL-PRIMALITY::N 2) ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a SINGLE-FLOAT. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a DOUBLE-FLOAT. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX SINGLE-FLOAT). ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX DOUBLE-FLOAT). ; ; note: unable to open code because: The operands might not be the same type. ; (CEILING (LOG CL-PRIMALITY::CHANCE-OF-ERROR 1/4)) ; ; note: unable to optimize due to type uncertainty: The first argument is a FLOAT, not a SINGLE-FLOAT. ; ; note: unable to optimize due to type uncertainty: The first argument is a FLOAT, not a DOUBLE-FLOAT. ; (= CL-PRIMALITY::N-ITER 0) ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a SINGLE-FLOAT. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a DOUBLE-FLOAT. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX SINGLE-FLOAT). ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX DOUBLE-FLOAT). ; ; note: unable to open code because: The operands might not be the same type. ; (RANDOM (- CL-PRIMALITY::N 1)) ; ; note: unable to Use inline float operations. due to type uncertainty: The first argument is a (OR (FLOAT (0.0)) (INTEGER 1)), not a SINGLE-FLOAT. ; ; note: unable to Use inline float operations. due to type uncertainty: The first argument is a (OR (FLOAT (0.0)) (INTEGER 1)), not a DOUBLE-FLOAT. ; (- CL-PRIMALITY::N 1) ; ; note: forced to do GENERIC-- (cost 10) ; unable to do inline fixnum arithmetic (cost 1) because: ; The first argument is a NUMBER, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; unable to do inline fixnum arithmetic (cost 2) because: ; The first argument is a NUMBER, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; etc. ; (1+ (RANDOM (- CL-PRIMALITY::N 1))) ; ; note: forced to do GENERIC-+ (cost 10) ; unable to do inline fixnum arithmetic (cost 1) because: ; The first argument is a (OR (FLOAT 0.0) UNSIGNED-BYTE), not a FIXNUM. ; The result is a (VALUES (OR (FLOAT 1.0) (INTEGER 1)) &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; unable to do inline fixnum arithmetic (cost 2) because: ; The first argument is a (OR (FLOAT 0.0) UNSIGNED-BYTE), not a FIXNUM. ; The result is a (VALUES (OR (FLOAT 1.0) (INTEGER 1)) &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; etc. ; (- CL-PRIMALITY::N-ITER 1) ; ; note: forced to do GENERIC-- (cost 10) ; unable to do inline fixnum arithmetic (cost 1) because: ; The first argument is a NUMBER, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; unable to do inline fixnum arithmetic (cost 2) because: ; The first argument is a NUMBER, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; etc. ; in: DEFUN MILLER-RABIN-PASS ; (= 1 (CL-PRIMALITY:EXPT-MOD CL-PRIMALITY::A CL-PRIMALITY::D CL-PRIMALITY::N)) ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a SINGLE-FLOAT. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a DOUBLE-FLOAT. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX SINGLE-FLOAT). ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX DOUBLE-FLOAT). ; ; note: unable to open code because: The operands might not be the same type. ; (= (- CL-PRIMALITY::N 1) CL-PRIMALITY::A-LOC) ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a SINGLE-FLOAT.The second argument is a NUMBER, not a RATIONAL. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a DOUBLE-FLOAT.The second argument is a NUMBER, not a RATIONAL. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX SINGLE-FLOAT).The second argument is a NUMBER, not a RATIONAL. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX DOUBLE-FLOAT).The second argument is a NUMBER, not a RATIONAL. ; ; note: unable to open code because: The operands might not be the same type. ; (= CL-PRIMALITY::I CL-PRIMALITY::S) ; ; note: unable to open code because: The operands might not be the same type. ; (/= CL-PRIMALITY::I CL-PRIMALITY::S) ; ; note: unable to open code because: The operands might not be the same type. ; (= (- CL-PRIMALITY::N 1) CL-PRIMALITY::A-LOC) ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a SINGLE-FLOAT.The second argument is a NUMBER, not a RATIONAL. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a DOUBLE-FLOAT.The second argument is a NUMBER, not a RATIONAL. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX SINGLE-FLOAT).The second argument is a NUMBER, not a RATIONAL. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX DOUBLE-FLOAT).The second argument is a NUMBER, not a RATIONAL. ; ; note: unable to open code because: The operands might not be the same type. ; (= CL-PRIMALITY::N 0) ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a SINGLE-FLOAT. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a DOUBLE-FLOAT. ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX SINGLE-FLOAT). ; ; note: unable to open-code FLOAT to RATIONAL comparison due to type uncertainty: The first argument is a NUMBER, not a (COMPLEX DOUBLE-FLOAT). ; ; note: unable to open code because: The operands might not be the same type. ; (/ CL-PRIMALITY::N 2) ; ; note: unable to optimize due to type uncertainty: The result is a (VALUES RATIONAL &OPTIONAL), not a (VALUES INTEGER &REST T). ; (- CL-PRIMALITY::N 1) ; ; note: forced to do GENERIC-- (cost 10) ; unable to do inline fixnum arithmetic (cost 1) because: ; The first argument is a T, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; unable to do inline fixnum arithmetic (cost 2) because: ; The first argument is a T, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; etc. ; (1+ CL-PRIMALITY::S) ; ; note: forced to do GENERIC-+ (cost 10) ; unable to do inline fixnum arithmetic (cost 1) because: ; The first argument is a NUMBER, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; unable to do inline fixnum arithmetic (cost 2) because: ; The first argument is a NUMBER, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; etc. ; (- CL-PRIMALITY::N 1) ; ; note: forced to do GENERIC-- (cost 10) ; unable to do inline fixnum arithmetic (cost 1) because: ; The first argument is a NUMBER, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; unable to do inline fixnum arithmetic (cost 2) because: ; The first argument is a NUMBER, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; etc. ; (= (- CL-PRIMALITY::N 1) CL-PRIMALITY::A-LOC) ; ; note: forced to do GENERIC-= (cost 10) ; unable to do inline float comparison (cost 3) because: ; The first argument is a NUMBER, not a SINGLE-FLOAT. ; The second argument is a T, not a SINGLE-FLOAT. ; unable to do inline float comparison (cost 3) because: ; The first argument is a NUMBER, not a SINGLE-FLOAT. ; The second argument is a T, not a (COMPLEX SINGLE-FLOAT). ; etc. ; (1+ CL-PRIMALITY::I) ; ; note: forced to do GENERIC-+ (cost 10) ; unable to do inline fixnum arithmetic (cost 1) because: ; The first argument is a UNSIGNED-BYTE, not a FIXNUM. ; The result is a (VALUES (INTEGER 1) &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; unable to do inline fixnum arithmetic (cost 2) because: ; The first argument is a UNSIGNED-BYTE, not a FIXNUM. ; The result is a (VALUES (INTEGER 1) &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; etc. ; (- CL-PRIMALITY::N 1) ; ; note: forced to do GENERIC-- (cost 10) ; unable to do inline fixnum arithmetic (cost 1) because: ; The first argument is a NUMBER, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; unable to do inline fixnum arithmetic (cost 2) because: ; The first argument is a NUMBER, not a FIXNUM. ; The result is a (VALUES NUMBER &OPTIONAL), not a (VALUES FIXNUM &OPTIONAL). ; etc. ; (= (- CL-PRIMALITY::N 1) CL-PRIMALITY::A-LOC) ; ; note: forced to do GENERIC-= (cost 10) ; unable to do inline float comparison (cost 3) because: ; The first argument is a NUMBER, not a SINGLE-FLOAT. ; The second argument is a T, not a SINGLE-FLOAT. ; unable to do inline float comparison (cost 3) because: ; The first argument is a NUMBER, not a SINGLE-FLOAT. ; The second argument is a T, not a (COMPLEX SINGLE-FLOAT). ; etc. ; in: DEFUN PRIMEP ; (DEFUN CL-PRIMALITY:PRIMEP (CL-PRIMALITY::N) ; "Determine if N is prime." ; (DECLARE (INLINE CL-PRIMALITY::MILLER-RABIN) ; (TYPE INTEGER CL-PRIMALITY::N)) ; (CL-PRIMALITY::MILLER-RABIN CL-PRIMALITY::N 1.0d-300)) ; ==> ; (SB-IMPL::%DEFUN 'CL-PRIMALITY:PRIMEP ; (SB-INT:NAMED-LAMBDA CL-PRIMALITY:PRIMEP ; (CL-PRIMALITY::N) ; (DECLARE (SB-C::TOP-LEVEL-FORM)) ; "Determine if N is prime." ; (DECLARE (INLINE CL-PRIMALITY::MILLER-RABIN) ; (TYPE INTEGER CL-PRIMALITY::N)) ; (BLOCK CL-PRIMALITY:PRIMEP ; (CL-PRIMALITY::MILLER-RABIN CL-PRIMALITY::N 1.0d-300)))) ; ; caught STYLE-WARNING: ; Call to CL-PRIMALITY::MILLER-RABIN could not be inlined because its source code was not saved. A global INLINE or SB-EXT:MAYBE-INLINE proclamation must be in effect to save function definitions for inlining. WARNING: Lisp compilation had style-warnings while compiling #<CL-SOURCE-FILE "cl-primality" "cl-primality"> ; file: /home/quicklisp/quicklisp-controller/dist/build-cache/cl-factoring/773a33d4c38725d5eb0282dc64e2c880c48c38a5/cl-factoring-20250718-git/ulimyhmpqs-1.0.lisp ; in: DEFUN A-GENERATOR ; (IF ULIMY-HMPQS::REPORT2 ; (FORMAT T "Out of hypercubes at ~S~%" ULIMY-HMPQS::LOG10N)) ; ; note: deleting unreachable code ; (- ULIMY-HMPQS::*NR-OF-STORED-PRIMES* 1 (RANDOM 10000)) ; ; note: deleting unreachable code ; (MULTIPLE-VALUE-BIND (ULIMY-HMPQS::HELPF ULIMY-HMPQS::TTLT) ; (ULIMY-HMPQS::QS (* ULIMY-HMPQS::N ULIMY-HMPQS::HELP) :REPORT2 ; ULIMY-HMPQS::REPORT2) ; (LET ((ULIMY-HMPQS::F (REMOVE ULIMY-HMPQS::HELP ULIMY-HMPQS::HELPF))) ; (ULIMY-HMPQS::CENTERED-REPORT2 ULIMY-HMPQS::F) ; (VALUES ULIMY-HMPQS::F ULIMY-HMPQS::TTLT))) ; ; note: deleting unreachable code Unhandled SB-EXT:DEFCONSTANT-UNEQL in thread #<SB-THREAD:THREAD tid=4050893 "main thread" RUNNING {1200F08003}>: The constant MINUTES-PER-INTERNAL-TIME-UNIT is being redefined (from 1.6666668e-8 to 1.6666666e-8) See also: The ANSI Standard, Macro DEFCONSTANT The SBCL Manual, Node "Idiosyncrasies" Backtrace for: #<SB-THREAD:THREAD tid=4050893 "main thread" RUNNING {1200F08003}> 0: (SB-DEBUG::DEBUGGER-DISABLED-HOOK #<SB-EXT:DEFCONSTANT-UNEQL {1209DDB933}> #<unused argument> :QUIT T) 1: (SB-DEBUG::RUN-HOOK SB-EXT:*INVOKE-DEBUGGER-HOOK* #<SB-EXT:DEFCONSTANT-UNEQL {1209DDB933}>) 2: (INVOKE-DEBUGGER #<SB-EXT:DEFCONSTANT-UNEQL {1209DDB933}>) 3: (CERROR "Go ahead and change the value." #<SB-EXT:DEFCONSTANT-UNEQL {1209DDB933}>) 4: (SB-KERNEL:WITH-SIMPLE-CONDITION-RESTARTS CERROR "Go ahead and change the value." SB-EXT:DEFCONSTANT-UNEQL :NAME MINUTES-PER-INTERNAL-TIME-UNIT :OLD-VALUE 1.6666668e-8 :NEW-VALUE 1.6666666e-8) 5: (SB-IMPL::%DEFCONSTANT MINUTES-PER-INTERNAL-TIME-UNIT 1.6666666e-8 #S(SB-C:DEFINITION-SOURCE-LOCATION :NAMESTRING "/home/quicklisp/quicklisp-controller/dist/build-cache/cl-factoring/773a33d4c38725d5eb0282dc64e2c880c48c38a5/cl-factoring-20250718-git/ulimyhmpqs-1.0.lisp" :INDICES 2260993) NIL) 6: ("top level form") [toplevel] 7: (SB-FASL::LOAD-FASL-GROUP #S(SB-FASL::FASL-INPUT :STREAM #<SB-SYS:FD-STREAM for #<(SIMPLE-BASE-STRING 227) file /home/quicklisp/.cache/common-lisp/sbcl-2.5.5.114-85e41f89c-linux-x64/home/quicklisp/quicklisp-controller/dist/build-cache/cl-factoring/773a33d4c38725d5eb0282dc64e2c880c48c38a5/cl-factoring-20250... {1209CE223F}> {1209CE2383}> :TABLE #(1624 #1="/home/quicklisp/quicklisp-controller/dist/build-cache/cl-factoring/773a33d4c38725d5eb0282dc64e2c880c48c38a5/cl-factoring-20250718-git/ulimyhmpqs-1.0.lisp" #2="ULIMY-HMPQS" #3="CL" (#3#) #4="HMPQS" (#4#) (#2#) #<SB-KERNEL:LAYOUT (ID=-4) for SB-C:DEFINITION-SOURCE-LOCATION {500005B3}> #S(SB-C:DEFINITION-SOURCE-LOCATION :NAMESTRING #1# :INDICES 32769) #5="top level form" #<PACKAGE "COMMON-LISP-USER"> ...) :STACK #(0 #<FUNCTION #5# {1204FA3C9B}> SIEVE-FOR-AB B-GENERATOR FB-LOG-SUM TOPOFF-INDEX #S(SB-C:DEFINITION-SOURCE-LOCATION :NAMESTRING #1# :INDICES 2031617) TOPOFF-BUCKET #S(SB-C:DEFINITION-SOURCE-LOCATION :NAMESTRING #1# :INDICES 2064385) MAKE-TOPOFF-N-CUBES #S(SB-C:DEFINITION-SOURCE-LOCATION :NAMESTRING #1# :INDICES 2097153) MERGE-CUBES ...) :NAME-BUFFER #("