From: SourceForge.net <noreply@so...>  20040504 16:16:50

Bugs item #947808, was opened at 20040504 12:15 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=947808&group_id=4933 Category: None Group: None Status: Open Resolution: None Priority: 3 Submitted By: Stavros Macrakis (macrakis) Assigned to: Nobody/Anonymous (nobody) Summary: logcontract and ratfac Initial Comment: logcontract(2*log(x+1)) => log((x+1)^2) but logcontract(2*log(x+1)+1) => log(x^2+2*x+1)+1 That is, it performs a ratsimp only in the second case. logcontract is documented to perform the ratsimp, in fact. But in general, it doesn't seem like a good idea. Consider, e.g. logcontract(1000*log(x+1)+log(x)). This stackoverflows since it expands out the result, but it could just as well return log((x+1)^1000*x). There is a workaround, which is to bind ratfac to true, which leaves things in factored form. Perhaps logcontract should always have ratfac:true?  You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=104933&aid=947808&group_id=4933 