Texas Instruments TI Nspire CX CAS manual: Getting started