aboutsummaryrefslogtreecommitdiff
path: root/src/input/up.input.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/input/up.input.pamphlet')
-rw-r--r--src/input/up.input.pamphlet58
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}