Maple

[potap]

Maple, популярная, но очень отвратительная система математических вычислений, легко считает интеграл int(ln(cos(4.+ 0.5*z)),z = 2...3.) (численно), но наотрез отказывается считать int(ln(cos(3.+ 0.5*z)),z = 2. .. 3.). При этом неопределенный интеграл она охотно пишет через дилогарифм (а значения дилогарифма умеет считать!) Я в ступоре. Это что,

Comments

[ext_2276419]

symbolic integration - delo neprostoe. Est' algorithm Rischa, kotoryj v printsipe vychilsyaet v elementarnyh funkstojah luboj integral, kotoryj v takovyh vyrazhaetsya, no on tak do sih por (proshlo 45 let kak) nigde polnost'ju ne zaprogrammirovan, mozhet byt' krome kak v poludohloj na nastoyaschij moment systeme Axiom (a.k.a. FriCAS).

Vse ostal'nye sistemy ispol'zujut vsyakogo roda heuristiki...

[potap]

Дима, ты не вник, о чем речь. Я написал, что символически мэйпл этот интеграл берет (через дилогарифмы), и значения дилогарифмов умеет считать численно. А опеделенный интеграл выдает в виде задержанной формулы. Чтобы заставить его считать, надо, как оказалось, прибавить 0.*I к аргументу функции!

[ext_2276419]

smeha radi poproboval poschitat' na Maxime, i raznymi sposobami poluchajutsja sil'no raznye otvety...

Dilogarifm - delo hitroe, tam mozhet gde pole poyavitsya...

[potap]

Какое такое поле?!