|
|
|---|
|
|
|
|---|
Generate specialized versions of the operations to group and ungroup digits in arbitrary bases, based on existing instances of defdigits.
The defdigits macro generates specialized versions of
the operations to convert between natural numbers and digits.
This macro,
The
(defdigit-grouping name :smaller ... :larger ... :group-bendian ... :group-lendian ... :ungroup-bendian ... :ungroup-lendian ... :parents ... :short ... :long ... )
A symbol that names the ensemble of the generated specialized grouping and ungrouping functions. This is used as the XDOC topic under which the XDOC topics for the generated events are put.
The name of a previous successful call of defdigits. This determines the smaller base for grouping and ungrouping. Let
base be the smaller base.
The name of a previous successful call of defdigits. This determines the larger base for grouping and ungrouping, which must be a positive power of
base that is at least 2. Letexp be that positive power, so that the larger base isbase^exp .
Symbols that specify the names to use for the generated functions (see details below).
These, if present, are added to the XDOC topic generated for the ensemble of the generated specialized grouping and ungrouping functions.
Specialized versions of group-bendian, group-lendian, ungroup-bendian, and ungroup-lendian. These new functions are accompanied by theorems corresponding to the ones that accompany the original functions.
The generated events include XDOC documentation.
They are all under an XDOC for the ensemble,
whose name is specified in the