API Docs for: 1.0

Class OrdSummand

Class defined in: src/js/Ord.js:252

Constructor to create a triple omega ^ ord * n, representing a term (or a summand) of an Ord object.
The base is always omega, the exponent and the factor can be defined by the parameters. Note that you must ensure not to violate the normalized form of the Ord to which this OrdSummand will be appended.

OrdSummand( exponent, fac )
src/js/Ord.js:252
Parameters:
  • exponent <Ord / number>

    The exponent of the triple. If undefined, the value will be 0.

  • fac <Number>

    The factor of the triple. If undefined, the value will be 1.

Ord / number getExponent( )
src/js/Ord.js:283

Get the exponent. Note that this method returns an Ord object if the exponent is greater or equal to omega, and a number if the exponent is a natural number (is less than omega).


Returns: <Ord / number> The exponent
Number getFactor( )
src/js/Ord.js:298

Get the factor.


Returns: <Number> The factor
Number isGreaterThan( otherOS )
src/js/Ord.js:352

Compares the sizes of this OrdSummand versus another one (which is given as parameter)

Parameters:
  • otherOS <OrdSummand>

    The other OrdSummand, to which this object will be compared.


Returns: <Number> A value greater 0 if this OrdSummand is greater, a value less than 0 if this ordSummand is less than otherOS and the value 0 if they are equally.
serialize( arr, htmlStyle. )
src/js/Ord.js:307

Serializes the data of this OrdSummand recursively and appends the single components to the array given as parameter

Parameters:
  • arr <Array>

    The Array to which the data will be appended.

  • htmlStyle. <Boolean>

    If true, the serialization generates a html representation.

exp <Ord / number>
src/js/Ord.js:269

The exponent of the OrdSummand triple.

factor <Number>
src/js/Ord.js:275

The factor of the OrdSummand triple