Jori Mäntysalo - cp's OEIS frontend

User: Jori Mäntysalo

Jori Mäntysalo's wiki page.

Jori Mäntysalo has authored 3 sequences.

A271077 Number of pseudocomplemented lattices on n nodes.

Original entry on oeis.org

1, 1, 1, 1, 2, 4, 10, 29, 99, 391, 1775, 9214

Offset: 0

Jori Mäntysalo, Mar 30 2016

R. Belohlavek, V. Vychodil, Residuated lattices of size <=12, Order 27 (2010) 147-161 doi:10.1007/s11083-010-9143-7, Table 6.
Wikipedia, pseudocomplement.

Cf. A006966.

for i in range(0, 12):
    n = 0
    for P in Posets(i):
        if P.is_lattice():
            L = LatticePoset(P)
            if L.is_pseudocomplemented():
                n += 1
    print(n)

A271078 Number of non-isomorphic atomic lattices on n nodes.

Original entry on oeis.org

0, 1, 1, 0, 1, 1, 2, 4, 9, 22, 59, 181

Offset: 0

Jori Mäntysalo, Mar 30 2016

Cf. A006966.

for i in range(0, 12):
    n = 0
    for P in Posets(i):
        if P.is_lattice():
            L = LatticePoset(P)
            if L.is_atomic():
                n += 1
    print(n)

A261994 Number of complemented lattices on n nodes.

Original entry on oeis.org

1, 1, 1, 0, 1, 2, 6, 18, 71, 307, 1594, 9446, 63461

Offset: 0

Jori Mäntysalo, Sep 08 2015

R. Belohlavek, V. Vychodil, Residual lattices of size <=12, Order 27 (2010) 147-161 doi:10.1007/s11083-010-9143-7, Table 6

for n in range(7):
    print(len([L for L in Posets(n) if L.is_lattice() and LatticePoset(L).is_complemented()]))

cp's OEIS Frontend

User: Jori Mäntysalo

A271077 Number of pseudocomplemented lattices on n nodes.

Views

Author

Keywords

Links

Crossrefs

Programs

SageMath

A271078 Number of non-isomorphic atomic lattices on n nodes.

Views

Author

Keywords

Crossrefs

Programs

SageMath

A261994 Number of complemented lattices on n nodes.

Views

Author

Keywords

References

Programs

Sage