Mikhasenko, M. AlgebraPDF.jl [Computer software]. https://github.com/mmikhasenko/AlgebraPDF.jl