FactorizedPolynomial

Warning

The stormpy developer API is internal and can be subject to change.

class FactorizedPolynomial(number: stormpy.numbers.Rational)

class FactorizedPolynomial(

polynomial: stormpy.numbers.developer.gmp.Polynomial,

cache: stormpy.numbers.developer.gmp._FactorizationCache,

)

Bases: pybind11_object

Represent a polynomial with its factorization

Constructor

Constructor

cache(

self: stormpy.numbers.developer.gmp.FactorizedPolynomial,

) → stormpy.numbers.developer.gmp._FactorizationCache

property coefficient

constant_part(

self: stormpy.numbers.developer.gmp.FactorizedPolynomial,

) → stormpy.numbers.Rational

derive(

self: stormpy.numbers.developer.gmp.FactorizedPolynomial,

variable: stormpy.numbers.Variable,

) → stormpy.numbers.developer.gmp.FactorizedPolynomial

Compute the derivative

evaluate(

self: stormpy.numbers.developer.gmp.FactorizedPolynomial,

arg0: collections.abc.Mapping[stormpy.numbers.Variable, stormpy.numbers.Rational],

) → stormpy.numbers.Rational

factorization(

self: stormpy.numbers.developer.gmp.FactorizedPolynomial,

) → stormpy.numbers.developer.gmp.Factorization

Get factorization

gather_variables(

self: stormpy.numbers.developer.gmp.FactorizedPolynomial,

) → set[stormpy.numbers.Variable]

is_constant(self: stormpy.numbers.developer.gmp.FactorizedPolynomial) → bool

is_one(self: stormpy.numbers.developer.gmp.FactorizedPolynomial) → bool

polynomial(

self: stormpy.numbers.developer.gmp.FactorizedPolynomial,

) → stormpy.numbers.developer.gmp.Polynomial

Get underlying polynomial

to_smt2(self: stormpy.numbers.developer.gmp.FactorizedPolynomial) → str