|
|
Mon, Oct. 5th, 2009, 11:41 pm
Всё-таки, Максима как-то работает через жопу. Вот что это за пиздец, например?  Вот я не понимаю, ну кагбе ладно там какой-то ебанутый алгоритм, который находит производную ногами вперёд через задний проход, поэтому выражение получается кривое - но схуяли уже при упрощении икс не сократить? Или она не умеет сокращать то, что под модулем? inb4, всеми более другими способами упрощения получается ещё хуже. Кстати, с гиперболическими функциями та же хуйня, так что это, видимо, не какой-то сугубо тригонометрический баг, а что-то с упрощением. Алсо, on completely unrelated topic - все программы из кде4, с которыми я только сталкивался, в убунте либо не работают вообще, либо работают с невротъебенными глюками, на грани юзабельности. Хотя вроде все настройки, зависимости, все дела... Mon, Oct. 5th, 2009, 03:27 pm
![[info]](http://lj.rossia.org/img/userinfo.gif) grp
Упрощение дико сложное, однако, и если в одном месте улучшить, то в другом тут же что-то отвалится.
Конкретный пример надо послать в список рассылки. Wed, Oct. 7th, 2009, 02:19 pm
ash_rabbi
Упрощение как раз элементарное, и непонятно, если пришли уже к той форме, что на картинке, почему не сделать ещё один шаг и не сократить долбаный модуль. Вот как она берёт саму производную - я не понимаю, если честно. Вообще, канонiческая форма производной арксеканса, получаемая православным имплицитным дифференцированием - 1/(x*sqrt(x^2-1)) Это кагбе то, что делает в десятом классе любой школьник. Каким образом у максимы получается какой-то леденящий душу пиздец - мне неведомо, например. Wed, Oct. 7th, 2009, 03:33 pm
grp
Речь об общих алгоритмах. Thu, Oct. 8th, 2009, 04:37 am
ash_rabbi
Я, к сожалению, совершенно не знаю ни лисп, ни максиму. То есть, вообще. Код для меня выглядит китайской грамотой. Так что я не знаю, что там за алгоритм и почему он работает именно так, и почему не сделать нормальным школьным методом. Mon, Oct. 5th, 2009, 05:34 pm
anarchofront
Ну уж коли тут обозначилось пространство для холивара, то все программы из гнома, которые я ставлю в KDE4 под дебианом, работают вполне =) Mon, Oct. 5th, 2009, 11:21 pm
o01eg
Введи "assume(x>0);", maxima не сокращает, потому что не заданы границы определения. Wed, Oct. 7th, 2009, 01:30 pm
ash_rabbi
Да какая в дупу разница? x^2/x=x для совершенно любого x - положительного, отрицательного, дробного, иррационального, комплексного... Даже не только для числа - вообще это верно в любой алгебре, где определено умножение и деление. Если к какому-то элементу применить функцию, а потом обратную функцию - по самому определению обратности должен получиться строго исходный элемент. |
