Skip to main content
3 events
when toggle format what by license comment
Jun 27 at 12:42 answer added SamJeralds timeline score: 1
Jun 26 at 15:56 comment added LSpice I agree with you that this is surely written down somewhere, but, even if it's not, finding a highest-weight vector seems fairly constructive—just hit any vector with positive root vectors until you can't do so any more without killing it.
Jun 26 at 13:39 history asked Chase CC BY-SA 4.0