Magma V2.27-4 Fri Oct 20 2023 23:23:47 on socrates [Seed = 3264531041] +-------------------------------------------------------------------+ | This copy of Magma has been made available through a | | generous initiative of the | | | | Simons Foundation | | | | covering U.S. Colleges, Universities, Nonprofit Research entities,| | and their students, faculty, and staff | +-------------------------------------------------------------------+ Type ? for help. Type -D to quit. Loading file "compute-mathieu-invariants.mag" Loading "../find-invariants.mag" Working with group M11 Computing a lower bound on the invariant degrees using a Molien series. ....Done. ....Maximum degree is 8 Trying to find independent invariants with degree bounded by 8 ....Done. ....Degrees match. [ 1, 2, 3, 4, 5, 5, 6, 6, 7, 7, 8 ] true Time: 0.170 Working with group M12 Computing a lower bound on the invariant degrees using a Molien series. ....Done. ....Maximum degree is 9 Trying to find independent invariants with degree bounded by 9 ....Done. ....Degrees match. [ 1, 2, 3, 4, 5, 6, 6, 7, 8, 8, 9, 9 ] true Time: 0.770 Working with group M22 Computing a lower bound on the invariant degrees using a Molien series. ....Done. ....Maximum degree is 7 Trying to find independent invariants with degree bounded by 7 ....Done. ....Degrees match. [ 1, 2, 3, 4, 4, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7 ] true Time: 5.280 Working with group M22d2 Computing a lower bound on the invariant degrees using a Molien series. ....Done. ....Maximum degree is 7 Trying to find independent invariants with degree bounded by 7 ....Done. ....Degrees match. [ 1, 2, 3, 4, 4, 5, 5, 5, 6, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7 ] true Time: 5.230 Working with group M23 Computing a lower bound on the invariant degrees using a Molien series. ....Done. ....Maximum degree is 9 Trying to find independent invariants with degree bounded by 9 ....Done. ....Degrees match. [ 1, 2, 3, 4, 5, 5, 6, 6, 6, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 9 ] true Time: 132.970 Working with group M24 Computing a lower bound on the invariant degrees using a Molien series. ....Done. ....Maximum degree is 10 Trying to find independent invariants with degree bounded by 10 ....Done. ....Degrees match. [ 1, 2, 3, 4, 5, 6, 6, 7, 7, 8, 8, 8, 8, 9, 9, 9, 9, 9, 10, 10, 10, 10, 10, 10 ] true Time: 806.780 Total time: 951.490 seconds, Total memory usage: 23481.22MB