Quaternionic_analysis loading ...