Support polynomial rings over semirings.
Authored by: whebisch 2011-07-25
Parent: [r1118]
Child: [r1120]