next up previous contents
Next: Approximation of the SmallBasis Up: Finding a small generating Previous: Preview of operations

The SmallBasis Operation

One natural operation is called SmallBasis. We begin by describing an idealized version of it. SmallBasis associates to a finite sequence tex2html_wrap_inline7128 , a subset Y of X such that tex2html_wrap_inline7134 if and only if tex2html_wrap_inline7136 . for each tex2html_wrap_inline7138 .

Note that SmallBasis(X) depends on the order of the tex2html_wrap_inline4786 's in the sequence X.

The reason that SmallBasis cannot be fully implemented on a computer is that one cannot in general decide whether or not tex2html_wrap_inline7136 .

Wed Jul 3 10:27:42 PDT 1996