diff options
author | dos-reis <gdr@axiomatics.org> | 2007-08-14 05:14:52 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-08-14 05:14:52 +0000 |
commit | ab8cc85adde879fb963c94d15675783f2cf4b183 (patch) | |
tree | c202482327f474583b750b2c45dedfc4e4312b1d /src/hyper/pages/HEXADEC.pht | |
download | open-axiom-ab8cc85adde879fb963c94d15675783f2cf4b183.tar.gz |
Initial population.
Diffstat (limited to 'src/hyper/pages/HEXADEC.pht')
-rw-r--r-- | src/hyper/pages/HEXADEC.pht | 127 |
1 files changed, 127 insertions, 0 deletions
diff --git a/src/hyper/pages/HEXADEC.pht b/src/hyper/pages/HEXADEC.pht new file mode 100644 index 00000000..09985963 --- /dev/null +++ b/src/hyper/pages/HEXADEC.pht @@ -0,0 +1,127 @@ +\begin{patch}{HexadecimalExpansionXmpPagePatch1} +\begin{paste}{HexadecimalExpansionXmpPageFull1}{HexadecimalExpansionXmpPageEmpty1} +\pastebutton{HexadecimalExpansionXmpPageFull1}{\hidepaste} +\tab{5}\spadcommand{r := hex(22/7)\bound{r }} +\indentrel{3}\begin{verbatim} + ___ + (1) 3.249 + Type: HexadecimalExpansion +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPageEmpty1} +\begin{paste}{HexadecimalExpansionXmpPageEmpty1}{HexadecimalExpansionXmpPagePatch1} +\pastebutton{HexadecimalExpansionXmpPageEmpty1}{\showpaste} +\tab{5}\spadcommand{r := hex(22/7)\bound{r }} +\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPagePatch2} +\begin{paste}{HexadecimalExpansionXmpPageFull2}{HexadecimalExpansionXmpPageEmpty2} +\pastebutton{HexadecimalExpansionXmpPageFull2}{\hidepaste} +\tab{5}\spadcommand{r + hex(6/7)\free{r }} +\indentrel{3}\begin{verbatim} + (2) 4 + Type: HexadecimalExpansion +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPageEmpty2} +\begin{paste}{HexadecimalExpansionXmpPageEmpty2}{HexadecimalExpansionXmpPagePatch2} +\pastebutton{HexadecimalExpansionXmpPageEmpty2}{\showpaste} +\tab{5}\spadcommand{r + hex(6/7)\free{r }} +\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPagePatch3} +\begin{paste}{HexadecimalExpansionXmpPageFull3}{HexadecimalExpansionXmpPageEmpty3} +\pastebutton{HexadecimalExpansionXmpPageFull3}{\hidepaste} +\tab{5}\spadcommand{[hex(1/i) for i in 350..354]} +\indentrel{3}\begin{verbatim} + (3) + _______________ _________ _____ + [0.00BB3EE721A54D88, 0.00BAB6561, 0.00BA2E8, + ______________________ + 0.00B9A7862A0FF465879D5F, + _____________________________ + 0.00B92143FA36F5E02E4850FE8DBD78] + Type: List HexadecimalExpansion +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPageEmpty3} +\begin{paste}{HexadecimalExpansionXmpPageEmpty3}{HexadecimalExpansionXmpPagePatch3} +\pastebutton{HexadecimalExpansionXmpPageEmpty3}{\showpaste} +\tab{5}\spadcommand{[hex(1/i) for i in 350..354]} +\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPagePatch4} +\begin{paste}{HexadecimalExpansionXmpPageFull4}{HexadecimalExpansionXmpPageEmpty4} +\pastebutton{HexadecimalExpansionXmpPageFull4}{\hidepaste} +\tab{5}\spadcommand{hex(1/1007)} +\indentrel{3}\begin{verbatim} + (4) + 0. + OVERBAR + 0041149783F0BF2C7D13933192AF6980619EE345E91EC2BB9 + D5CCA5C071E40926E54E8DDAE24196C0B2F8A0AAD60DBA5 + 7F5D4C8536262210C74F1 + Type: HexadecimalExpansion +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPageEmpty4} +\begin{paste}{HexadecimalExpansionXmpPageEmpty4}{HexadecimalExpansionXmpPagePatch4} +\pastebutton{HexadecimalExpansionXmpPageEmpty4}{\showpaste} +\tab{5}\spadcommand{hex(1/1007)} +\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPagePatch5} +\begin{paste}{HexadecimalExpansionXmpPageFull5}{HexadecimalExpansionXmpPageEmpty5} +\pastebutton{HexadecimalExpansionXmpPageFull5}{\hidepaste} +\tab{5}\spadcommand{p := hex(1/4)*x**2 + hex(2/3)*x + hex(4/9)\bound{p }} +\indentrel{3}\begin{verbatim} + 2 _ ___ + (5) 0.4x + 0.Ax + 0.71C + Type: Polynomial HexadecimalExpansion +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPageEmpty5} +\begin{paste}{HexadecimalExpansionXmpPageEmpty5}{HexadecimalExpansionXmpPagePatch5} +\pastebutton{HexadecimalExpansionXmpPageEmpty5}{\showpaste} +\tab{5}\spadcommand{p := hex(1/4)*x**2 + hex(2/3)*x + hex(4/9)\bound{p }} +\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPagePatch6} +\begin{paste}{HexadecimalExpansionXmpPageFull6}{HexadecimalExpansionXmpPageEmpty6} +\pastebutton{HexadecimalExpansionXmpPageFull6}{\hidepaste} +\tab{5}\spadcommand{q := D(p, x)\free{p }\bound{q }} +\indentrel{3}\begin{verbatim} + _ + (6) 0.8x + 0.A + Type: Polynomial HexadecimalExpansion +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPageEmpty6} +\begin{paste}{HexadecimalExpansionXmpPageEmpty6}{HexadecimalExpansionXmpPagePatch6} +\pastebutton{HexadecimalExpansionXmpPageEmpty6}{\showpaste} +\tab{5}\spadcommand{q := D(p, x)\free{p }\bound{q }} +\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPagePatch7} +\begin{paste}{HexadecimalExpansionXmpPageFull7}{HexadecimalExpansionXmpPageEmpty7} +\pastebutton{HexadecimalExpansionXmpPageFull7}{\hidepaste} +\tab{5}\spadcommand{g := gcd(p, q)\free{p }\free{q }} +\indentrel{3}\begin{verbatim} + _ + (7) x + 1.5 + Type: Polynomial HexadecimalExpansion +\end{verbatim} +\indentrel{-3}\end{paste}\end{patch} + +\begin{patch}{HexadecimalExpansionXmpPageEmpty7} +\begin{paste}{HexadecimalExpansionXmpPageEmpty7}{HexadecimalExpansionXmpPagePatch7} +\pastebutton{HexadecimalExpansionXmpPageEmpty7}{\showpaste} +\tab{5}\spadcommand{g := gcd(p, q)\free{p }\free{q }} +\end{paste}\end{patch} + |