finished for numeric-tower
rename to numeric-tower
add combinatorics