四元环计数