From: SourceForge.net <no...@so...> - 2007-02-01 23:47:05
|
Bugs item #1650226, was opened at 2007-02-01 17:47 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core - Polynomials Group: None Status: Open Resolution: None Priority: 6 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: Bind stack overflow for factor 7th degree Initial Comment: (%i1) 156*x^7+4808*x^6-182041*x^5-1266489*x^4+43104271*x^3 +29839285*x^2-2542327662*x+7826952672$ (%i2) factor(%); Maxima encountered a Lisp error: Error in MACSYMA-TOP-LEVEL [or a callee]: Bind stack overflow. The factors are all linear: (%i3) berlefact : false; (%o3) false (%i4) factor(%i1); (%o4) (x-16)*(x+14)*(x+49)*(2*x-11)*(2*x+21)*(3*x-49)*(13*x-63) ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-02-03 13:22:22
|
Bugs item #1650226, was opened at 2007-02-01 23:47 Message generated for change (Comment added) made by vvzhy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core - Polynomials Group: None Status: Open Resolution: None Priority: 6 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: Bind stack overflow for factor 7th degree Initial Comment: (%i1) 156*x^7+4808*x^6-182041*x^5-1266489*x^4+43104271*x^3 +29839285*x^2-2542327662*x+7826952672$ (%i2) factor(%); Maxima encountered a Lisp error: Error in MACSYMA-TOP-LEVEL [or a callee]: Bind stack overflow. The factors are all linear: (%i3) berlefact : false; (%o3) false (%i4) factor(%i1); (%o4) (x-16)*(x+14)*(x+49)*(2*x-11)*(2*x+21)*(3*x-49)*(13*x-63) ---------------------------------------------------------------------- >Comment By: Vadim V. Zhytnikov (vvzhy) Date: 2007-02-03 13:22 Message: Logged In: YES user_id=366498 Originator: NO Another manifestation of the same bug is factor(taylor(sin(x),x,%pi/4,20); Notice also that error message "Bind stack overflow" is (a) GCL specific and (b) misleading. Other lisps (clisp, sbcl, cmucl) complain that "NIL is not of numeric type". ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-02-06 12:47:00
|
Bugs item #1650226, was opened at 2007-02-01 17:47 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core - Polynomials Group: None Status: Open Resolution: None Priority: 6 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: Bind stack overflow for factor 7th degree Initial Comment: (%i1) 156*x^7+4808*x^6-182041*x^5-1266489*x^4+43104271*x^3 +29839285*x^2-2542327662*x+7826952672$ (%i2) factor(%); Maxima encountered a Lisp error: Error in MACSYMA-TOP-LEVEL [or a callee]: Bind stack overflow. The factors are all linear: (%i3) berlefact : false; (%o3) false (%i4) factor(%i1); (%o4) (x-16)*(x+14)*(x+49)*(2*x-11)*(2*x+21)*(3*x-49)*(13*x-63) ---------------------------------------------------------------------- >Comment By: Barton Willis (willisbl) Date: 2007-02-06 06:46 Message: Logged In: YES user_id=895922 Originator: YES I think the bug happens when choozp (called from fact5) returns 'splitcase. When this happens, eventually fact5 calls nalgfac. Either nalgfac is called with the wrong arguments (see comment in nalgfa.lisp), or nalgfac (or friends) is broken. Also, I see that nalgfa has several undocumented user level functions. That makes me wonder if nalgfac was never fully tested. It's possible to make choozp less likely to return spiltcase. To do change the test (in choozp) (> algcont 6) to something like (> algcont 100). I'm guessing that changing this test is harmless (the test suite is OK with it). And the change eliminates this particular bug. But changing (> algcont 6) --> (> algcont 100) *doesn't* fix the bug. So I'm not going the change the source. ---------------------------------------------------------------------- Comment By: Vadim V. Zhytnikov (vvzhy) Date: 2007-02-03 07:22 Message: Logged In: YES user_id=366498 Originator: NO Another manifestation of the same bug is factor(taylor(sin(x),x,%pi/4,20); Notice also that error message "Bind stack overflow" is (a) GCL specific and (b) misleading. Other lisps (clisp, sbcl, cmucl) complain that "NIL is not of numeric type". ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-06-30 20:47:56
|
Bugs item #1650226, was opened at 2007-02-01 23:47 Message generated for change (Comment added) made by cwitty You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core - Polynomials Group: None Status: Open Resolution: None Priority: 6 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: Bind stack overflow for factor 7th degree Initial Comment: (%i1) 156*x^7+4808*x^6-182041*x^5-1266489*x^4+43104271*x^3 +29839285*x^2-2542327662*x+7826952672$ (%i2) factor(%); Maxima encountered a Lisp error: Error in MACSYMA-TOP-LEVEL [or a callee]: Bind stack overflow. The factors are all linear: (%i3) berlefact : false; (%o3) false (%i4) factor(%i1); (%o4) (x-16)*(x+14)*(x+49)*(2*x-11)*(2*x+21)*(3*x-49)*(13*x-63) ---------------------------------------------------------------------- Comment By: Carl Witty (cwitty) Date: 2007-06-30 20:47 Message: Logged In: YES user_id=14517 Originator: NO Here's another example of (presumably) the same problem: (%i1) factor(351039744*u^47 - 4146785280*u^46 + 21010752000*u^45 - 51641487360*u^44 + 22909388544*u^43 + 226995397632*u^42 - 609312557056*u^41 + 241407713280*u^40 + 1862346686208*u^39 - 4143913640960*u^38 + 1996259731968*u^37 + 5683411390464*u^36 - 10233183569664*u^35 + 3570312475776*u^34 + 5427479744256*u^33 - 14632753159296*u^32 + 35014067381760*u^31 + 919601276544*u^30 - 120004234261760*u^29 + 89792759938176*u^28 + 146430616799232*u^27 - 174447418437376*u^26 - 83088089063424*u^25 + 152708862935040*u^24 + 39789942893600*u^23 - 68867281548288*u^22 - 84869607997440*u^21 + 59149909463040*u^20 + 167176883404800*u^19 - 202290559266816*u^18 + 26574158757888*u^17 + 66648721563648*u^16 - 38084983750656*u^15 + 6347497291776*u^14); Maxima encountered a Lisp error: ... (I'm pretty sure it doesn't matter, but just in case: Debian x86 32-bit, maxima package version 5.12.0-1; Maxima version: 5.12.0 Maxima build date: 8:49 5/4/2007 host type: i686-pc-linux-gnu lisp-implementation-type: GNU Common Lisp (GCL) lisp-implementation-version: GCL 2.6.7 ) ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-02-06 12:46 Message: Logged In: YES user_id=895922 Originator: YES I think the bug happens when choozp (called from fact5) returns 'splitcase. When this happens, eventually fact5 calls nalgfac. Either nalgfac is called with the wrong arguments (see comment in nalgfa.lisp), or nalgfac (or friends) is broken. Also, I see that nalgfa has several undocumented user level functions. That makes me wonder if nalgfac was never fully tested. It's possible to make choozp less likely to return spiltcase. To do change the test (in choozp) (> algcont 6) to something like (> algcont 100). I'm guessing that changing this test is harmless (the test suite is OK with it). And the change eliminates this particular bug. But changing (> algcont 6) --> (> algcont 100) *doesn't* fix the bug. So I'm not going the change the source. ---------------------------------------------------------------------- Comment By: Vadim V. Zhytnikov (vvzhy) Date: 2007-02-03 13:22 Message: Logged In: YES user_id=366498 Originator: NO Another manifestation of the same bug is factor(taylor(sin(x),x,%pi/4,20); Notice also that error message "Bind stack overflow" is (a) GCL specific and (b) misleading. Other lisps (clisp, sbcl, cmucl) complain that "NIL is not of numeric type". ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-08-04 17:47:46
|
Bugs item #1650226, was opened at 2007-02-01 18:47 Message generated for change (Comment added) made by dgildea You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core - Polynomials Group: None >Status: Pending >Resolution: Fixed Priority: 6 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: Bind stack overflow for factor 7th degree Initial Comment: (%i1) 156*x^7+4808*x^6-182041*x^5-1266489*x^4+43104271*x^3 +29839285*x^2-2542327662*x+7826952672$ (%i2) factor(%); Maxima encountered a Lisp error: Error in MACSYMA-TOP-LEVEL [or a callee]: Bind stack overflow. The factors are all linear: (%i3) berlefact : false; (%o3) false (%i4) factor(%i1); (%o4) (x-16)*(x+14)*(x+49)*(2*x-11)*(2*x+21)*(3*x-49)*(13*x-63) ---------------------------------------------------------------------- >Comment By: Dan Gildea (dgildea) Date: 2007-08-04 13:47 Message: Logged In: YES user_id=1797506 Originator: NO Fixed in cvs. I think nalgfac should only be called if there is a minimum polynomial, so choozp should only return 'splitcase if there is a minimum polynomial. ---------------------------------------------------------------------- Comment By: Carl Witty (cwitty) Date: 2007-06-30 16:47 Message: Logged In: YES user_id=14517 Originator: NO Here's another example of (presumably) the same problem: (%i1) factor(351039744*u^47 - 4146785280*u^46 + 21010752000*u^45 - 51641487360*u^44 + 22909388544*u^43 + 226995397632*u^42 - 609312557056*u^41 + 241407713280*u^40 + 1862346686208*u^39 - 4143913640960*u^38 + 1996259731968*u^37 + 5683411390464*u^36 - 10233183569664*u^35 + 3570312475776*u^34 + 5427479744256*u^33 - 14632753159296*u^32 + 35014067381760*u^31 + 919601276544*u^30 - 120004234261760*u^29 + 89792759938176*u^28 + 146430616799232*u^27 - 174447418437376*u^26 - 83088089063424*u^25 + 152708862935040*u^24 + 39789942893600*u^23 - 68867281548288*u^22 - 84869607997440*u^21 + 59149909463040*u^20 + 167176883404800*u^19 - 202290559266816*u^18 + 26574158757888*u^17 + 66648721563648*u^16 - 38084983750656*u^15 + 6347497291776*u^14); Maxima encountered a Lisp error: ... (I'm pretty sure it doesn't matter, but just in case: Debian x86 32-bit, maxima package version 5.12.0-1; Maxima version: 5.12.0 Maxima build date: 8:49 5/4/2007 host type: i686-pc-linux-gnu lisp-implementation-type: GNU Common Lisp (GCL) lisp-implementation-version: GCL 2.6.7 ) ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-02-06 07:46 Message: Logged In: YES user_id=895922 Originator: YES I think the bug happens when choozp (called from fact5) returns 'splitcase. When this happens, eventually fact5 calls nalgfac. Either nalgfac is called with the wrong arguments (see comment in nalgfa.lisp), or nalgfac (or friends) is broken. Also, I see that nalgfa has several undocumented user level functions. That makes me wonder if nalgfac was never fully tested. It's possible to make choozp less likely to return spiltcase. To do change the test (in choozp) (> algcont 6) to something like (> algcont 100). I'm guessing that changing this test is harmless (the test suite is OK with it). And the change eliminates this particular bug. But changing (> algcont 6) --> (> algcont 100) *doesn't* fix the bug. So I'm not going the change the source. ---------------------------------------------------------------------- Comment By: Vadim V. Zhytnikov (vvzhy) Date: 2007-02-03 08:22 Message: Logged In: YES user_id=366498 Originator: NO Another manifestation of the same bug is factor(taylor(sin(x),x,%pi/4,20); Notice also that error message "Bind stack overflow" is (a) GCL specific and (b) misleading. Other lisps (clisp, sbcl, cmucl) complain that "NIL is not of numeric type". ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-08-19 02:20:24
|
Bugs item #1650226, was opened at 2007-02-01 15:47 Message generated for change (Comment added) made by sf-robot You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: Lisp Core - Polynomials Group: None >Status: Closed Resolution: Fixed Priority: 6 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: Bind stack overflow for factor 7th degree Initial Comment: (%i1) 156*x^7+4808*x^6-182041*x^5-1266489*x^4+43104271*x^3 +29839285*x^2-2542327662*x+7826952672$ (%i2) factor(%); Maxima encountered a Lisp error: Error in MACSYMA-TOP-LEVEL [or a callee]: Bind stack overflow. The factors are all linear: (%i3) berlefact : false; (%o3) false (%i4) factor(%i1); (%o4) (x-16)*(x+14)*(x+49)*(2*x-11)*(2*x+21)*(3*x-49)*(13*x-63) ---------------------------------------------------------------------- >Comment By: SourceForge Robot (sf-robot) Date: 2007-08-18 19:20 Message: Logged In: YES user_id=1312539 Originator: NO This Tracker item was closed automatically by the system. It was previously set to a Pending status, and the original submitter did not respond within 14 days (the time period specified by the administrator of this Tracker). ---------------------------------------------------------------------- Comment By: Dan Gildea (dgildea) Date: 2007-08-04 10:47 Message: Logged In: YES user_id=1797506 Originator: NO Fixed in cvs. I think nalgfac should only be called if there is a minimum polynomial, so choozp should only return 'splitcase if there is a minimum polynomial. ---------------------------------------------------------------------- Comment By: Carl Witty (cwitty) Date: 2007-06-30 13:47 Message: Logged In: YES user_id=14517 Originator: NO Here's another example of (presumably) the same problem: (%i1) factor(351039744*u^47 - 4146785280*u^46 + 21010752000*u^45 - 51641487360*u^44 + 22909388544*u^43 + 226995397632*u^42 - 609312557056*u^41 + 241407713280*u^40 + 1862346686208*u^39 - 4143913640960*u^38 + 1996259731968*u^37 + 5683411390464*u^36 - 10233183569664*u^35 + 3570312475776*u^34 + 5427479744256*u^33 - 14632753159296*u^32 + 35014067381760*u^31 + 919601276544*u^30 - 120004234261760*u^29 + 89792759938176*u^28 + 146430616799232*u^27 - 174447418437376*u^26 - 83088089063424*u^25 + 152708862935040*u^24 + 39789942893600*u^23 - 68867281548288*u^22 - 84869607997440*u^21 + 59149909463040*u^20 + 167176883404800*u^19 - 202290559266816*u^18 + 26574158757888*u^17 + 66648721563648*u^16 - 38084983750656*u^15 + 6347497291776*u^14); Maxima encountered a Lisp error: ... (I'm pretty sure it doesn't matter, but just in case: Debian x86 32-bit, maxima package version 5.12.0-1; Maxima version: 5.12.0 Maxima build date: 8:49 5/4/2007 host type: i686-pc-linux-gnu lisp-implementation-type: GNU Common Lisp (GCL) lisp-implementation-version: GCL 2.6.7 ) ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-02-06 04:46 Message: Logged In: YES user_id=895922 Originator: YES I think the bug happens when choozp (called from fact5) returns 'splitcase. When this happens, eventually fact5 calls nalgfac. Either nalgfac is called with the wrong arguments (see comment in nalgfa.lisp), or nalgfac (or friends) is broken. Also, I see that nalgfa has several undocumented user level functions. That makes me wonder if nalgfac was never fully tested. It's possible to make choozp less likely to return spiltcase. To do change the test (in choozp) (> algcont 6) to something like (> algcont 100). I'm guessing that changing this test is harmless (the test suite is OK with it). And the change eliminates this particular bug. But changing (> algcont 6) --> (> algcont 100) *doesn't* fix the bug. So I'm not going the change the source. ---------------------------------------------------------------------- Comment By: Vadim V. Zhytnikov (vvzhy) Date: 2007-02-03 05:22 Message: Logged In: YES user_id=366498 Originator: NO Another manifestation of the same bug is factor(taylor(sin(x),x,%pi/4,20); Notice also that error message "Bind stack overflow" is (a) GCL specific and (b) misleading. Other lisps (clisp, sbcl, cmucl) complain that "NIL is not of numeric type". ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1650226&group_id=4933 |