#14014: Update matrix groups to new Parents, libGAP.
----------------------------------+-----------------------------------------
Reporter: vbraun | 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: David Roe
Authors: Volker Braun | Merged in:
Dependencies: #14187, #14323 | Stopgaps:
----------------------------------+-----------------------------------------
Comment (by dimpase):
Something I don't get happens in `sage/groups/matrix_gps/orthogonal.py`.
You changed docstring to say
{{{
The general orthogonal group `GO(n,R)` consists of all orthogonal
`n\times n` matrices over the ring `R`.
}}}
but it doesn't always work, as for finite fileds it's still the same GAP
backend:
{{{
sage: GO(6,GF(3))
...
ValueError: must have e=-1 or e=1 for even degree
}}}
IMHO, speaking about `the orthogonal group over a ring` is not right.
Generally speaking one would have lots of inequivalent bilinear scalar
products to choose from, leading to different groups. Even in physics,
where the Lorenz group is an example of this...
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14014#comment:17>
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.
