Graves, John Thomas, active 1801-1847, barrister and Mathematician