Мне нужно символически оценить
dsolve('Dy = 1 + exp(y)', 'y(0) = 1', 't')
, чтобы сделать вывод, что
t* >= log(exp(1) + 1) - 1.
Однако, когда я запускаю его, я получаю предупреждение о том, что это не может быть решено явно, и выдаетan [empty sym].
Подобные уравнения, похоже, не имеют этой проблемы.У кого-нибудь есть идеи, почему он не оценивает?