primeorder: algorithm specialization using equation_a::Is* ZSTs#728
Merged
primeorder: algorithm specialization using equation_a::Is* ZSTs#728
equation_a::Is* ZSTs#728