در این پروژه ابتدا اطلاعات مربوط به یک رابطه ی ریاضی از کاربر دریافت میشود که اینکار به دلخواه برنامه نویس میتواند با دریافت یکی از سه حالت نمایش رابطه یعنی مجموعه زوج های عضو رابطه ,ماتریس متناظر و یا ساختار گرافی آن رابطه , صورت گیرد. سپس ویژگی های چهار گانه ی بازتابی(reflexive),متقارن (symmetric),پاد متقارن (anti-symmetric)و متعدی (transitive) بودن , روی این رابطه بررسی میشود و بر اساس آن در خصوص هم ارزی(equivalence) بودن و یا ترتیب جزی(partial order)بودن آن رابطه , اعلام نظر میشود . چنانچه رابطه ی دریافتی از نوع ترتیب جزیی باشد , دیاگرام هاسه (hasse) ی معادل آن محاسبه و به دلخواه برنامه نویس(یکی ازگونه نمایش گرافیکی یا زوجهای عضو )در خروجی, نمایش داده میسود. در نهایت ویژگی شبکه (lattice)بودن نیز در خصوص دیاگرام هاسه بدست آمده در بخش قبل بررسی و نتیجه گزارش میشود. لازم به ‌ذکر است که این برنامه باید با استفاده از خواص شی گرایی در زبان ++C نوشته شود.

برای پیاده سازی این پروژه میتوان یک کلاس relation برای رابطه در نظر گرفت که در آن صفات و توابع لازم را با توجه به صورت مساله تعریف کرد , همچنین برای روابط هم ارزی و ترتیب جزیی نیز میتوان کلاس های جداگانه ای به عنوان فرزند کلاس relationدر نظر گرفت که هر کدام خصوصیات و توابع مختص به خود را نیز دارا هستند.

برنامه به صورت ساده و نه حرفه ای نوشته شود.

سایت مرجع پروژه: http://www.barnamejoo.com