| Hosted by CoCalc | Download
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}}