added:
From aUser Thu Feb 1 15:21:23 +0000 2018
From: aUser
Date: 2018年2月01日 15:21:23 +0000
Subject:
Message-ID: <20180201152123+0000@axiom-wiki.newsynthesis.org>
\begin{AxiomCode}
f(a) == ( local b; b:=sqrt(a); b^2-a)
f(2)
\end{AxiomCode}
This page is set to execute \begin{axiom}... \end{axiom} commands using FriCAS?. See also FriCASIntegration?.
)version
Value = "FriCAS 1.3.1 compiled at Thu Feb 16 03:24:08 UTC 2017"
Any comments added here use this version of FriCAS?.
solve(s=v*t+a*t^2/2,t)
radicalSolve(s=v*t+a*t^2/2,t)
solve(v*t+a*t^2/2-s=0,t)
solve(v*t+a*t/2-s=0,t)
solve(v*t+a*t^2/2-s=0,t)
radicalSolve(p^3 - p + 1/10=0,p)
R1 ==> Record(foo1: String,remLexs: List Integer)
R2 ==> Record(foo2: String,remLexs: List Integer)
r1: R1 := ["a",[1, 2, 3]]
r2: R2 := ["b",[5]]
r1.remLexs
r2.remLexs
)set output tex off
)set output algebra on
guessPRec [1,0, 1, 1, 4, 10, 35, 120, 455, 1792, 7413, 31780, 140833, 641928, 3000361, 14338702, 69902535, 346939792, 1750071307, 8958993507, 46484716684, 244187539270, 1297395375129, 6965930587924]
(13) [ [ f(n): 2 2 (- n - 17n - 72)f(n + 3) + (4n + 30n + 44)f(n + 2) + 2 2 (19n + 113n + 150)f(n + 1) + (14n + 42n + 28)f(n) = 0 ,f(0) = 1, f(1) = 0, f(2) = 1] ]
guessRec([1,1, 0, 1, - 1, 2, - 1, 5, - 4, 29, - 13, 854, - 685])
2 (14) [[f(n): f(n + 2) + f(n + 1) - f(n) = 0,f(0) = 1, f(1) = 1]]
integrate(exp(x-x^2),x)
1 - 4 2x - 1 +---+ %e erf(------)\|%pi 2 (15) -------------------- 2
2**3
There are no library operations named ** Use HyperDoc Browse or issue )what op ** to learn if there is any operation containing " ** " in its name.
Cannot find a definition or applicable library operation named ** with argument type(s) PositiveInteger PositiveInteger
Perhaps you should use "@" to indicate the required return type,or "$" to specify which version of the function you need.
sqrt(2)^2-2
a:=sqrt(2)
b:=sqrt(a)
b^2-a
f(a) == { local b=sqrt(a); b^2-a}
Line 1: f(a) == { local b=sqrt(a); b^2-a}
........A........B
Error A: Missing mate.
Error B: syntax error at top level
Error B: Possibly missing a }
3 error(s) parsing
f(a) == { local b:=sqrt(a); b^2-a}
Line 1: f(a) == { local b:=sqrt(a); b^2-a}
..........A
Error A: syntax error at top level
Error A: Improper syntax.
2 error(s) parsing
f(a) == ( local b; b:=sqrt(a); b^2-a)
f(2)
Compiling function f with type PositiveInteger -> AlgebraicNumber
f(sqrt(2))
Compiling function f with type AlgebraicNumber -> AlgebraicNumber
f(a) == ( local b; b:=sqrt(a); b^2-a)
f(2)
Compiling function f with type PositiveInteger -> AlgebraicNumber
f(sqrt(2))
Compiling function f with type AlgebraicNumber -> AlgebraicNumber
f(z)
Compiling function f with type Variable(z) -> Expression(Integer)
f(%i)
Compiling function f with type Complex(Integer) -> Expression( Complex(Integer))
f(a) == ( local b; b:=sqrt(a); b^2-a)
f(2)
Compiling function f with type PositiveInteger -> AlgebraicNumber
c:=f(sqrt(2))
Compiling function f with type AlgebraicNumber -> AlgebraicNumber
)display properties c
Properties of c : 4+-+2 +-+ Value (has type AlgebraicNumber): \|2 - \|2
f(a) == ( local b; b:=sqrt(a); b^2 = a)
... --aUser, 2018年2月01日 15:21:23 +0000 reply\begin{AxiomCode} f(a) == ( local b; b:=sqrt(a); b^2-a) f(2) \end{AxiomCode}
This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) \write18 enabled. %&-line parsing enabled. entering extended mode (./6576055087707332466-16.0px.tex LaTeX2e <2005年12月01日> Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh yphenation, arabic, farsi, croatian, ukrainian, russian, bulgarian, czech, slov ak, danish, dutch, finnish, basque, french, german, ngerman, ibycus, greek, mon ogreek, ancientgreek, hungarian, italian, latin, mongolian, norsk, icelandic, i nterlingua, turkish, coptic, romanian, welsh, serbian, slovenian, estonian, esp eranto, uppersorbian, indonesian, polish, portuguese, spanish, catalan, galicia n, swedish, ukenglish, pinyin, loaded. (/usr/share/texmf-texlive/tex/latex/base/article.cls Document Class: article 2005年09月16日 v1.4f Standard LaTeX document class (/usr/share/texmf-texlive/tex/latex/base/size12.clo)) (/usr/share/texmf-texlive/tex/latex/ucs/ucs.sty (/usr/share/texmf-texlive/tex/latex/ucs/data/uni-global.def)) (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty (/usr/share/texmf-texlive/tex/latex/ucs/utf8x.def)) (/usr/share/texmf-texlive/tex/latex/bbm/bbm.sty) (/usr/share/texmf-texlive/tex/latex/jknapltx/mathrsfs.sty) (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty (/usr/share/texmf-texlive/tex/latex/base/t1enc.def)) (/usr/share/texmf-texlive/tex/latex/pstricks/pstricks.sty (/usr/share/texmf-texlive/tex/generic/pstricks/pstricks.tex `PSTricks' v1.15 <2006年12月22日> (tvz) (/usr/share/texmf-texlive/tex/generic/pstricks/pstricks.con)) (/usr/share/texmf/tex/latex/xcolor/xcolor.sty (/etc/texmf/tex/latex/config/color.cfg) (/usr/share/texmf-texlive/tex/latex/graphics/dvips.def) (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def))) (/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty) (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty) (/etc/texmf/tex/latex/config/graphics.cfg)))) (/usr/share/texmf-texlive/tex/latex/pst-grad/pst-grad.sty (/usr/share/texmf-texlive/tex/generic/pst-grad/pst-grad.tex (/usr/share/texmf-texlive/tex/latex/xkeyval/pst-xkey.tex (/usr/share/texmf-texlive/tex/latex/xkeyval/xkeyval.sty (/usr/share/texmf-texlive/tex/latex/xkeyval/xkeyval.tex))) `pst-plot' v1.05, 2006年11月04日 (tvz,dg,hv))) (/usr/share/texmf-texlive/tex/latex/pstricks/pst-plot.sty (/usr/share/texmf-texlive/tex/generic/pstricks/pst-plot.tex v97 patch 2, 1999年12月12日 (/usr/share/texmf-texlive/tex/generic/multido/multido.tex v1.41, 2004年05月18日 <tvz>))) (/usr/share/texmf-texlive/tex/latex/geometry/geometry.sty (/usr/share/texmf-texlive/tex/xelatex/xetexconfig/geometry.cfg)Package geometry Warning: `lmargin' and `rmargin' result in NEGATIVE (-108.405p t). `width' should be shortened in length.
) (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?
option. (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty)) (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty) (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty)) (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty) (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty) (/usr/share/texmf-texlive/tex/latex/amscls/amsthm.sty) (/usr/share/texmf-texlive/tex/latex/setspace/setspace.sty Package: `setspace6.7 <2000年12月01日> ) (/usr/share/texmf-texlive/tex/generic/xypic/xy.sty (/usr/share/texmf-texlive/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texmf-texlive/tex/generic/xypic/xyrecat.tex) (/usr/share/texmf-texlive/tex/generic/xypic/xyidioms.tex)Xy-pic version 3.7 <1999年02月16日> Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr> Xy-pic is free software: see the User's Guide for details.
Loading kernel: messages; fonts; allocations: state, direction, utility macros; pictures: \xy, positions, objects, decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded)) (/usr/share/texmf-texlive/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.3 (/usr/share/texmf-texlive/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.7 curve, circles, loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.7 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.3 (/usr/share/texmf-texlive/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.3 loaded) loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.6 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.3 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.3 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.4 loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded) (/usr/share/texmf-texlive/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.7 loaded) loaded) (/usr/share/texmf-texlive/tex/latex/tools/verbatim.sty) (/usr/share/texmf/tex/latex/graphviz/graphviz.sty (/usr/share/texmf-texlive/tex/latex/psfrag/psfrag.sty)) (/usr/share/texmf/tex/latex/sagetex.sty Writing sage input file 6576055087707332466-16.0px.sage ) (/usr/share/texmf-texlive/tex/latex/gnuplottex/gnuplottex.sty (/usr/share/texmf-texlive/tex/latex/base/latexsym.sty) (/usr/share/texmf-texlive/tex/latex/moreverb/moreverb.sty) (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty)) (./6576055087707332466-16.0px.aux) (/usr/share/texmf-texlive/tex/latex/ucs/ucsencs.def)
LaTeX Error: Environment AxiomCode undefined.
See the LaTeX manual or LaTeX Companion for explanation. Type H <return> for immediate help. ...
l.121 \begin{AxiomCode}
Missing $ inserted. <inserted text> $ l.122 f(a) == ( local b; b:=sqrt(a); b^ 2-a) (/usr/share/texmf-texlive/tex/latex/jknapltx/ursfs.fd) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd) (/usr/share/texmf-texlive/tex/latex/base/ulasy.fd)
LaTeX Error: \begin{document} ended by \end{AxiomCode}.
See the LaTeX manual or LaTeX Companion for explanation. Type H <return> for immediate help. ...
l.124 \end{AxiomCode}
Missing $ inserted. <inserted text> $ l.124 \end{AxiomCode}
[1] (./6576055087707332466-16.0px.aux) ) (see the transcript file for additional information) Output written on 6576055087707332466-16.0px.dvi (1 page, 644 bytes). Transcript written on 6576055087707332466-16.0px.log.