Implementing structured Gaussian Elimination (in-progress)
implementing polynomial factorisation over finite field