{# Deprecated alias of circle-divide (alias.name) #}