stormpy.numbers.developer.gmp

Warning

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

Functions

abs(arg0)

ceil(arg0)

create_factorized_polynomial(polynomial)

denominator(x)

div(arg0, arg1)

expand(x)

floor(arg0)

isInteger(arg0)

numerator(x)

pow(arg0, arg1)

quotient(arg0, arg1)

Classes

Factorization()

FactorizedPolynomial(FactorizedPolynomial)

Represent a polynomial with its factorization

FactorizedRationalFunction(...)

Represent a rational function, that is the fraction of two factorized polynomials

Polynomial(...)

Represent a multivariate polynomial

RationalFunction(...)

Represent a rational function, that is the fraction of two multivariate polynomials

Term(Term Term)