A bővítési szorzat generálása Prologban

Abstract

A dolgozatban a Kronecker-modulusok reprezentációelméletében használható segédeszközt mutatunk be, amit Prolog nyelven fejlesztettünk. Ez egy kutató matematikusok számára készített eszköz, ami a Kronecker-modulus bővítési szorzatának kiszámítására szolgál. A Kronecker-modulusok a Kronecker-tegez útalgebrája fölötti, végesen generált modulusok. A bővítési szorzat a modulusok között felírható rövid egzakt sorok létezési feltételét adja meg, amit bonyulult, de érdekes kombinatorikus szabályokkal lehet leírni. Ezeknek a szabályoknak az általánosítása, matematikai leírása egy nagyon bonyolult feladat, reményeink szerint ennek megoldásában fog segíteni a Prolog program. A dolgozatban bemutatott változatban a matematikai helyességre és átláthatóságra helyeztük a hangsúlyt.l Egy "referenciimplementációt" készítettünk, ami a későbbi, továbbfejlesztett és optimalizált változatok tesztelésére szolgál majd.