WithTheCandidateFactorsWrittenOut​(AngouriMath.​Entity,​AngouriMath.​Entity,​System.​Collections.​Generic.​IReadOnlyList{AngouriMath.​Entity})

numerator over denominator, a product of powers as
written, with each of candidates divided out of every written factor of
the denominator as often as it goes exactly and written as a power of its own, and then
out of the numerator as often as it goes there too. Null where no candidate divides a
factor it is not already, where none then divides the numerator, or where a side does not
read as a polynomial over the rationals.