Add simplifying assumptions and first order form.
Add .gitignore file.