محسّن جبري خطي مع تشبع المساواة باستخدام Egglog
2025-09-16
يُظهر هذا البرنامج التعليمي كيفية إنشاء مُحسِّن للجبر الخطي باستخدام Egglog. يبدأ البرنامج التعليمي بمعادلات حسابية بسيطة (ثوابت، متغيرات، جمع، ضرب)، ويستخدم تقنية تشبع المساواة لبناء قواعد تحسين (التبديل، والتجميع، وطَي الثوابت). يشرح البرنامج التعليمي بالتفصيل تعريف المُحوِّلات، وكتابة قواعد الكتابة المُعادّة، واستخدام `egraph.run()` للتحسين، مع التحقق في النهاية من تكافؤ التعابير، مثل تكافؤ 2 * (x * 3) و 6 * x.