s76_test.sagews

version()

'SageMath version 7.6, Release Date: 2017-03-25'

L = Posets.DivisorLattice(12)
cong = L.congruence([[1, 3]])
print(cong)

{{1, 3}, {2, 6}, {4, 12}}