10 0 Compute minimal number of generators of subring ( 2022-06-18 21:49:37 +0100 )
10 0 Compute minimal number of generators of subring ( 2021-08-23 19:49:47 +0100 )
10 0 Compute minimal number of generators of subring ( 2021-08-23 13:29:11 +0100 )