#14015: Affine and Euclidean groups
----------------------------------+-----------------------------------------
       Reporter:  vbraun          |         Owner:  joyner          
           Type:  enhancement     |        Status:  needs_review    
       Priority:  major           |     Milestone:  sage-5.10       
      Component:  group theory    |    Resolution:                  
       Keywords:                  |   Work issues:                  
Report Upstream:  N/A             |     Reviewers:  Travis Scrimshaw
        Authors:  Volker Braun    |     Merged in:                  
   Dependencies:  #14040, #14014  |      Stopgaps:                  
----------------------------------+-----------------------------------------
Changes (by tscrim):

  * status:  needs_work => needs_review
  * reviewer:  => Travis Scrimshaw


Old description:

> This ticket implements basic affine groups and Euclidean groups:
> {{{
> sage: G = AffineGroup(3, QQ)
> sage: g = G.random_element(); g
>      [   2 -1/2    0]     [  0]
> x|-> [   1   -1   -1] x + [-32]
>      [   0   -2   -2]     [1/3]
> sage: g*g
>      [ 7/2 -1/2  1/2]     [   16]
> x|-> [   1  5/2    3] x + [ -1/3]
>      [  -2    6    6]     [191/3]
> sage: g*g.inverse()
>      [1 0 0]     [0]
> x|-> [0 1 0] x + [0]
>      [0 0 1]     [0]
> }}}

New description:

 This ticket implements basic affine groups and Euclidean groups:
 {{{
 sage: G = AffineGroup(3, QQ)
 sage: g = G.random_element(); g
      [   2 -1/2    0]     [  0]
 x|-> [   1   -1   -1] x + [-32]
      [   0   -2   -2]     [1/3]
 sage: g*g
      [ 7/2 -1/2  1/2]     [   16]
 x|-> [   1  5/2    3] x + [ -1/3]
      [  -2    6    6]     [191/3]
 sage: g*g.inverse()
      [1 0 0]     [0]
 x|-> [0 1 0] x + [0]
      [0 0 1]     [0]
 }}}

 ----

 Apply:

  - [attachment:trac_14015-affine_groups-ts.patch]

--

Comment:

 Hey Volker,

 Here's a rebased version with my review changes. I've removed the need for
 the `*_generic` classes and made the docstrings be at the class level so
 that they are visible using introspection. I've also added a method to get
 the lifted matrix space (representation of affine transformations as
 linear transformations) as `linear_space()`, and made a few docstring
 tweaks. If you're happy with my changes, you can set this to positive
 review.

 Best,[[BR]]
 Travis

 For patchbot:

 Apply: trac_14015-affine_groups-ts.patch

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