hmpf
8 views
Skip to first unread message
Martin R
Dec 2, 2025, 5:20:30 PM (9 hours ago) Dec 2
to sage-devel
sage: OZ = lambda P: (ones_matrix(P.cardinality()) - P.lequal_matrix())
sage: set(min(OZ(P).eigenvalues()) for n in range(1, 7) for P in posets(n))
{-1, -1, 0}
sage: set(min(OZ(P).eigenvalues()) for n in range(1, 7) for P in posets(n))
{-1, -1, 0}
sage: [type(x) for x in _]
[<class 'sage.rings.rational.Rational'>,
<class 'sage.rings.rational.Rational'>,
<class 'sage.rings.qqbar.AlgebraicNumber'>]
[<class 'sage.rings.rational.Rational'>,
<class 'sage.rings.rational.Rational'>,
<class 'sage.rings.qqbar.AlgebraicNumber'>]
Reply all
Reply to author
Forward
0 new messages