FiSGO.PIrrepsSearch

Module implementing the search of projective irreducible representations.

Functions

build_absolute_bound	Implementation of Collins' [[1]_] absolute bound to the order of a group with an n-dimensional projective irreducible representations.
build_bounds	Generic bounds on the prime powers of an n-dimensional (quasi)primitive group in characteristic zero, for any n on the given range.
build_single_bound	Bounds on the prime powers of an n-dimensional (quasi)primitive group in characteristic zero.
factorial_factor	An implementation of Legendre's formula to compute the largest power of p dividing n!.
hiss_malle_range	Given a range of degrees, between 2 and 250, returns the list of pirreps with the given characteristics.
lubeck_bulk_get	Given a list of groups or group codes of the same type, returns their computed Lübeck data.
pirreps_search	Given a dimension or a dimension range, this function tries to search for simple groups containing projective representations within the given range.