MONET Definitions

Target Namespace: http://monet.nag.co.uk/problems/

Problem . . .
univariate_polynomial_roots
Header . . .
Taxonomy: http://gams.nist.gov
Code: GamsF1a
Body . . .
Input . . .
p ∈ polynomial_ring
Output . . .
roots ∈ list ⁡ ( coefficient_ring ⁡ ( p ) )
Pre-Condition . . .
degree ⁡ ( p ) = n
Post-Condition . . .
size ⁡ ( roots ) = n
∀ x . x ∈ roots ⇒ evaluate ⁡ ( p , x ) = 0