#14291: Orbits of tuples and sets
---------------------------------+------------------------------------------
       Reporter:  ncohen         |         Owner:  joyner    
           Type:  enhancement    |        Status:  needs_work
       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):

 > The current setup allows it to be extended by the user. One can install
 via {{{gap.eval()}}} a GAP function, say, {{{"OnBlah"}}}, and then  use
 it. You can't do this with a module variable.

 Well, if a action is being used that is not already in the source code,
 then there is no way for Sage to guess how to translate the result before
 returning it, is there ?

 Otherwise we could just get rid of this list, cross our fingers when GAP
 is fed with something we ha not thought of, as it would raise an Exception
 in the worst case ?..

 > sure this can be done as you prefer. However, there is a more serious
 issue with {{{self.action}}}:

 Arg. Right `:-/`

 > Indeed, {{{_domain_to_gap[x] }}} needs to be applied onto such orbits. I
 am thinking that one should have recursive function version of
 > {{{_domain_to_gap[x] }}}  and of {{{_domain_from_gap[x] }}} to deal with
 things like sets, sets of sets, etc in one go rather
 > than  call them explicitly.
 >
 > One can also (or instead) attach such a pair of functions to each action
 in {{{supported_actions}}} to do this rewriting.

 Hmmmm... I don't like it very much to be honest... In these situations I
 think that a bit of code duplication is better than a weird generic way to
 handle it.

 Nathann

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