cherrypicked from andreas
Modified PolynomialSystems.ttl to use integer datatypes for hasDegree