Back to the previous slide, on to the next slide or up to the computation overview

Weyl provides the usual types of elements for arithmetic operation, real numbers (of arbitrary precision), polynomials, vectors, matrices etc. In addition, the domains of which these objects are elements are also first class objects in Weyl. In fact one creates a ring of polynomials by specifying a list of variables and the domain from which the coefficients will come.

These domains are very useful attachment points for information. For instance, the characteristic of of ring, the dimension of a vector space, etc.