From: SourceForge.net <no...@so...> - 2006-07-29 06:25:56
|
Bugs item #944743, was opened at 2004-04-29 12:03 Message generated for change (Comment added) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=944743&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 Group: None Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: poly_discriminant with ratfac == true / FIX Initial Comment: When ratfac == true, poly_discriminant often incorrectly determines that the first argument is non-polynomial; for example (C1) ratfac : true$ (C2) poly_discriminant((x-1)*(x-2),x); ARG. MUST BE A POLYNOMIAL IN VAR -- an error. Quitting. To debug this try DEBUGMODE (TRUE);) Additionally, (1) The error message is silly. (2) The function poly_discriminant isn't documented. (3) What other functions misbehave when ratfac == true? A simple fix is (DEFMFUN $POLY_DISCRIMINANT (POLY VAR) (LET* ((VARLIST (LIST VAR)) ($ratfac nil) (GENVAR ()) (RFORM (RFORM ($rat POLY var))) (RVAR (CAR (LAST GENVAR))) (N (PDEGREE (SETQ POLY (CAR RFORM)) RVAR))) (COND ((= N 1) 1) ((OR (= N 0) (NOT (atom (CDR RFORM)))) (MERROR "The first argument must be a polynomial in ~:M" var)) (T (PDIS (PRESIGN (// (f* N (f1- N)) 2) (PQUOTIENT (RESULTANT POLY (PDERIVATIVE POLY RVAR)) (P-LC POLY)))))))) Barton ---------------------------------------------------------------------- >Comment By: Robert Dodier (robert_dodier) Date: 2006-07-29 00:25 Message: Logged In: YES user_id=501686 Observed in 5.9.3cvs. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=944743&group_id=4933 |
From: SourceForge.net <no...@so...> - 2006-09-09 05:30:12
|
Bugs item #944743, was opened at 2004-04-29 12:03 Message generated for change (Settings changed) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=944743&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: 5 Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: poly_discriminant with ratfac == true / FIX Initial Comment: When ratfac == true, poly_discriminant often incorrectly determines that the first argument is non-polynomial; for example (C1) ratfac : true$ (C2) poly_discriminant((x-1)*(x-2),x); ARG. MUST BE A POLYNOMIAL IN VAR -- an error. Quitting. To debug this try DEBUGMODE (TRUE);) Additionally, (1) The error message is silly. (2) The function poly_discriminant isn't documented. (3) What other functions misbehave when ratfac == true? A simple fix is (DEFMFUN $POLY_DISCRIMINANT (POLY VAR) (LET* ((VARLIST (LIST VAR)) ($ratfac nil) (GENVAR ()) (RFORM (RFORM ($rat POLY var))) (RVAR (CAR (LAST GENVAR))) (N (PDEGREE (SETQ POLY (CAR RFORM)) RVAR))) (COND ((= N 1) 1) ((OR (= N 0) (NOT (atom (CDR RFORM)))) (MERROR "The first argument must be a polynomial in ~:M" var)) (T (PDIS (PRESIGN (// (f* N (f1- N)) 2) (PQUOTIENT (RESULTANT POLY (PDERIVATIVE POLY RVAR)) (P-LC POLY)))))))) Barton ---------------------------------------------------------------------- Comment By: Robert Dodier (robert_dodier) Date: 2006-07-29 00:25 Message: Logged In: YES user_id=501686 Observed in 5.9.3cvs. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=944743&group_id=4933 |
From: SourceForge.net <no...@so...> - 2006-09-09 15:10:59
|
Bugs item #944743, was opened at 2004-04-29 12:03 Message generated for change (Settings changed) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=944743&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: Includes proposed fix Status: Open Resolution: None Priority: 5 Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: poly_discriminant with ratfac == true / FIX Initial Comment: When ratfac == true, poly_discriminant often incorrectly determines that the first argument is non-polynomial; for example (C1) ratfac : true$ (C2) poly_discriminant((x-1)*(x-2),x); ARG. MUST BE A POLYNOMIAL IN VAR -- an error. Quitting. To debug this try DEBUGMODE (TRUE);) Additionally, (1) The error message is silly. (2) The function poly_discriminant isn't documented. (3) What other functions misbehave when ratfac == true? A simple fix is (DEFMFUN $POLY_DISCRIMINANT (POLY VAR) (LET* ((VARLIST (LIST VAR)) ($ratfac nil) (GENVAR ()) (RFORM (RFORM ($rat POLY var))) (RVAR (CAR (LAST GENVAR))) (N (PDEGREE (SETQ POLY (CAR RFORM)) RVAR))) (COND ((= N 1) 1) ((OR (= N 0) (NOT (atom (CDR RFORM)))) (MERROR "The first argument must be a polynomial in ~:M" var)) (T (PDIS (PRESIGN (// (f* N (f1- N)) 2) (PQUOTIENT (RESULTANT POLY (PDERIVATIVE POLY RVAR)) (P-LC POLY)))))))) Barton ---------------------------------------------------------------------- Comment By: Robert Dodier (robert_dodier) Date: 2006-07-29 00:25 Message: Logged In: YES user_id=501686 Observed in 5.9.3cvs. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=944743&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-01-26 04:46:44
|
Bugs item #944743, was opened at 2004-04-29 13:03 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=944743&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: Includes proposed fix >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: poly_discriminant with ratfac == true / FIX Initial Comment: When ratfac == true, poly_discriminant often incorrectly determines that the first argument is non-polynomial; for example (C1) ratfac : true$ (C2) poly_discriminant((x-1)*(x-2),x); ARG. MUST BE A POLYNOMIAL IN VAR -- an error. Quitting. To debug this try DEBUGMODE (TRUE);) Additionally, (1) The error message is silly. (2) The function poly_discriminant isn't documented. (3) What other functions misbehave when ratfac == true? A simple fix is (DEFMFUN $POLY_DISCRIMINANT (POLY VAR) (LET* ((VARLIST (LIST VAR)) ($ratfac nil) (GENVAR ()) (RFORM (RFORM ($rat POLY var))) (RVAR (CAR (LAST GENVAR))) (N (PDEGREE (SETQ POLY (CAR RFORM)) RVAR))) (COND ((= N 1) 1) ((OR (= N 0) (NOT (atom (CDR RFORM)))) (MERROR "The first argument must be a polynomial in ~:M" var)) (T (PDIS (PRESIGN (// (f* N (f1- N)) 2) (PQUOTIENT (RESULTANT POLY (PDERIVATIVE POLY RVAR)) (P-LC POLY)))))))) Barton ---------------------------------------------------------------------- >Comment By: Barton Willis (willisbl) Date: 2007-01-25 22:46 Message: Logged In: YES user_id=895922 Originator: YES Fixed by CVS r 1.7. Closing bug. ---------------------------------------------------------------------- Comment By: Robert Dodier (robert_dodier) Date: 2006-07-29 01:25 Message: Logged In: YES user_id=501686 Observed in 5.9.3cvs. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=944743&group_id=4933 |