HOGMANES

Definition of HOGMANES