Working on LMI L Inf.
Finished LMI infinity example.