From: SourceForge.net <no...@so...> - 2007-05-27 18:01:51
|
Bugs item #1726550, was opened at 2007-05-27 13:01 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=1726550&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 - Simplification Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: not bugs Initial Comment: (1) not signals an error for a CRE argument: (%i1) not(rat(x)); Maxima encountered a Lisp error: (2) not allows more than one argument: (%i2) not(a,b); (%o2) not b (3) not signals an error for a subscripted function argument (%i3) not(f[1](x)); Maxima encountered a Lisp error: Error in PROGN [or a callee]: Bad plist ((1 DATA (((MGRP (4) not signals an error for a taylor poly argument: (%i14) not(taylor(x,x,0,5)); Maxima encountered a Lisp error: ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-05-27 18:07:11
|
Bugs item #1726550, was opened at 2007-05-27 13:01 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&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 - Simplification Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: not bugs Initial Comment: (1) not signals an error for a CRE argument: (%i1) not(rat(x)); Maxima encountered a Lisp error: (2) not allows more than one argument: (%i2) not(a,b); (%o2) not b (3) not signals an error for a subscripted function argument (%i3) not(f[1](x)); Maxima encountered a Lisp error: Error in PROGN [or a callee]: Bad plist ((1 DATA (((MGRP (4) not signals an error for a taylor poly argument: (%i14) not(taylor(x,x,0,5)); Maxima encountered a Lisp error: ---------------------------------------------------------------------- >Comment By: Barton Willis (willisbl) Date: 2007-05-27 13:07 Message: Logged In: YES user_id=895922 Originator: YES One more: (%i1) not(a >= b); (%o1) a<b (%i2) tellsimp(a < b, true); (%o2) [<rule1,false] (%i3) not(a >= b); (%o3) a<b (%i4) expand(%,0,0); (%o4) true (%o3) isn't simplified. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-05-27 23:05:27
|
Bugs item #1726550, was opened at 2007-05-27 13:01 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&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 - Simplification Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Nobody/Anonymous (nobody) Summary: not bugs Initial Comment: (1) not signals an error for a CRE argument: (%i1) not(rat(x)); Maxima encountered a Lisp error: (2) not allows more than one argument: (%i2) not(a,b); (%o2) not b (3) not signals an error for a subscripted function argument (%i3) not(f[1](x)); Maxima encountered a Lisp error: Error in PROGN [or a callee]: Bad plist ((1 DATA (((MGRP (4) not signals an error for a taylor poly argument: (%i14) not(taylor(x,x,0,5)); Maxima encountered a Lisp error: ---------------------------------------------------------------------- >Comment By: Barton Willis (willisbl) Date: 2007-05-27 18:05 Message: Logged In: YES user_id=895922 Originator: YES 'and' and 'or' have similar problems: try f[1](x) and p, x or rat(x), taylor(x,x,0,2) and p, ... ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-27 13:07 Message: Logged In: YES user_id=895922 Originator: YES One more: (%i1) not(a >= b); (%o1) a<b (%i2) tellsimp(a < b, true); (%o2) [<rule1,false] (%i3) not(a >= b); (%o3) a<b (%i4) expand(%,0,0); (%o4) true (%o3) isn't simplified. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-07-03 00:53:50
|
Bugs item #1726550, was opened at 2007-05-27 12:01 Message generated for change (Settings changed) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&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 - Simplification Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Barton Willis (willisbl) >Assigned to: Robert Dodier (robert_dodier) Summary: not bugs Initial Comment: (1) not signals an error for a CRE argument: (%i1) not(rat(x)); Maxima encountered a Lisp error: (2) not allows more than one argument: (%i2) not(a,b); (%o2) not b (3) not signals an error for a subscripted function argument (%i3) not(f[1](x)); Maxima encountered a Lisp error: Error in PROGN [or a callee]: Bad plist ((1 DATA (((MGRP (4) not signals an error for a taylor poly argument: (%i14) not(taylor(x,x,0,5)); Maxima encountered a Lisp error: ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-27 17:05 Message: Logged In: YES user_id=895922 Originator: YES 'and' and 'or' have similar problems: try f[1](x) and p, x or rat(x), taylor(x,x,0,2) and p, ... ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-27 12:07 Message: Logged In: YES user_id=895922 Originator: YES One more: (%i1) not(a >= b); (%o1) a<b (%i2) tellsimp(a < b, true); (%o2) [<rule1,false] (%i3) not(a >= b); (%o3) a<b (%i4) expand(%,0,0); (%o4) true (%o3) isn't simplified. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&group_id=4933 |
From: SourceForge.net <no...@so...> - 2007-12-12 20:34:35
|
Bugs item #1726550, was opened at 2007-05-27 18:01 Message generated for change (Comment added) made by srci You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&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 - Simplification Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Robert Dodier (robert_dodier) Summary: not bugs Initial Comment: (1) not signals an error for a CRE argument: (%i1) not(rat(x)); Maxima encountered a Lisp error: (2) not allows more than one argument: (%i2) not(a,b); (%o2) not b (3) not signals an error for a subscripted function argument (%i3) not(f[1](x)); Maxima encountered a Lisp error: Error in PROGN [or a callee]: Bad plist ((1 DATA (((MGRP (4) not signals an error for a taylor poly argument: (%i14) not(taylor(x,x,0,5)); Maxima encountered a Lisp error: ---------------------------------------------------------------------- Comment By: Rafael Cantero (srci) Date: 2007-12-12 20:34 Message: Logged In: YES user_id=1958656 Originator: NO About (2): "The logical negation operator. not is a prefix operator; its operand is a Boolean expression, and its result is a Boolean value. not forces evaluation (like is) of its operand. " (from Maxima manual) in other words: - not is not a function. Parenthesized list return last argument: not (a,b) must give not b ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-27 23:05 Message: Logged In: YES user_id=895922 Originator: YES 'and' and 'or' have similar problems: try f[1](x) and p, x or rat(x), taylor(x,x,0,2) and p, ... ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-27 18:07 Message: Logged In: YES user_id=895922 Originator: YES One more: (%i1) not(a >= b); (%o1) a<b (%i2) tellsimp(a < b, true); (%o2) [<rule1,false] (%i3) not(a >= b); (%o3) a<b (%i4) expand(%,0,0); (%o4) true (%o3) isn't simplified. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&group_id=4933 |
From: SourceForge.net <no...@so...> - 2010-04-29 20:32:05
|
Bugs item #1726550, was opened at 2007-05-27 20:01 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&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 - Simplification Group: None >Status: Closed >Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Robert Dodier (robert_dodier) Summary: not bugs Initial Comment: (1) not signals an error for a CRE argument: (%i1) not(rat(x)); Maxima encountered a Lisp error: (2) not allows more than one argument: (%i2) not(a,b); (%o2) not b (3) not signals an error for a subscripted function argument (%i3) not(f[1](x)); Maxima encountered a Lisp error: Error in PROGN [or a callee]: Bad plist ((1 DATA (((MGRP (4) not signals an error for a taylor poly argument: (%i14) not(taylor(x,x,0,5)); Maxima encountered a Lisp error: ---------------------------------------------------------------------- >Comment By: Dieter Kaiser (crategus) Date: 2010-04-29 22:32 Message: (2) is not an error (3) is no longer present with Maxima 5.20post (1) + (4) A specrepcheck has been added in compar.lisp revision 1.73 Closing this bug report as fixed. Dieter Kaiser ---------------------------------------------------------------------- Comment By: Rafael Cantero (srci) Date: 2007-12-12 21:34 Message: Logged In: YES user_id=1958656 Originator: NO About (2): "The logical negation operator. not is a prefix operator; its operand is a Boolean expression, and its result is a Boolean value. not forces evaluation (like is) of its operand. " (from Maxima manual) in other words: - not is not a function. Parenthesized list return last argument: not (a,b) must give not b ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-28 01:05 Message: Logged In: YES user_id=895922 Originator: YES 'and' and 'or' have similar problems: try f[1](x) and p, x or rat(x), taylor(x,x,0,2) and p, ... ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-27 20:07 Message: Logged In: YES user_id=895922 Originator: YES One more: (%i1) not(a >= b); (%o1) a<b (%i2) tellsimp(a < b, true); (%o2) [<rule1,false] (%i3) not(a >= b); (%o3) a<b (%i4) expand(%,0,0); (%o4) true (%o3) isn't simplified. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&group_id=4933 |
From: SourceForge.net <no...@so...> - 2010-04-29 21:28:29
|
Bugs item #1726550, was opened at 2007-05-27 12:01 Message generated for change (Comment added) made by robert_dodier You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&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 - Simplification Group: None Status: Closed Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Robert Dodier (robert_dodier) Summary: not bugs Initial Comment: (1) not signals an error for a CRE argument: (%i1) not(rat(x)); Maxima encountered a Lisp error: (2) not allows more than one argument: (%i2) not(a,b); (%o2) not b (3) not signals an error for a subscripted function argument (%i3) not(f[1](x)); Maxima encountered a Lisp error: Error in PROGN [or a callee]: Bad plist ((1 DATA (((MGRP (4) not signals an error for a taylor poly argument: (%i14) not(taylor(x,x,0,5)); Maxima encountered a Lisp error: ---------------------------------------------------------------------- >Comment By: Robert Dodier (robert_dodier) Date: 2010-04-29 15:28 Message: I'm not going to reopen this report, but I will point out that there are 2 problems which still exist. "not" does indeed allow more than one argument, and it just throws away the 2nd and following arguments. "not"(a, b, c) => not a. Note that "not"(a, b, c) is NOT the same as not(a, b, c). The latter, correctly, is not c, since (a, b, c) => c. In the comment dated 2007-05-27 there is a simplification bug. This is an effect of the strange manner in which Boolean functions are evaluated. Instead of trying to fix it, we should just reimplement the Boolean functions as simplifying functions and it will probably go away. As a meta-comment, I think each identifiable problem should get its own bug report. Grouping unrelated items together makes it hard to tell what's going on. ---------------------------------------------------------------------- Comment By: Dieter Kaiser (crategus) Date: 2010-04-29 14:32 Message: (2) is not an error (3) is no longer present with Maxima 5.20post (1) + (4) A specrepcheck has been added in compar.lisp revision 1.73 Closing this bug report as fixed. Dieter Kaiser ---------------------------------------------------------------------- Comment By: Rafael Cantero (srci) Date: 2007-12-12 13:34 Message: Logged In: YES user_id=1958656 Originator: NO About (2): "The logical negation operator. not is a prefix operator; its operand is a Boolean expression, and its result is a Boolean value. not forces evaluation (like is) of its operand. " (from Maxima manual) in other words: - not is not a function. Parenthesized list return last argument: not (a,b) must give not b ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-27 17:05 Message: Logged In: YES user_id=895922 Originator: YES 'and' and 'or' have similar problems: try f[1](x) and p, x or rat(x), taylor(x,x,0,2) and p, ... ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-27 12:07 Message: Logged In: YES user_id=895922 Originator: YES One more: (%i1) not(a >= b); (%o1) a<b (%i2) tellsimp(a < b, true); (%o2) [<rule1,false] (%i3) not(a >= b); (%o3) a<b (%i4) expand(%,0,0); (%o4) true (%o3) isn't simplified. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&group_id=4933 |
From: SourceForge.net <no...@so...> - 2010-04-29 21:46:09
|
Bugs item #1726550, was opened at 2007-05-27 20:01 Message generated for change (Comment added) made by crategus You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&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 - Simplification Group: None Status: Closed Resolution: Fixed Priority: 5 Private: No Submitted By: Barton Willis (willisbl) Assigned to: Robert Dodier (robert_dodier) Summary: not bugs Initial Comment: (1) not signals an error for a CRE argument: (%i1) not(rat(x)); Maxima encountered a Lisp error: (2) not allows more than one argument: (%i2) not(a,b); (%o2) not b (3) not signals an error for a subscripted function argument (%i3) not(f[1](x)); Maxima encountered a Lisp error: Error in PROGN [or a callee]: Bad plist ((1 DATA (((MGRP (4) not signals an error for a taylor poly argument: (%i14) not(taylor(x,x,0,5)); Maxima encountered a Lisp error: ---------------------------------------------------------------------- >Comment By: Dieter Kaiser (crategus) Date: 2010-04-29 23:46 Message: We had a separte bug report ID: 2836339 - unsimplified negation / fix about the missing simplification. This bug report was closed with revision 1.51 of compar.lisp. But the bug is still present. I have already a correction in my sandbox to get the expected simplification. Yes, I have not seen the case "not"(a,b,c). Dieter Kaiser ---------------------------------------------------------------------- Comment By: Robert Dodier (robert_dodier) Date: 2010-04-29 23:28 Message: I'm not going to reopen this report, but I will point out that there are 2 problems which still exist. "not" does indeed allow more than one argument, and it just throws away the 2nd and following arguments. "not"(a, b, c) => not a. Note that "not"(a, b, c) is NOT the same as not(a, b, c). The latter, correctly, is not c, since (a, b, c) => c. In the comment dated 2007-05-27 there is a simplification bug. This is an effect of the strange manner in which Boolean functions are evaluated. Instead of trying to fix it, we should just reimplement the Boolean functions as simplifying functions and it will probably go away. As a meta-comment, I think each identifiable problem should get its own bug report. Grouping unrelated items together makes it hard to tell what's going on. ---------------------------------------------------------------------- Comment By: Dieter Kaiser (crategus) Date: 2010-04-29 22:32 Message: (2) is not an error (3) is no longer present with Maxima 5.20post (1) + (4) A specrepcheck has been added in compar.lisp revision 1.73 Closing this bug report as fixed. Dieter Kaiser ---------------------------------------------------------------------- Comment By: Rafael Cantero (srci) Date: 2007-12-12 21:34 Message: Logged In: YES user_id=1958656 Originator: NO About (2): "The logical negation operator. not is a prefix operator; its operand is a Boolean expression, and its result is a Boolean value. not forces evaluation (like is) of its operand. " (from Maxima manual) in other words: - not is not a function. Parenthesized list return last argument: not (a,b) must give not b ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-28 01:05 Message: Logged In: YES user_id=895922 Originator: YES 'and' and 'or' have similar problems: try f[1](x) and p, x or rat(x), taylor(x,x,0,2) and p, ... ---------------------------------------------------------------------- Comment By: Barton Willis (willisbl) Date: 2007-05-27 20:07 Message: Logged In: YES user_id=895922 Originator: YES One more: (%i1) not(a >= b); (%o1) a<b (%i2) tellsimp(a < b, true); (%o2) [<rule1,false] (%i3) not(a >= b); (%o3) a<b (%i4) expand(%,0,0); (%o4) true (%o3) isn't simplified. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1726550&group_id=4933 |