LT Influence

A program to do formal integration