Start Developer API Documentation stormpy.numbers.developer.cln create_factorized_polynomial create_factorized_polynomial¶ Warning The stormpy developer API is internal and can be subject to change. create_factorized_polynomial(polynomial)¶