diff --git a/src/adapters/extendedCarl.h b/src/adapters/extendedCarl.h
new file mode 100644
index 000000000..6cf548e7c
--- /dev/null
+++ b/src/adapters/extendedCarl.h
@@ -0,0 +1,23 @@
+/** 
+ * @file:   extendedCarl.h
+ * @author: Sebastian Junges
+ *
+ * @since March 18, 2014
+ */
+
+#ifndef STORM_ADAPTERS_EXTENDEDCARL_H_
+#define STORM_ADAPTERS_EXTENDEDCARL_H_
+
+#include <carl/core/MultivariatePolynomial.h>
+
+namespace carl
+{
+template<typename C, typename O, typename P>
+inline size_t hash_value(carl::MultivariatePolynomial<C,O,P> const& p)
+{
+	std::hash<carl::MultivariatePolynomial<C,O,P>> h;
+	return h(p);
+}
+}
+
+#endif
\ No newline at end of file
diff --git a/src/storage/parameters.h b/src/storage/parameters.h
new file mode 100644
index 000000000..22a3753f2
--- /dev/null
+++ b/src/storage/parameters.h
@@ -0,0 +1,19 @@
+//#ifndef STORM_STORAGE_PARAMETERS_H_
+//#define STORM_STORAGE_PARAMETERS_H_
+
+#pragma once
+
+#include "storm-config.h"
+#ifdef STORM_HAVE_CARL
+
+#include "../adapters/extendedCarl.h"
+
+namespace storm
+{
+	typedef carl::MultivariatePolynomial<mpq_class> Polynomial;
+	//typedef Parameter  carl::Variable							;
+}
+#endif
+
+//#endif
+