ブーリアングレブナ一基底のSageMathによる実装

摘要

An imolementation method of Boolean Grobner bases of a power set algebra is optimized for developing a software in the computer algebra system SageMath using the PolyBoRi library. Our software achieves tremendous speed-up comparing to our previous implementation in the computer algebra system Risa/Asir.