Section 9.83 UnivariatePolynomial The domain constructor UnivariatePolynomial (abbreviated UP) creates
domains of univariate polynomials in a specified variable. For example,
the domain Example operations on univariate polynomials axiom (p, Type: Void
axiom p := (3*x-1)**2 * (2*x + 8)
Type: UnivariatePolynomial(x,
axiom q := (1 - 6*x + 9*x**2)**2
Type: UnivariatePolynomial(x,
axiom p**2 + p*q
Type: UnivariatePolynomial(x,
axiom D p
Type: UnivariatePolynomial(x,
axiom integrate p
Type: UnivariatePolynomial(x,
axiom p 2
Type: PositiveInteger?
axiom subst(p,
Type: Expression(Integer)
axiom 2 p
Type: UnivariatePolynomial(x,
axiom p q
Type: UnivariatePolynomial(x,
axiom q p
Type: UnivariatePolynomial(x,
axiom y:Symbol Type: Void
axiom 1 y
Type: UnivariatePolynomial(y,
axiom w
Type: Variable(w)
axiom p w
Type: Fraction(Polynomial(Integer))
axiom vectorise(p,
Type: Vector(Integer)
axiom t : UP(a1, Type: Void
axiom t := a1**2 - a1/b2 + (b1**2-b1)/(b2+3)
Type: UnivariatePolynomial(a1,
axiom u : FRAC POLY INT := t
Type: Fraction(Polynomial(Integer))
axiom u :: UP(b1,
Type: UnivariatePolynomial(b1,
|