Splitting of prime ideals (source code)

= Splitting of prime ideals