Switched to FactorizedPolynomial as the basis for rational functions and added missing reward construct for one NAND model.

Former-commit-id: 8bb62ee1d2

examples/pdtmc/nand/nand_10-5.pm

@@ -69,3 +69,8 @@ endmodule
 label "target" = s=4 & z/N<0.1;
 label "end" = s=4;
 
+// rewards: final value of gate
+rewards
+    // [] s=0 & (c=N) & (u=M) : z/N;
+    s=0 & (c=N) & (u=M) : z/N;
+endrewards

src/storage/parameters.h

@@ -13,9 +13,9 @@ namespace storm
 //	typedef carl::MultivariatePolynomial<cln::cl_RA> Polynomial;
 	typedef carl::Variable  Variable;
     typedef carl::MultivariatePolynomial<cln::cl_RA> RawPolynomial;
-//    typedef carl::FactorizedPolynomial<RawPolynomial> Polynomial;
+    typedef carl::FactorizedPolynomial<RawPolynomial> Polynomial;
 
-    typedef RawPolynomial Polynomial;
+//    typedef RawPolynomial Polynomial;
 	
 	typedef carl::CompareRelation CompareRelation;
 	typedef carl::RationalFunction<Polynomial> RationalFunction;