Alternate Definitions for Bartels’ rotation number

include archived terms