small demo of computing group theory things from dynkin diagrams with HTML display