Dnia Thu, Sep 07, 2023 at 07:29:21PM +0800, Qian Yun napisał(a):
> There was test failures for Clozure CL (CCL) before:
>
> agcd.output: 1
> integ.output: 1
> lodof.output: 1
> mantepse.output: 2
>
> And new failures after recent commit:
> (see https://github.com/fricas/fricas/issues/135)
>
> fftst.output: 17
>
> The error message is "Error reporting error" which comes from
> CCL instead of FriCAS.
>
> After some debugging, I find that following patch fixes these
> test failures, which strongly suggest the root cause is inside
> CCL compiler:
>
> I just rewrite the nested assignment into two assignments.
>
> - Qian
>
> diff --git a/src/algebra/ffact.spad b/src/algebra/ffact.spad
> index c857f48c..dc459304 100644
> --- a/src/algebra/ffact.spad
> +++ b/src/algebra/ffact.spad
> @@ -321,7 +321,8 @@ ModularFactorizationTools1 : Exports == Implementation
> where
> tmp2 := new(qcoerce(nr0)@NNI, 0)$U32Vector
> for j in 0..(nc - 1) repeat
> for i in 0..(nr0 - 1) repeat
> - tmp2(i) := tmp1(i) := m(i, j)
> + tmp1(i) := m(i, j)
> + tmp2(i) := tmp1(i)
> if j < nr1 then
> rtmp := red_pol!(tmp1, rdata1)
> for i in 0..(nr1 - 1) repeat
Thanks for tracking this. It would be good to report trouble to
Clozure CL folks. But should also commit the fix.
BTW: After
)set break break
Clozure CL seem to just exit on this error, that clearly is
not desired behaviour of Clozure CL (and "Error reporting error"
indicates the same).
--
Waldek Hebisch
--
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/ZPoa%2BxvyxUlTzJPr%40mail.math.uni.wroc.pl.
