modelcheck_cubicRoots

Extends from TRANSFORM.Icons.Example (Icon for runnable examples).

Parameters

TypeNameDefaultDescription
Reala1
Realb-2
Realc-5
Reald-3

Components

TypeNameDefaultDescription
Complexroots_cReal roots
RealnRoots_cNumber of distinct real solutions expected
RealrootsReal roots
RealnRootsNumber of distinct real solutions expected
RealrootReal root
Utilities.ErrorAnalysis.UnitTestsunitTests