Add a code to show kernel of Div; still mysterious.  Make names in noconstraint.py match paper.
Minor: add ref and rename figure file.