Can anyone please tell me what a is doing in the following output? (Depending on the ordering of the Dynkin diagram, I believe it should be either 1 or 3.)
sage: W = WeylGroup(["G",2]) ; s = W.simple_reflections() ; s[2].canonical_matrix()
a is the square root of 3, as the coefficients of this matrix are defined on the number field with defining polynomial x^2 - 3, see:
sage: M = s[2].canonical_matrix()
sage: M.parent()
Full MatrixSpace of 2 by 2 dense matrices over Number Field in a with defining polynomial x^2 - 3 with a = 1.732050807568878?
sage: M
[ 1 0]
[ a -1]
sage: M[1,0]
a
sage: M[1,0]^2
3
Asked: 2019-11-06 18:05:59 +0100
Seen: 188 times
Last updated: Nov 06 '19
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
