Added change made by Max in MapleForHomalg.
New documentation.