On 2013-03-23, Volker Braun <vbraun.n...@gmail.com> wrote: > ------=_Part_1329_18134862.1364030357521 > Content-Type: text/plain; charset=ISO-8859-1 > > We are talking about guessing the action once and for all for a given > input. You are talking about guessing the action each time a group element > acts in the orbit. I agree that the latter is not consistently doable. But > it is possible to guess the action in the beginning of the orbit > computation, and this is unambiguous.
Unless you specify the action explicitly, you will need to run a syntactic parser on the group domain before you can compute an orbit, or do any other sem-trivial computation. Certainly part 2 of http://trac.sagemath.org/sage_trac/ticket/14291#comment:28 will not be possible to achieve. Say, you have 1, 2, (1,2), (2,(1,2)), and perhaps other stuff in the domain. How many different meanings does "the orbit of ((2,(1,2)),((2,(1,2)))" have? How can you guess the "right" action for it? Dima (recycling a part of another message in this thread, sorry) > > Other points that might be nice to implement (but are not on the ticket): > * a switch to optionally print the guess used for the action, maybe > verbose=True or action="guess_verbose". > * allow any python function f(g,x) as action=f > > > > On Saturday, March 23, 2013 9:58:06 AM UTC+1, Dima Pasechnik wrote: >> >> OK, great, so (1,2) is not an element. >> Yet, you take (1,2) as an element when you compute the 3rd element of >> the orbit. Is your implementation of the function going to read your >> mind, to work correctly? >> >> > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
