マグマは(抽象)代数学にあって、群の制約をゆるくしたようなものである(Wiki) Magmaは代数のアプリケーションで、こちらにリストアップしたアプリの１つ アプリのマグマは有償だが、面白いかもしれない。すくなくとも、ウェブ上に簡単なフリーお試し版がある…