#14291: Orbits of tuples and sets
---------------------------------+------------------------------------------
Reporter: ncohen | Owner: joyner
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.9
Component: group theory | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Nathann Cohen | Merged in:
Dependencies: | Stopgaps:
---------------------------------+------------------------------------------
Comment (by dimpase):
Replying to [comment:28 vbraun]:
> 1. `@cached_method` must not return lists, but only immutable things
OK, this should be easy.
> 2. It would be nice if orbit were smarter about the action type and make
the output a set/tuple if necessary.
sure, this is also easy with the design I advocate (duck-typing). Given
that the other ticket author is not happy with it, there are options (in
no particular order):
1. I proceed with my design, and include a workaround that does the
rewriting of the domain ("boxing" things up), before doing the orbit and
action computation. (Which is not very efficient, as it essentially
involves recreating group domain and its GAP counterparts)
2. We convince the other author that I am right, and drop the
workaround.
3. Somebody (not me) designs a G-set type/class framework to handle the
issue.
4. You convince me that I am wrong, and it's perfectly kosher to have
domains like plain tuples (1,2,{1,2},...), and creating intransitive
actions is more work than just appending permutations.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14291#comment:29>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
