با در نظر گرفتن یک سیستم لاگرانژی با قیدهای غیر هولونومیک، یک ساختار تقریباً ضربی روی فضای مماس می سازیم بطوریکه دینامیک سیستم، با تصویر میدان برداری اویلر-لاگرانژ بدست می آید. در حالت تباهیدگی، یک الگوریتم قیدی که زیرمنیفلد قیدی نهایی تعیین می کند را گسترش می دهیم جایی که دینامیک های بطور کامل مقید از سیستم اولیه موجود است.