Changes between Version 21 and Version 33 of Ticket #6637


Ignore:
Timestamp:
05/10/14 23:43:28 (6 years ago)
Author:
slabbe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #6637

    • Property Status changed from needs_review to needs_work
    • Property Milestone changed from sage-6.2 to sage-6.3
    • Property Keywords days57 added
    • Property Commit changed from 5d634535fcee7fcba413170826b03011373505d1 to 42262457c67606ba2861e9ba7b5cb6f20450f09d
  • Ticket #6637 – Description

    v21 v33  
    1 Implement a single entry point:
     11. Implement a single entry point for recursively enumerated sets:
    22
    33{{{
    4      TransitiveClosure(roots, operators = ..., children = , acyclic = True, algo = "DFS", "BFS", internal_nodes = False)
     4     RecursivelyEnumeratedSet(seeds, successors, structure=..., enumeration=...)
    55}}}
    66
    7 for all the functions in sage.combinat.backtrack.py `SearchForest`, `TransitiveIdeal`, `TransitiveIdealGraded`
     72. Deprecate `TransitiveIdeal`, `TransitiveIdealGraded` and `SearchForest` as entry point.
    88
    9 TODO: discuss the names above
     9Remarks:
    1010
    11 The actual proposition is:
     11A. For now the code of `SearchForest` is still in `sage/combinat/backtrack.py`. It should be moved in `sage/sets/recursively_enumerated_set.pyx` in a later ticket.
    1212
    13 {{{
    14      RecursivelyEnumeratedSet(seeds, succ, structure=..., algorithm=...)
    15 }}}
     13B. Note that there are some issues with `TransitiveIdeal` and `TransitiveIdealGraded`, namely:
     14
     15 - Enumeration of `TransitiveIdeal` is claimed to be depth first search in the top level file `backtrack.py`, but in fact, it is neither breadth first neither depth first.
     16 - Enumeration of `TransitiveIdealGraded` is indeed breadth first as claimed but it does not make use of the graded hypothesis at all because it remembers every generated elements.
     17
     18See [http://www.liafa.univ-paris-diderot.fr/~labbe/blogue/2014/04/my-status-report-at-sage-days-57-recursivelyenumeratedset/ my status report at SageDays57] for more info.