#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 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 ...

 Nathann

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


Reply via email to