ما نظریه هامیلتون- ژاکوبی را برای دستگاه لاگرانژ تکین با الگوریتم قیدی هایندس- گوتی- نستر توسعه می دهیم. روش حتی اگر دستگاه قیدهای ثانویه نیز داشته باشد کار می کند.