I have the useful command:
EtaGroup(8).basis()[0].r(2)
which will return the first exponent in (eta_2)^-4 (eta_4)^12 (eta_8)^-8; namely -4. Similarly
EtaGroup(8).basis()[0].r(4)
will return 12 etc. I want to extract the scaling factors though. That is, I want to print 2 or 4 or 8 in the expression (eta_2)^-4 (eta_4)^12 (eta_8)^-8
How??
Like this
sage: e = EtaGroup(8).basis()[0]
sage: e
Eta product of level 8 : (eta_2)^-4 (eta_4)^12 (eta_8)^-8
sage: e._rdict
{2: -4, 4: 12, 8: -8}
Very nice. Did not know this function. Thank you!
Asked: 2021-01-19 01:03:30 +0100
Seen: 178 times
Last updated: Jan 19 '21
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.
