#16553: Clean IncidenceStructure
-------------------------------------------------+-------------------------
Reporter: vdelecroix | Owner:
Type: enhancement | Status: new
Priority: major | Milestone: sage-6.3
Component: combinatorial designs | Resolution:
Keywords: | Merged in:
Authors: Nathann Cohen, Vincent | Reviewers:
Delecroix | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: |
-------------------------------------------------+-------------------------
Comment (by vdelecroix):
Replying to [comment:4 ncohen]:
> > This is confusing.
>
> What is confusing ? That blocks are sets of points ? `O_o`
No, that points are blocks of the dual!
> > Basically, we do not care too much about the data type of the blocks
as soon as `__len__`, `__iter__` and `__contains__` are correctly
implemented, right... But it does not work with dual.
>
> Why doesn't it work with duals ?
Because the blocks of the duals are the point. And the dual of the dual is
(canonically isomorphic) to the initial design.
> > One option is to do like posets where the ordering is implemented in
the poset itself and not in the elements. We would implement the incidence
structure at the level of `IncidenceStructure` and not at the level of
points/blocks. In other words we would forbid `p in block`.
>
> ............
>
> Yeah, let's make it impossible to iterate on blocks. That will be
better.
All right, then we need a class `DualDesign` whose points and blocks would
be wrappers. Is it what you want?
Vincent
--
Ticket URL: <http://trac.sagemath.org/ticket/16553#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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
