#16352: TransitiveIdeal -> RecursivelyEnumeratedSet in the sage library
---------------------------------+------------------------
       Reporter:  slabbe         |        Owner:
           Type:  enhancement    |       Status:  new
       Priority:  major          |    Milestone:  sage-6.4
      Component:  combinatorics  |   Resolution:
       Keywords:                 |    Merged in:
        Authors:                 |    Reviewers:
Report Upstream:  N/A            |  Work issues:
         Branch:                 |       Commit:
   Dependencies:                 |     Stopgaps:
---------------------------------+------------------------
Description changed by slabbe:

Old description:

> `TransitiveIdeal` and `TransitiveIealGraded` are used in the code of
> `sage/combinat`, `sage/categories` and `sage/groups` at least. These
> should be replaced by `RecursivelyEnumeratedSet` for speed improvements
> and also to avoid issues explained in #6637.
>
> This is a follow up of #6637 where `TransitiveIdeal` and
> `TransitiveIealGraded` have been deprecated.

New description:

 `TransitiveIdeal` and `TransitiveIealGraded` are used in the code of
 `sage/combinat`, `sage/categories` and `sage/groups` at least. These
 should be replaced by `RecursivelyEnumeratedSet` for speed improvements
 and also to avoid issues explained in #6637.

 This is a follow up of #6637 where `TransitiveIdeal` and
 `TransitiveIealGraded` have been deprecated.

 More precisely, occurences of

    `TransitiveIdeal(succ, seeds)`

 are replaced by:

    `RecursivelyEnumeratedSet(seeds, succ, structure=None,
 enumeration='naive')`

 and occurences of

    `TransitiveIdealGraded(succ, seeds, max_depth)`

 are replaced by:

    `RecursivelyEnumeratedSet(seeds, succ, structure=None,
 enumeration='breadth', max_depth=max_depth)`

 Indeed, old transitive ideal *graded* was not using the hypothesis of
 being graded in the code. This is why the structure is set to `None` now.
 Of course, if people have *really* a graded structure, then the structure
 should be set to `'graded'`... For now, I am keeping the behavior like it
 was before to avoid problems.

--

--
Ticket URL: <http://trac.sagemath.org/ticket/16352#comment:2>
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.

Reply via email to