Does anyone know where the extensive example Pol01(polarisation) comes from? Are there any theses related to Pol01?