
% Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
% All rights reserved.
%
% Redistribution and use in source and binary forms, with or without
% modification, are permitted provided that the following conditions are
% met:
%
%     - Redistributions of source code must retain the above copyright
%       notice, this list of conditions and the following disclaimer.
%
%     - Redistributions in binary form must reproduce the above copyright
%       notice, this list of conditions and the following disclaimer in
%       the documentation and/or other materials provided with the
%       distribution.
%
%     - Neither the name of The Numerical ALgorithms Group Ltd. nor the
%       names of its contributors may be used to endorse or promote products
%       derived from this software without specific prior written permission.
%
% THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS
% IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
% TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A
% PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER
% OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
% EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
% PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES-- LOSS OF USE, DATA, OR
% PROFITS-- OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
% LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
% NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
% SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.



% hexadec.htex
All rationals have repeating hexadecimal expansions.
The operation \spadfunFrom{hex}{HexadecimalExpansion} returns these
expansions of type \spadtype{HexadecimalExpansion}.
Operations to access the individual numerals of a hexadecimal expansion can
be obtained by converting the value to \spadtype{RadixExpansion(16)}.
More examples of expansions are available in the
\xmpref{DecimalExpansion},
\xmpref{BinaryExpansion}, and
\xmpref{RadixExpansion}.

\showBlurb{HexadecimalExpansion}

\xtc{
This is a hexadecimal expansion of a rational number.
}{
\spadcommand{r := hex(22/7) \bound{r}}
}
\xtc{
Arithmetic is exact.
}{
\spadcommand{r + hex(6/7) \free{r}}
}
\xtc{
The period of the expansion can be short or long \ldots
}{
\spadcommand{[hex(1/i) for i in 350..354] }
}
\xtc{
or very long!
}{
\spadcommand{hex(1/1007) }
}
\xtc{
These numbers are bona fide algebraic objects.
}{
\spadcommand{p := hex(1/4)*x^2 + hex(2/3)*x + hex(4/9)  \bound{p}}
}
\xtc{
}{
\spadcommand{q := D(p, x) \free{p}\bound{q}}
}
\xtc{
}{
\spadcommand{g := gcd(p, q)            \free{p}\free{q}}
}
