Infinity CAS 3.1 User Manual