On Wednesday, July 29, 2020 at 2:48:58 PM UTC-4, rjf wrote: > > The development of Macsyma, and Maxima, in a manner similar to that of > Sage, > was/is essentially the accumulation of contributions from many hands. > Sometimes pieces added later have unanticipated effects on older > code. So this is not entirely unexpected. > > I think that the assume() code, has been from early implementation > rather disappointing from the perspective of reliability, specification, > algorithms, and interfaces. > > Trying to accumulate information about types (A is real) and geometry > (A>1) and algebra (A^3 > B^4) and trigonometry (sinh(a+b)>0), and decide > which deductions to make as data is stored, or as accessed... is difficult, > if not techically impossible to do completely. The documentation points > out that the > deduction mechanism is "not very strong". >
Totally. I think it's just the confusion about how such non-simplification could impact it. Doubtless someone tacitly relied upon this somewhere for certain antiderivatives under certain assumptions, and just left it in place for all of them. > > As for posting trac bug reports for Sage, I think that posting > bugs that have been specifically traced to Maxima, should be > reported in some reproducible form to a current stand-alone > Of course, I was not suggesting that you personally should do this. I even suggested that the people who had originally diagnosed it might be best placed to do so. > version of Maxima. I don't know if this is done > routinely but it seems advisable. A few people > We do try to do so fairly routinely - note the bug I linked to, for instance. I do know that for me personally, trying to remember my login and password for Sourceforge is extra cognitive load, as is the slightly different markup needed on that site. I suppose I should have the browser remember my login, at least :-) > The original versions of the code were written by different people. > The assume() code was written by yet another. > Understood. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/a18c8530-77e5-4f7d-b6d5-a78b4da74520o%40googlegroups.com.
