dbopleadingmonomial not implemented
