Bulk renaming of alg_formula related stuff - Githubissues

math-comp / Abel

A proof of Abel-Ruffini theorem.

28 stars 8 forks source link

Bulk renaming of alg_formula related stuff #62

Closed CohenCyril closed 3 years ago

CohenCyril commented 3 years ago

algformula -> algterm
%algf -> %algT
alg_eval -> algT_eval
prim_unity_root -> prim1root