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/input/up.input.pamphlet | |
| download | open-axiom-ab8cc85adde879fb963c94d15675783f2cf4b183.tar.gz | |
Initial population.
Diffstat (limited to 'src/input/up.input.pamphlet')
| -rw-r--r-- | src/input/up.input.pamphlet | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/src/input/up.input.pamphlet b/src/input/up.input.pamphlet new file mode 100644 index 00000000..4a4a4283 --- /dev/null +++ b/src/input/up.input.pamphlet @@ -0,0 +1,58 @@ +\documentclass{article} +\usepackage{axiom} +\begin{document} +\title{\$SPAD/src/input UP.input} +\author{The Axiom Team} +\maketitle +\begin{abstract} +\end{abstract} +\eject +\tableofcontents +\eject +<<*>>= + +-- Input generated from UnivariatePolynomialXmpPage +)clear all + +(p,q) : UP(x,INT) +p := (3*x-1)**2 * (2*x + 8) +q := (1 - 6*x + 9*x**2)**2 +p**2 + p*q +leadingCoefficient p +degree p +reductum p +gcd(p,q) +lcm(p,q) +resultant(p,q) +D p +p(2) +p(q) +q(p) +l := coefficients p +reduce(gcd,l) +content p +ux := (x**4+2*x+3)::UP(x,INT) +vectorise(ux,5) +squareTerms(p) == + reduce(+,[t**2 for t in monomials p]) +p +squareTerms p +(r,s) : UP(a1,FRAC INT) +r := a1**2 - 2/3 +s := a1 + 4 +r quo s +r rem s +d := divide(r, s) +r - (d.quotient * s + d.remainder) +integrate r +integrate s +t : UP(a1,FRAC POLY INT) +t := a1**2 - a1/b2 + (b1**2-b1)/(b2+3) +u : FRAC POLY INT := t +u :: UP(b1,?) +@ +\eject +\begin{thebibliography}{99} +\bibitem{1} nothing +\end{thebibliography} +\end{document} |