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