A test case that covers many ideal examples
Update readme