Screenshot instructions:
Windows
Mac
Red Hat Linux
Ubuntu
Click URL instructions:
Rightclick on ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)
From: SourceForge.net <noreply@so...>  20080106 21:32:21

Bugs item #1865487, was opened at 20080106 13:32 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=1865487&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  Integration Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Complex conjugate of real number is not simplified Initial Comment: When evaluating conjugate(sqrt(1cos(x)^2)) Maxima does not see that this is just the cos(x)^2. Maxima version: 5.14.0Maxima build date: 21:46 12/27/2007host type: i686pcmingw32lispimplementationtype: GNU Common Lisp (GCL)lispimplementationversion: GCL 2.6.8  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&group_id=4933 
From: SourceForge.net <noreply@so...>  20080106 21:50:13

Bugs item #1865487, was opened at 20080106 13:32 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&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  Integration Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Complex conjugate of real number is not simplified Initial Comment: When evaluating conjugate(sqrt(1cos(x)^2)) Maxima does not see that this is just the cos(x)^2. Maxima version: 5.14.0Maxima build date: 21:46 12/27/2007host type: i686pcmingw32lispimplementationtype: GNU Common Lisp (GCL)lispimplementationversion: GCL 2.6.8  Comment By: Nobody/Anonymous (nobody) Date: 20080106 13:50 Message: Logged In: NO I meant to say this should simplify to sin(x) or abs(sin(x)). Rich  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&group_id=4933 
From: SourceForge.net <noreply@so...>  20080107 19:01:09

Bugs item #1865487, was opened at 20080106 16:32 Message generated for change (Comment added) made by rtoy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&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  Integration Group: None Status: Open Resolution: None Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Complex conjugate of real number is not simplified Initial Comment: When evaluating conjugate(sqrt(1cos(x)^2)) Maxima does not see that this is just the cos(x)^2. Maxima version: 5.14.0Maxima build date: 21:46 12/27/2007host type: i686pcmingw32lispimplementationtype: GNU Common Lisp (GCL)lispimplementationversion: GCL 2.6.8  >Comment By: Raymond Toy (rtoy) Date: 20080107 14:01 Message: Logged In: YES user_id=28849 Originator: NO trigsimp(conjugate(sqrt(1cos(x)^2))) > abs(sin(x)). But I think that's just lucky because trigsimp returns abs(sin(x)).  Comment By: Nobody/Anonymous (nobody) Date: 20080106 16:50 Message: Logged In: NO I meant to say this should simplify to sin(x) or abs(sin(x)). Rich  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&group_id=4933 
From: SourceForge.net <noreply@so...>  20080108 22:58:24

Bugs item #1865487, was opened at 20080106 15:32 Message generated for change (Comment added) made by willisbl You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&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 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Complex conjugate of real number is not simplified Initial Comment: When evaluating conjugate(sqrt(1cos(x)^2)) Maxima does not see that this is just the cos(x)^2. Maxima version: 5.14.0Maxima build date: 21:46 12/27/2007host type: i686pcmingw32lispimplementationtype: GNU Common Lisp (GCL)lispimplementationversion: GCL 2.6.8  >Comment By: Barton Willis (willisbl) Date: 20080108 16:58 Message: Logged In: YES user_id=895922 Originator: NO This is due to a deficiency in csign. It's not a conjugate bug. Off the negative real axis, conjugate and sqrt commute. But: (%i3) conjugate(sqrt(1cos(x)^2)); 1> (CSIGN ((MPLUS SIMP) 1 ((MTIMES SIMP) 1 ((MEXPT SIMP) ((%COS SIMP) $X) 2)))) <1 (CSIGN $PNZ) Csign should return pz, not pnz.  Comment By: Raymond Toy (rtoy) Date: 20080107 13:01 Message: Logged In: YES user_id=28849 Originator: NO trigsimp(conjugate(sqrt(1cos(x)^2))) > abs(sin(x)). But I think that's just lucky because trigsimp returns abs(sin(x)).  Comment By: Nobody/Anonymous (nobody) Date: 20080106 15:50 Message: Logged In: NO I meant to say this should simplify to sin(x) or abs(sin(x)). Rich  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&group_id=4933 
From: SourceForge.net <noreply@so...>  20080109 01:48:47

Bugs item #1865487, was opened at 20080106 16:32 Message generated for change (Comment added) made by richhennessy You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&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 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Complex conjugate of real number is not simplified Initial Comment: When evaluating conjugate(sqrt(1cos(x)^2)) Maxima does not see that this is just the cos(x)^2. Maxima version: 5.14.0Maxima build date: 21:46 12/27/2007host type: i686pcmingw32lispimplementationtype: GNU Common Lisp (GCL)lispimplementationversion: GCL 2.6.8  Comment By: Rich (richhennessy) Date: 20080108 20:48 Message: Logged In: YES user_id=1975049 Originator: NO How do I fix that? I could change csign but I don't know which Lisp compiler was used to compile Maxima and of course I would not want to mess up anything else that is working okay. Is there a chance it will be fixed in a future release? Rich (Original Submitter.) rvh2006@...  Comment By: Barton Willis (willisbl) Date: 20080108 17:58 Message: Logged In: YES user_id=895922 Originator: NO This is due to a deficiency in csign. It's not a conjugate bug. Off the negative real axis, conjugate and sqrt commute. But: (%i3) conjugate(sqrt(1cos(x)^2)); 1> (CSIGN ((MPLUS SIMP) 1 ((MTIMES SIMP) 1 ((MEXPT SIMP) ((%COS SIMP) $X) 2)))) <1 (CSIGN $PNZ) Csign should return pz, not pnz.  Comment By: Raymond Toy (rtoy) Date: 20080107 14:01 Message: Logged In: YES user_id=28849 Originator: NO trigsimp(conjugate(sqrt(1cos(x)^2))) > abs(sin(x)). But I think that's just lucky because trigsimp returns abs(sin(x)).  Comment By: Nobody/Anonymous (nobody) Date: 20080106 16:50 Message: Logged In: NO I meant to say this should simplify to sin(x) or abs(sin(x)). Rich  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&group_id=4933 
From: SourceForge.net <noreply@so...>  20080110 23:08:29

Bugs item #1865487, was opened at 20080106 16:32 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&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 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Complex conjugate of real number is not simplified Initial Comment: When evaluating conjugate(sqrt(1cos(x)^2)) Maxima does not see that this is just the cos(x)^2. Maxima version: 5.14.0Maxima build date: 21:46 12/27/2007host type: i686pcmingw32lispimplementationtype: GNU Common Lisp (GCL)lispimplementationversion: GCL 2.6.8  >Comment By: Stavros Macrakis (macrakis) Date: 20080110 18:08 Message: Logged In: YES user_id=588346 Originator: NO There is no simple, general fix. Rewriting csign to handle this case is not trivial. However, a cheap workaround would be to add the explicit assertion assume(1 >= cos(x)^2), but this will only work for this precise expression!  and not for 1cos(y)^2 or whatever. And in any case, rtoy's suggestion will solve the problem more cleanly.  Comment By: Rich (richhennessy) Date: 20080108 20:48 Message: Logged In: YES user_id=1975049 Originator: NO How do I fix that? I could change csign but I don't know which Lisp compiler was used to compile Maxima and of course I would not want to mess up anything else that is working okay. Is there a chance it will be fixed in a future release? Rich (Original Submitter.) rvh2006@...  Comment By: Barton Willis (willisbl) Date: 20080108 17:58 Message: Logged In: YES user_id=895922 Originator: NO This is due to a deficiency in csign. It's not a conjugate bug. Off the negative real axis, conjugate and sqrt commute. But: (%i3) conjugate(sqrt(1cos(x)^2)); 1> (CSIGN ((MPLUS SIMP) 1 ((MTIMES SIMP) 1 ((MEXPT SIMP) ((%COS SIMP) $X) 2)))) <1 (CSIGN $PNZ) Csign should return pz, not pnz.  Comment By: Raymond Toy (rtoy) Date: 20080107 14:01 Message: Logged In: YES user_id=28849 Originator: NO trigsimp(conjugate(sqrt(1cos(x)^2))) > abs(sin(x)). But I think that's just lucky because trigsimp returns abs(sin(x)).  Comment By: Nobody/Anonymous (nobody) Date: 20080106 16:50 Message: Logged In: NO I meant to say this should simplify to sin(x) or abs(sin(x)). Rich  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&group_id=4933 
From: SourceForge.net <noreply@so...>  20080112 19:15:19

Bugs item #1865487, was opened at 20080106 16:32 Message generated for change (Comment added) made by macrakis You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&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: Closed >Resolution: Invalid Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Complex conjugate of real number is not simplified Initial Comment: When evaluating conjugate(sqrt(1cos(x)^2)) Maxima does not see that this is just the cos(x)^2. Maxima version: 5.14.0Maxima build date: 21:46 12/27/2007host type: i686pcmingw32lispimplementationtype: GNU Common Lisp (GCL)lispimplementationversion: GCL 2.6.8  >Comment By: Stavros Macrakis (macrakis) Date: 20080112 14:15 Message: Logged In: YES user_id=588346 Originator: NO Not a bug in conjugate  a limitation in compar package (sign/asksign).  Comment By: Stavros Macrakis (macrakis) Date: 20080110 18:08 Message: Logged In: YES user_id=588346 Originator: NO There is no simple, general fix. Rewriting csign to handle this case is not trivial. However, a cheap workaround would be to add the explicit assertion assume(1 >= cos(x)^2), but this will only work for this precise expression!  and not for 1cos(y)^2 or whatever. And in any case, rtoy's suggestion will solve the problem more cleanly.  Comment By: Rich (richhennessy) Date: 20080108 20:48 Message: Logged In: YES user_id=1975049 Originator: NO How do I fix that? I could change csign but I don't know which Lisp compiler was used to compile Maxima and of course I would not want to mess up anything else that is working okay. Is there a chance it will be fixed in a future release? Rich (Original Submitter.) rvh2006@...  Comment By: Barton Willis (willisbl) Date: 20080108 17:58 Message: Logged In: YES user_id=895922 Originator: NO This is due to a deficiency in csign. It's not a conjugate bug. Off the negative real axis, conjugate and sqrt commute. But: (%i3) conjugate(sqrt(1cos(x)^2)); 1> (CSIGN ((MPLUS SIMP) 1 ((MTIMES SIMP) 1 ((MEXPT SIMP) ((%COS SIMP) $X) 2)))) <1 (CSIGN $PNZ) Csign should return pz, not pnz.  Comment By: Raymond Toy (rtoy) Date: 20080107 14:01 Message: Logged In: YES user_id=28849 Originator: NO trigsimp(conjugate(sqrt(1cos(x)^2))) > abs(sin(x)). But I think that's just lucky because trigsimp returns abs(sin(x)).  Comment By: Nobody/Anonymous (nobody) Date: 20080106 16:50 Message: Logged In: NO I meant to say this should simplify to sin(x) or abs(sin(x)). Rich  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&group_id=4933 
From: SourceForge.net <noreply@so...>  20080112 19:19:41

Bugs item #1865487, was opened at 20080106 13:32 Message generated for change (Comment added) made by nobody You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&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: Closed Resolution: Invalid Priority: 5 Private: No Submitted By: Nobody/Anonymous (nobody) Assigned to: Nobody/Anonymous (nobody) Summary: Complex conjugate of real number is not simplified Initial Comment: When evaluating conjugate(sqrt(1cos(x)^2)) Maxima does not see that this is just the cos(x)^2. Maxima version: 5.14.0Maxima build date: 21:46 12/27/2007host type: i686pcmingw32lispimplementationtype: GNU Common Lisp (GCL)lispimplementationversion: GCL 2.6.8  Comment By: Nobody/Anonymous (nobody) Date: 20080112 11:19 Message: Logged In: NO Changing the y term to y works for me. Rich rvh2006@...  Comment By: Stavros Macrakis (macrakis) Date: 20080112 11:15 Message: Logged In: YES user_id=588346 Originator: NO Not a bug in conjugate  a limitation in compar package (sign/asksign).  Comment By: Stavros Macrakis (macrakis) Date: 20080110 15:08 Message: Logged In: YES user_id=588346 Originator: NO There is no simple, general fix. Rewriting csign to handle this case is not trivial. However, a cheap workaround would be to add the explicit assertion assume(1 >= cos(x)^2), but this will only work for this precise expression!  and not for 1cos(y)^2 or whatever. And in any case, rtoy's suggestion will solve the problem more cleanly.  Comment By: Rich (richhennessy) Date: 20080108 17:48 Message: Logged In: YES user_id=1975049 Originator: NO How do I fix that? I could change csign but I don't know which Lisp compiler was used to compile Maxima and of course I would not want to mess up anything else that is working okay. Is there a chance it will be fixed in a future release? Rich (Original Submitter.) rvh2006@...  Comment By: Barton Willis (willisbl) Date: 20080108 14:58 Message: Logged In: YES user_id=895922 Originator: NO This is due to a deficiency in csign. It's not a conjugate bug. Off the negative real axis, conjugate and sqrt commute. But: (%i3) conjugate(sqrt(1cos(x)^2)); 1> (CSIGN ((MPLUS SIMP) 1 ((MTIMES SIMP) 1 ((MEXPT SIMP) ((%COS SIMP) $X) 2)))) <1 (CSIGN $PNZ) Csign should return pz, not pnz.  Comment By: Raymond Toy (rtoy) Date: 20080107 11:01 Message: Logged In: YES user_id=28849 Originator: NO trigsimp(conjugate(sqrt(1cos(x)^2))) > abs(sin(x)). But I think that's just lucky because trigsimp returns abs(sin(x)).  Comment By: Nobody/Anonymous (nobody) Date: 20080106 13:50 Message: Logged In: NO I meant to say this should simplify to sin(x) or abs(sin(x)). Rich  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=1865487&group_id=4933 
Sign up for the SourceForge newsletter:
No, thanks