. - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

Online Help

Ordinals[Mult]

ordinal multiplication

Ordinals[`.`]

ordinal multiplication

&.

inert ordinal multiplication

 

Calling Sequence

Parameters

Description

Examples

Compatibility

Calling Sequence

Mult(a, b, ...)

a . b . ...

a &. b &. ...

Parameters

a, b, ...

-

ordinals, nonnegative integers, or polynomials with positive integer coefficients

Description

• 

The Mult and . calling sequences multiply the given ordinal numbers according to the rules of ordinal arithmetic. Let , where  is a positive integer and  or  in the strict ordering  of ordinals.

– 

.

– 

If  is a positive integer, then .

– 

If , where  and , then .

– 

If , then .

• 

Mathematically, multiplication of two ordinals  corresponds to the cartesian product  of the two well-orderings represented by  and , respectively, together with the lexicographic ordering:

• 

If the arguments  are all nonzero and contain at least one ordinal data structure, that is, an ordinal number greater or equal to , then the result is an ordinal data structure. Otherwise, the result is a nonnegative integer or a polynomial with positive integer coefficients.

• 

The &. calling sequence is the inert form of ordinal multiplication. No actual multiplication is performed, but the result will be rendered as an inert product, with parentheses around the arguments if necessary.

• 

Applying the value command will turn the inactive &. operator into the active . operator, causing the ordinal multiplication to be computed as described above.

• 

In general, ordinal multiplication is not commutative, and the order of the operands does matter, for both calling sequences.

• 

If some of the arguments are parametric ordinals and it cannot be determined whether a leading or trailing coefficient is nonzero, an error will be raised.

Examples

(1)

(2)

(3)

(4)

(5)

(6)

(7)

(8)

The inert multiplication operator is useful for display purposes:

(9)

Multiplication by a positive integer from the right only affects the leading coefficient, and from the left only affects the constant coefficient:

(10)

(11)

(12)

Parametric examples:

(13)

(14)

Error, (in Ordinals:-Mult) unable to multiply

(15)

(16)

(17)

(18)

(19)

(20)

Compatibility

• 

The Ordinals[Mult], Ordinals[`.`] and &. commands were introduced in Maple 2015.

• 

For more information on Maple 2015 changes, see Updates in Maple 2015.

See Also

Ordinals

Ordinals[Add]

Ordinals[Div]

Ordinals[LessThan]

Ordinals[Ordinal]

Ordinals[Power]

value

 


Download Help Document