Classes
The following classes are available globally.
-
RatPoly represents an immutable single-variate polynomial expression, as in the examples below.
AbstractState: RatPolys are sums of RatTerms with non-negative exponents.
Example RatPolys include
0
,x-10
, andx^3-2*x^2+5/3*x+3
, andNaN
.Note
See RatNum’s documentation for a definition ofimmutable
.Declaration
Swift
public class RatPoly : CustomStringConvertible, Equatable
-
RatPolyStack is a mutable finite sequence of RatPoly objects.
Abstract State: Each RatPolyStack can be described by [p1, p2, … ], where [] is an empty stack, [p1] is a one element stack containing the Poly ‘p1’, and so on. RatPolyStacks can also be described constructively, with the append operation, ‘:’. such that [p1]:S is the result of putting p1 at the front of the RatPolyStack S.
A finite sequence has an associated size, corresponding to the number of elements in the sequence. Thus the size of [] is 0, the size of [p1] is 1, the size of [p1, p1] is 2, and so on.
See moreDeclaration
Swift
public class RatPolyStack : Sequence