SickerКстати, на будущее, обратите внимание как удаляются предположения.
Допустим, сейчас вы хотите, чтобы

было целым и положительным. Поэтому вы пишете
Код:
syms k;
assume(k,'integer');
assumeAlso(k>0)
и используете это где-то. Если вы переменную

удалите
Код:
clear k
то в памяти ее не будет. Однако, когда восстановите
Код:
syms k
то можете обнаружить, что предположения остались, т.е.
Код:
assumptions(k)
выдаст, что

является целым и положительным. Для того, чтобы избавляться от предположений, пишите
Код:
syms k clear
Эта команда оставит переменную

в памяти, но удалит все предположения касательно нее.
SickerЗапись
Код:
assume(k=0)
неграмотная, так как "=" означает присваивание, а не равенство. Для установления равенства используйте "==", т.е.
Код:
assume(k==0)
А вообще, почитайте уже справку!