Re: [fricas-devel] serious bug in integrate. Fails first time, OK second time. 1.3.6 version
Yes, you are right, when I was comparing function call traces from the diff, the first call difference (in the wrong version) is that the argument to 'map' is 1 instead of an expression. So this diff should exposed a bug. On Fri, Mar 27, 2020, 11:25 PM Waldek Hebisch wrote: > > Error is detected in 'split' in MONOTOOL. The actual error is > in 'gcd': first 'gcd' returns wrong result, it gives 1 while > polynomial has multiple factors. The second 'gcd' looks is OK. > > It is not clear if change above introduced bug, it is more > likely that it merely triggered already present bug. > > -- > 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 fricas-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/20200327152537.GA9372%40math.uni.wroc.pl > . > -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAGBJN9026_6%2BiHTzp05mnyCWc%3Dc5WRDgJhJ11COH8kMZLd3p_g%40mail.gmail.com.
Re: [fricas-devel] Problem with Control stack
On Fri, 27 Mar 2020 at 20:09, Ralf Hemmecke wrote: > > > '--with-lisp=sbcl --control-stack-size 512 --dynamic-space-size 6000' > > What about > > ./configure --with-lisp='sbcl --control-stack-size 512 > --dynamic-space-size 6000' > > i.e. the quotes behind --with-lisp= ? ;-) > > Ralf It all depends on what do people consider most readable, I guess. Your proposal of putting the quotes after the equals symbol is perhaps more familiar from the perspective of other ("real") programming languages, but it does not really have anything to do with the Unix Shell language, more specifically the quoting rules. In this case the quoting serves to remove the special meaning (as the word separator symbol) from the space (' ') character, so a full word that includes the space characters could be formed. Thus it is possible to either just quote the spaces, quote the entire word, or anything in between. I think it makes sense to choose one of the "extremal" choices - namely, quoting the full word. This most clearly presents to the reader what actually *is* the full word, as it is written out explicitly and contiguously (without any quotes in between). Your solution, on the other hand, places emphasis on the semantical importance of the part after the equals sign as an argument to sbcl, but the shell does not itself know anything about that ... All of this is of minimal importance, of course ;) Regards, Neven Sajko -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAL%2BbK4Nuv%3DEiGsbmtXFqBwnY1H1y7V%3DBnhAdU_DEPpTnMkLT6Q%40mail.gmail.com.
Re: [fricas-devel] Problem with Control stack
> '--with-lisp=sbcl --control-stack-size 512 --dynamic-space-size 6000' What about ./configure --with-lisp='sbcl --control-stack-size 512 --dynamic-space-size 6000' i.e. the quotes behind --with-lisp= ? ;-) Ralf -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/5fe9e937-09c9-3a55-2f8b-9ea69d21ad7e%40hemmecke.org.
Re: [fricas-devel] Problem with Control stack
Hello, Note the single quotes : '--with-lisp=sbcl --control-stack-size 512 --dynamic-space-size 6000' Cheers, Greg Le ven. 27 mars 2020 à 19:16, Prof. Dr. Johannes Grabmeier FW < johan...@grabmeier.net> a écrit : > thanks, but this feature seems to be not available: > > > Report bugs to . > ~/Downloads/fricas-1.3.6$ ./configure --control-stack-size 512 > configure: error: unrecognized option: `--control-stack-size' > Try `./configure --help' for more information > ~/Downloads/fricas-1.3.6$ > > > > Am 25.03.20 um 17:50 schrieb Neven Sajko: > > On Wed, 25 Mar 2020 at 12:07, Prof. Dr. Johannes Grabmeier privat > > wrote: > >> Dear all, > >> > >> in my revision work for finite fields from time to time I get Control > >> stack exhausted without finding the problem which causes it. (Same > >> computation in the unchanged current world computes correctly) > >> > >> Two questions: > >> > >> 1. How can I modify in LISP the debugging to check whether one simply > >> has to change the behavoiur (debug level 2 ??) > >> > >> 2. How can I trace the in the debugging mode to find out the reason for > >> this error. > >> > >> Thanks > >> > >> Johannes > >> > >> > >> P.S: Have FriCAS 1.3.6 on SBCL 1.3.14 on a MacBook. > >> > >> > >> > >> (6) -> G := FF(11,20) > >> > >>(6) FiniteField(11,20) > >> > >> Type: Type > >> (7) -> a : G := random() > >> > >>(7) > >> 19 18 17 161514 13 12 > >> 11 10 8 7 6 > >> 2 α + 10 α + 7 α + 3 α + α + α + 10 α + 9 α + 4 α > >> + 7 α + 10 α + 4 α + 5 α > >>+ > >> 5 43 2 > >> 3 α + 10 α + α + 5 α + 9 α + 6 > >> > >> Type: FiniteField(11,20) > >> (8) -> discreteLog a > >>Discrete logarithm tables initialized > >> INFO: Control stack guard page unprotected > >> Control stack guard page temporarily disabled: proceed with caution > >> > >>>> System error: > >>Control stack exhausted (no more space for function call frames). > >> This is probably due to heavily nested or infinitely recursive function > >> calls, or a tail call that SBCL cannot or has not optimized away. > >> > >> PROCEED WITH CAUTION. > >> > >> -- > >> Mit freundlichen Grüßen > >> > >> Johannes Grabmeier > >> > >> Prof. Dr. Johannes Grabmeier > >> Köckstraße 1, D-94469 Deggendorf > >> Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756 > >> Tel. +49-(0)-991-3615-141 (d), Fax: +49-(0)-32224-192688 > > I can not help you with debug mode, but if you want to increase the > > stack size at compile time (for SBCL), see this: > > > > https://github.com/fricas/fricas/blob/master/INSTALL#L301 > > > > You may need to increase the '512' parameter. > > > > Regards, > > Neven Sajko > > > > -- > Mit freundlichen Grüßen > > Johannes Grabmeier > > Fraktionsvorsitzender > FREIE WÄHLER, Stadtrat Deggendorf > > Prof. Dr. Johannes Grabmeier > Köckstraße 1, D-94469 Deggendorf > Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756 > Fax: +49-(0)-991-2979592 > > -- > 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+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/7988a5dd-51aa-d00f-7fca-f07462e58323%40grabmeier.net > . > -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/CAHnU2dY7wEHgbcKVAexaYfvpYX1F1oGHt1XwJ7E%2Bgai76LMsng%40mail.gmail.com.
Re: [fricas-devel] Problem with Control stack
thanks, but this feature seems to be not available: Report bugs to . ~/Downloads/fricas-1.3.6$ ./configure --control-stack-size 512 configure: error: unrecognized option: `--control-stack-size' Try `./configure --help' for more information ~/Downloads/fricas-1.3.6$ Am 25.03.20 um 17:50 schrieb Neven Sajko: > On Wed, 25 Mar 2020 at 12:07, Prof. Dr. Johannes Grabmeier privat > wrote: >> Dear all, >> >> in my revision work for finite fields from time to time I get Control >> stack exhausted without finding the problem which causes it. (Same >> computation in the unchanged current world computes correctly) >> >> Two questions: >> >> 1. How can I modify in LISP the debugging to check whether one simply >> has to change the behavoiur (debug level 2 ??) >> >> 2. How can I trace the in the debugging mode to find out the reason for >> this error. >> >> Thanks >> >> Johannes >> >> >> P.S: Have FriCAS 1.3.6 on SBCL 1.3.14 on a MacBook. >> >> >> >> (6) -> G := FF(11,20) >> >>(6) FiniteField(11,20) >> >> Type: Type >> (7) -> a : G := random() >> >>(7) >> 19 18 17 161514 13 12 >> 11 10 8 7 6 >> 2 α + 10 α + 7 α + 3 α + α + α + 10 α + 9 α + 4 α >> + 7 α + 10 α + 4 α + 5 α >>+ >> 5 43 2 >> 3 α + 10 α + α + 5 α + 9 α + 6 >> >> Type: FiniteField(11,20) >> (8) -> discreteLog a >>Discrete logarithm tables initialized >> INFO: Control stack guard page unprotected >> Control stack guard page temporarily disabled: proceed with caution >> >>>> System error: >>Control stack exhausted (no more space for function call frames). >> This is probably due to heavily nested or infinitely recursive function >> calls, or a tail call that SBCL cannot or has not optimized away. >> >> PROCEED WITH CAUTION. >> >> -- >> Mit freundlichen Grüßen >> >> Johannes Grabmeier >> >> Prof. Dr. Johannes Grabmeier >> Köckstraße 1, D-94469 Deggendorf >> Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756 >> Tel. +49-(0)-991-3615-141 (d), Fax: +49-(0)-32224-192688 > I can not help you with debug mode, but if you want to increase the > stack size at compile time (for SBCL), see this: > > https://github.com/fricas/fricas/blob/master/INSTALL#L301 > > You may need to increase the '512' parameter. > > Regards, > Neven Sajko > -- Mit freundlichen Grüßen Johannes Grabmeier Fraktionsvorsitzender FREIE WÄHLER, Stadtrat Deggendorf Prof. Dr. Johannes Grabmeier Köckstraße 1, D-94469 Deggendorf Tel. +49-(0)-991-2979584, Tel. +49-(0)-151-681-70756 Fax: +49-(0)-991-2979592 -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/7988a5dd-51aa-d00f-7fca-f07462e58323%40grabmeier.net.
Re: [fricas-devel] serious bug in integrate. Fails first time, OK second time. 1.3.6 version
On Wed, Mar 25, 2020 at 06:51:59PM +0800, oldk1331 wrote: > Thanks for your report. > > This bug is a regression between 1.3.5 and 1.3.6. > It's introduced in r2586 > (https://github.com/fricas/fricas/commit/aac3e2ecbb4e34f5cfa473f19c9333= > 623d86). > On 3/24/20 4:03 AM, 'Nasser M. Abbasi' via FriCAS - computer algebra > system wrote: > > Could someone please explain why this call to integrate fails first > > time, but works second time? > > > > (1) -> setSimplifyDenomsFlag(true) > > (2) -> integrate((b*x + a)^(3/2)*(d*x + c)^(5/2)/x^7,x) > > > > >> Error detected within library code: > > "failed" of mode > > Union(SparseUnivariatePolynomial(Expression(Integer)),"failed") cannot > > be coerced to mode SparseUnivariatePolynomial(Expression(Integer)) Error is detected in 'split' in MONOTOOL. The actual error is in 'gcd': first 'gcd' returns wrong result, it gives 1 while polynomial has multiple factors. The second 'gcd' looks is OK. It is not clear if change above introduced bug, it is more likely that it merely triggered already present bug. -- 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 fricas-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/20200327152537.GA9372%40math.uni.wroc.pl.