#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:23 ncohen]:
> > I don't think this is relevant. Here we have an example of a group
acting on triples, and this is a kind of "primitive" action, all the other
actions originate from it.
> >
> > Anyhow, there is a hack which might fix all our sorrows: namely, add
an extra level of () to the "most primitive" elements of the
> > domain. I.e. if instead of {1,2,3,4,{1,2},{2,3}} there was a domain
`{{1},{2},{3},{4},{1,2},{2,3}}` then the ambiguity does not arise, for
{1,2} and `{{1},{2}}` are different things now.
>
> Come on Dima. Let's just rewrite the method as it was previously... If
the action is on points we know what to do, if it is on something else we
also know what to do, case by case.
>
> It's not worth adding another layer just for that ...
it's for the general sanity of the setup. Let me post on sage-devel asking
opinions, as I do think that this is a fundamental semantic problem of the
design.
Needless to say, if I am declared insane there, then I would happily
review whatever patch you would be willing to put here :)
Dima
>
> Nathann
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14291#comment:24>
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.
