sbcl-2.4.2 takes much more time to compile FriCAS

[Qian Yun]

I can compile fricas with 8 threads in 2 minutes, but with sbcl-2.4.2
it takes over 6 minutes.

I have observed that sbcl-2.4.2 takes minutes instead of seconds to
compile RSIMP.spad/COMMONOP.spad.

I have not bisected sbcl yet.

- Qian

[Grégory Vanuxem]

Hello Qian,

Maybe that is of interest, I do not know. Personally I have not
installed this version because of that:

Thread: [Sbcl-help] change to standard-char-p in SBCL 2.4.2 | Steel
Bank Common Lisp (sourceforge.net)
https://sourceforge.net/p/sbcl/mailman/sbcl-help/thread/21f97c68-5d35-4e99-a77b-86793483e4bb%40gmail.com/#msg58744389

Regards,

- Greg

> --
> 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 fricas-devel...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/6674669d-33ed-4a9f-99c7-f02db4e97943%40gmail.com.

[Grégory Vanuxem]

Sorry,
The beginning of this thread:
https://sourceforge.net/p/sbcl/mailman/message/58743976/

[Andrey G. Grozin]

> Le lun. 4 mars 2024 à 11:25, Qian Yun <oldk...@gmail.com> a écrit :
>>
>> I can compile fricas with 8 threads in 2 minutes, but with sbcl-2.4.2
>> it takes over 6 minutes.
>>
>> I have observed that sbcl-2.4.2 takes minutes instead of seconds to
>> compile RSIMP.spad/COMMONOP.spad.

I confirm that compiling fricas with sbcl-2.4.2 takes much longer than
with 2.4.1.

Andrey

[Qian Yun]

I have bisected to this commit:

https://github.com/sbcl/sbcl/commit/c2a71639b7c3ae5f3f0abe08cf9e8cf0cafcdbb4

"map-equality-constraints: process type ranges, not just constants."

I'll report to sbcl-bugs list later.

- Qian

[Qian Yun]

I have reported to upstream sbcl-bugs list.

And the fix is:
https://github.com/sbcl/sbcl/commit/629a96c3176fbf71674aedb6b3090a5af54e7b5d

I can confirm it works.

- Qian