#14684: Convert between free group elements considering generator names.
-------------------------------------+-------------------------------------
       Reporter:  mmarco             |        Owner:  mmarco
           Type:  defect             |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.4
      Component:  group theory       |   Resolution:
       Keywords:  free groups        |    Merged in:
        Authors:  mmarco             |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/mmarco/ticket/14684              |  4a479edb0db34d4d9d956dd2a1c306d93a00c7e1
   Dependencies:                     |     Stopgaps:
-------------------------------------+-------------------------------------
Changes (by vdelecroix):

 * status:  needs_work => needs_review
 * commit:  b2d253d9feeab81f73eaab3e484c6acbe7d34144 =>
     4a479edb0db34d4d9d956dd2a1c306d93a00c7e1
 * branch:  public/14684 => u/mmarco/ticket/14684


Comment:

 Thanks. If it is, your commit should appear on this page... and it does
 not. I only see your commit at `u/mmarco/ticket/14684` (`public/14684` is
 one commit back). I switch back to the name of the branch that you used.
 If you want to commit to a specific branch use `git push trac
 HEAD:public/14684`.

 Vincent
 ----
 New commits:
 
||[http://git.sagemath.org/sage.git/commit/?id=4a479edb0db34d4d9d956dd2a1c306d93a00c7e1
 4a479ed]||{{{Remved unnecessary check for _freegroup_}}}||

--
Ticket URL: <http://trac.sagemath.org/ticket/14684#comment:15>
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.
For more options, visit https://groups.google.com/d/optout.

Reply via email to