polynomial rings as cubical set