wythoff_construct
