Ejemplo n.º 1
0
 def selected_group(self):
     """Returns currently selected group
     """
     if self._group_type.get() == "Alternating":
         self._alt_degree.refresh_input()
         return AlternatingGroup(self._alt_degree.get_number())
     if self._group_type.get() == "Classical":
         self._clas_dim.refresh_input()
         self._clas_field.refresh_input()
         return ClassicalGroup(self._clas_type.variable.get(),
                               self._clas_dim.get_number(), self._clas_field.get_number())
     if self._group_type.get() == "Sporadic":
         return SporadicGroup(self._sporadic_group.variable.get())
     if self._group_type.get() == "Exceptional":
         self._ex_field.refresh_input()
         return ExceptionalGroup(self._ex_type.variable.get(), self._ex_field.get_number())
Ejemplo n.º 2
0
 def test_alternating_order(self):
     expected = 653837184000
     g = AlternatingGroup(15)
     self.assertEqual(expected, g.order())
Ejemplo n.º 3
0
 def test_alternating_str(self):
     g = AlternatingGroup(51)
     self.assertEqual("Alt(51)", str(g))
Ejemplo n.º 4
0
 def test_alternating_order(self):
     expected = 653837184000
     g = AlternatingGroup(15)
     self.assertEqual(expected, g.order())
Ejemplo n.º 5
0
 def test_alternating(self):
     expected = [19, 34, 48, 51, 52, 72, 78, 88, 91, 99, 110,
                 120, 126, 132, 165, 168, 180, 195, 231, 315, 420]
     g = AlternatingGroup(21)
     self.assertSequenceEqual(expected, g.apex())