Polynomial

Warning

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

class Polynomial(arg0: stormpy.numbers.developer.gmp.Term)

class Polynomial(arg0: stormpy.numbers.developer._pycarl_core.Monomial)

class Polynomial(arg0: stormpy.numbers.Variable)

class Polynomial(arg0: stormpy.numbers.Rational)

class Polynomial(arg0: collections.abc.Sequence[stormpy.numbers.developer.gmp.Term])

Bases: pybind11_object

Represent a multivariate polynomial

constant_part(

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

) → stormpy.numbers.Rational

degree(

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

arg0: stormpy.numbers.Variable,

) → int

derive(

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

variable: stormpy.numbers.Variable,

) → stormpy.numbers.developer.gmp.Polynomial

Compute the derivative

evaluate(

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

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

) → stormpy.numbers.Rational

gather_variables(

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

) → set[stormpy.numbers.Variable]

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

property nr_terms

substitute(

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

arg0: collections.abc.Mapping[stormpy.numbers.Variable, stormpy.numbers.developer.gmp.Polynomial],

) → stormpy.numbers.developer.gmp.Polynomial

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

property total_degree