#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.
>
> 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.
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)`
`TransitiveIdealGraded(succ, seeds, max_depth)`
are replaced (respectively) by:
`RecursivelyEnumeratedSet(seeds, succ, structure=None,
enumeration='naive')`
`RecursivelyEnumeratedSet(seeds, succ, structure=None,
enumeration='breadth', max_depth=max_depth)`
Indeed, deprecated `TransitiveIdealGraded` class was not using the
hypothesis of being graded in its code. This is why the structure is set
to `None` for now. Of course, if people have *really* a graded structure,
then the structure argument should be set to `'graded'`... For now, I am
keeping the behavior like it was before to avoid problems and also because
it seems that `TransitiveIdealGraded` was used in places where the
structure was not graded...
--
--
Ticket URL: <http://trac.sagemath.org/ticket/16352#comment:3>
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.
