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/function.input.pamphlet | |
download | open-axiom-ab8cc85adde879fb963c94d15675783f2cf4b183.tar.gz |
Initial population.
Diffstat (limited to 'src/input/function.input.pamphlet')
-rw-r--r-- | src/input/function.input.pamphlet | 89 |
1 files changed, 89 insertions, 0 deletions
diff --git a/src/input/function.input.pamphlet b/src/input/function.input.pamphlet new file mode 100644 index 00000000..1fe79640 --- /dev/null +++ b/src/input/function.input.pamphlet @@ -0,0 +1,89 @@ +\documentclass{article} +\usepackage{axiom} +\begin{document} +\title{\$SPAD/src/input function.input} +\author{The Axiom Team} +\maketitle +\begin{abstract} +\end{abstract} +\eject +\tableofcontents +\eject +<<*>>= + +-- Input for page RationatFunctionPage +)clear all + +f := (x - y) / (x + y) +numer f +denom f +eval(f, x = 1/x) +eval(f, [x = y, y = x]) + +-- Input for page AlgebraicFunctionPage +)clear all + +f := sqrt(1 + x ** (1/3)) +y := rootOf(y**3 + y**2 - x*y + x**3 - 1, y) +differentiate(y, x) +(y + 1) ** 3 +g := inv f +ratForm g + +-- Input for page OperatorPage +)clear all + +R := SQMATRIX(2, INT) +t := operator("tilde")::OP(R) +evaluate(t, m +-> transpose m) +s:R := matrix [[0, 1], [1, 0]] +rho := t * s +z := rho**4 - 1 +m:R := matrix [[1, 2], [3, 4]] +z m +rho m +rho rho m +(rho**3) m +b := t * s - s * t +b m +)read opalg + +-- Input for page ElementaryFunctionPage +)clear all + +f := x * log y * sin(1/(x+y)) +eval(f, [x = y, y = x]) +eval(f, log y = acosh(x + sqrt y)) + +-- Input for page FunctionSimplificationPage +)clear all + +f := cos(x)/sec(x) * log(sin(x)**2/(cos(x)**2+sin(x)**2)) +g := simplify f +h := sin2csc cos2sec g +expandLog h +f1 := sqrt((x+1)**3) +rootSimp f1 +g1 := sin(x + cos x) +g2 := complexElementary g1 +trigs g2 +h1 := sinh(x + cosh x) +h2 := realElementary h1 +htrigs h2 + +-- Input for page PatternMatchingPage +)clear all + +groupSqrt := _rule(sqrt(a) * sqrt(b), sqrt(a*b)) +a := sqrt(2) * sqrt(3) +groupSqrt a +a := (sqrt(x) + sqrt(y))**4 +groupSqrt a +)read sinCosEx +sinCosExpand(sin(x+y-2*z) * cos y) +@ +\eject +\begin{thebibliography}{99} +\bibitem{1} nothing +\end{thebibliography} +\end{document} |