dim -> dimension
codim -> codimension
vars -> variables
