#13231: Check if a lattice is atomic
---------------------------------+------------------------------------------
Reporter: csar | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.3
Component: combinatorics | Resolution:
Keywords: sd40 | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Alex Csar | Merged in:
Dependencies: | Stopgaps:
---------------------------------+------------------------------------------
Old description:
> Define is_atomic to check whether a lattice is atomic. There seems to be
> some ambiguity as to what 'atomic' means. Wikipedia makes a distinction
> between atomic posets, where each element lies above an atom, and
> 'atomistic' lattices, where every element is a join of atoms. This
> is_atomic checks the latter, which coincides with Stanley's usage in EC1.
>
> apply only trac_13231_add_is_atomic_for_lattices-csar-2.patch
New description:
Define is_atomic to check whether a lattice is atomic. There seems to be
some ambiguity as to what 'atomic' means. Wikipedia makes a distinction
between atomic posets, where each element lies above an atom, and
'atomistic' lattices, where every element is a join of atoms. This
is_atomic checks the latter, which coincides with Stanley's usage in EC1.
Apply only [attachment:trac_13231_add_is_atomic_for_lattices-csar-2.patch]
--
Comment (by chapoton):
apply only trac_13231_add_is_atomic_for_lattices-csar-3.patch
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13231#comment:5>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
