что второй параметр VarAndPoint является

Предполагается, что второй параметр VarAndPoint является равенством (например, х-2). Локальной переменной t присваивается в качестве значения левая часть этого равенства (в приведенном примере это х). Далее выполняется разложение функции-аргумента в ряд и преобразование в полиномиальный вид.
Например, посредством новой процедуры F() полученный выше ряд Лорана можно сгенерировать следующим образом.