3.2 The src Subdirectory

The following files contain categories and domains that are coded to resemble corresponding categories and domains of the Aldor library in order to demonstrate how ALLPROSE should be used. As a side-effect, the corresponding categories and domains have a slightly more detailed documentation than that in the Aldor library itself.

src/myalps/version.as.nw:

Provides a general category for version information of a library.

src/myalps/prtype.as.nw:

Provides a category that exports equality.

src/myalps/copy.as.nw:

Provides a category for types with a copy function.

src/myalps/arith.as.nw:

Provides categories for the basic arithmetic operations like + (plus), − (minus), ⋅ (times).

src/myalps/binpow.as.nw:

Provides a package with a binary powering algorithm that is flexible enough to use any associative binary operation as the multiplication.