Edit detail for SandBoxFriCAS revision 41 of 62

This page is set to execute \begin{axiom}... \end{axiom}
commands using FriCAS. See also FriCASIntegration.
fricas
)version

Value = "FriCAS 1.3.3 compiled at Fri Mar 16 16:15:43 UTC 2018"

Any comments added here use this version of FriCAS?.


... --meliusja, 2008年4月08日 10:38:33 -0700 reply 
fricas
solve(s=v*t+a*t^2/2,t)
\begin{equation*}
\label{eq1}\left[{{{2 \ t \ v}+{a \ {{t}^{2}}}-{2 \ s}}= 0}\right]?\end{equation*}
Type: List(Equation(Fraction(Polynomial(Integer))))

... --meliusja, 2008年4月08日 10:39:28 -0700 reply 
fricas
radicalSolve(s=v*t+a*t^2/2,t)
\begin{equation*}
\label{eq2}\left[{t ={{-{\sqrt{{4 \ {{v}^{2}}}+{8 \ a \ s}}}-{2 \ v}}\over{2 \ a}}}, \:{t ={{{\sqrt{{4 \ {{v}^{2}}}+{8 \ a \ s}}}-{2 \ v}}\over{2 \ a}}}\right]?\end{equation*}
Type: List(Equation(Expression(Integer)))

... --meliusja, 2008年4月08日 10:40:28 -0700 reply 
fricas
solve(v*t+a*t^2/2-s=0,t)
\begin{equation*}
\label{eq3}\left[{{{2 \ t \ v}+{a \ {{t}^{2}}}-{2 \ s}}= 0}\right]?\end{equation*}
Type: List(Equation(Fraction(Polynomial(Integer))))

... --meliusja, 2008年4月08日 10:41:13 -0700 reply 
fricas
solve(v*t+a*t/2-s=0,t)
\begin{equation*}
\label{eq4}\left[{t ={{2 \ s}\over{{2 \ v}+ a}}}\right]?\end{equation*}
Type: List(Equation(Fraction(Polynomial(Integer))))

... --meliusja, 2008年4月08日 10:42:37 -0700 reply 
fricas
solve(v*t+a*t^2/2-s=0,t)
\begin{equation*}
\label{eq5}\left[{{{2 \ t \ v}+{a \ {{t}^{2}}}-{2 \ s}}= 0}\right]?\end{equation*}
Type: List(Equation(Fraction(Polynomial(Integer))))

fricas
radicalSolve(p^3 - p + 1/10=0,p)
\begin{equation*}
\label{eq6}\begin{array}{@{}l}
\displaystyle
\left[{p ={{{{\left(-{3 \ {\sqrt{- 3}}}+ 3 \right)}\ {{\root{3}\of{{-{3 \ {\sqrt{3}}}+{\sqrt{-{373}}}}\over{{60}\ {\sqrt{3}}}}}^{2}}}- 2}\over{{\left({3 \ {\sqrt{- 3}}}+ 3 \right)}\ {\root{3}\of{{-{3 \ {\sqrt{3}}}+{\sqrt{-{373}}}}\over{{60}\ {\sqrt{3}}}}}}}}, \: \right.
\
\
\displaystyle
\left.{p ={{{{\left(-{3 \ {\sqrt{- 3}}}- 3 \right)}\ {{\root{3}\of{{-{3 \ {\sqrt{3}}}+{\sqrt{-{373}}}}\over{{60}\ {\sqrt{3}}}}}^{2}}}+ 2}\over{{\left({3 \ {\sqrt{- 3}}}- 3 \right)}\ {\root{3}\of{{-{3 \ {\sqrt{3}}}+{\sqrt{-{373}}}}\over{{60}\ {\sqrt{3}}}}}}}}, \: \right.
\
\
\displaystyle
\left.{p ={{{3 \ {{\root{3}\of{{-{3 \ {\sqrt{3}}}+{\sqrt{-{37
3}}}}\over{{60}\ {\sqrt{3}}}}}^{2}}}+ 1}\over{3 \ {\root{3}\of{{-{3 \ {\sqrt{3}}}+{\sqrt{-{373}}}}\over{{60}\ {\sqrt{3}}}}}}}}\right] \end{array}
\end{equation*}
Type: List(Equation(Expression(Integer)))

fricas
R1 ==> Record(foo1: String, remLexs: List Integer)
Type: Void
fricas
R2 ==> Record(foo2: String, remLexs: List Integer)
Type: Void
fricas
r1: R1 := ["a", [1,2,3]]
\begin{equation*}
\label{eq7}\left[{foo 1 = \verb#"a"#}, \:{remLexs ={\left[ 1, \: 2, \: 3 \right]?}}\right]\end{equation*}
Type: Record(foo1: String,remLexs: List(Integer))
fricas
r2: R2 := ["b", [5]]
\begin{equation*}
\label{eq8}\left[{foo 2 = \verb#"b"#}, \:{remLexs ={\left[ 5 \right]?}}\right]\end{equation*}
Type: Record(foo2: String,remLexs: List(Integer))
fricas
r1.remLexs
\begin{equation*}
\label{eq9}\left[ 1, \: 2, \: 3 \right]?\end{equation*}
Type: List(Integer)
fricas
r2.remLexs
\begin{equation*}
\label{eq10}\left[ 5 \right]?\end{equation*}
Type: List(Integer)

... --jib jabber, 2014年3月07日 07:04:39 +0000 reply 
fricas
)set output tex off
 
fricas
)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 - 17 n - 72)f(n + 3) + (4 n + 30 n + 44)f(n + 2)
 + 
 2 2
 (19 n + 113 n + 150)f(n + 1) + (14 n + 42 n + 28)f(n)
 = 
 0
 ,
 f(0) = 1, f(1) = 0, f(2) = 1]
 ]
Type: List(Expression(Integer))

... --panacea, 2014年11月21日 18:25:05 +0000 reply 
fricas
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]]
Type: List(Expression(Integer))

integrate(exp(x-x^2), x) --mariuszi28cg, 2017年9月25日 20:14:29 +0000 reply 
fricas
integrate(exp(x-x^2), x)

 1
 -
 4 2 x - 1 +---+
 %e erf(-------)\|%pi
 2
 (15) ---------------------
 2
Type: Union(Expression(Integer),...)

test 1+1 --aUser, 2018年2月01日 14:32:47 +0000 reply 
fricas
1+1

 (16) 2
Type: PositiveInteger? 

^ or **? --aUser, 2018年2月01日 14:34:22 +0000 reply 
2^3-2**3

2^3 --aUser, 2018年2月01日 14:34:46 +0000 reply 
2^3

^ or **? --aUser, 2018年2月01日 14:35:09 +0000 reply 
fricas
2^3

 (17) 8
Type: PositiveInteger? 

^ or **? --aUser, 2018年2月01日 14:35:49 +0000 reply 
fricas
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.

bug? --aUser, 2018年2月01日 14:37:03 +0000 reply 
fricas
sqrt(2)^2-2

 (18) 0
Type: AlgebraicNumber? 

bug?  --aUser, 2018年2月01日 14:38:36 +0000 reply 
fricas
a:=sqrt(2)

 +-+
 (19) \|2
Type: AlgebraicNumber? 
fricas
b:=sqrt(a)

 +----+
 | +-+
 (20) \|\|2
Type: AlgebraicNumber? 
fricas
b^2-a

 (21) 0
Type: AlgebraicNumber? 

bug? --aUser, 2018年2月01日 14:41:20 +0000 reply 
fricas
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

... --aUser, 2018年2月01日 14:41:44 +0000 reply 
fricas
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

[q,r]? type --aUser, 2018年2月01日 15:00:38 +0000 reply 
fricas
[q,r]

 (22) [q, r]
Type: List(OrderedVariableList?([q,r]))

... --aUser, 2018年2月01日 15:03:11 +0000 reply 
fricas
f(a) == ( local b; b:=sqrt(a); b^2-a)
Type: Void
fricas
f(2)
fricas
Compiling function f with type PositiveInteger -> AlgebraicNumber 

 (24) 0
Type: AlgebraicNumber? 
fricas
f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber 

 (25) 0
Type: AlgebraicNumber? 

bug --aUser, 2018年2月01日 15:03:46 +0000 reply 
fricas
f(a) == ( local b; b:=sqrt(a); b^2-a)

 Compiled code for f has been cleared.
 1 old definition(s) deleted for function or rule f
Type: Void
fricas
f(2)
fricas
Compiling function f with type PositiveInteger -> AlgebraicNumber 

 (27) 0
Type: AlgebraicNumber? 
fricas
f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber 

 (28) 0
Type: AlgebraicNumber? 
fricas
f(z)
fricas
Compiling function f with type Variable(z) -> Expression(Integer) 

 (29) 0
Type: Expression(Integer)
fricas
f(%i)
fricas
Compiling function f with type Complex(Integer) -> Expression(
 Complex(Integer)) 

 (30) 0
Type: Expression(Complex(Integer))

)display properties --aUser, 2018年2月01日 15:08:53 +0000 reply 
fricas
f(a) == ( local b; b:=sqrt(a); b^2-a)

 Compiled code for f has been cleared.
 1 old definition(s) deleted for function or rule f
Type: Void
fricas
f(2)
fricas
Compiling function f with type PositiveInteger -> AlgebraicNumber 

 (32) 0
Type: AlgebraicNumber? 
fricas
c:=f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber 

 (33) 0
Type: AlgebraicNumber? 
fricas
)display properties c

Properties of c :
 Value (has type AlgebraicNumber): 0

... --aUser, 2018年2月01日 15:21:08 +0000 reply 
fricas
f(a) == ( local b; b:=sqrt(a); b^2 = a)

 Compiled code for f has been cleared.
 1 old definition(s) deleted for function or rule f
Type: Void

... --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?}

... --aUser, 2018年2月01日 15:22:39 +0000 reply 
fricas
f(a) == ( local b; b:=sqrt(a); b^2 = a)

 1 old definition(s) deleted for function or rule f
Type: Void
fricas
f(2)
fricas
Compiling function f with type PositiveInteger -> Equation(
 AlgebraicNumber) 

 (36) 2 = 2
Type: Equation(AlgebraicNumber?)
fricas
f(%i)
fricas
Compiling function f with type Complex(Integer) -> Equation(
 Expression(Complex(Integer))) 

 (37) %i = %i
Type: Equation(Expression(Complex(Integer)))
fricas
f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> Equation(
 AlgebraicNumber) 

 +-+ +-+
 (38) \|2 = \|2
Type: Equation(AlgebraicNumber?)
fricas
f(2^(1/2))

 +-+ +-+
 (39) \|2 = \|2
Type: Equation(AlgebraicNumber?)
fricas
f(2^(1/3))

 3+-+ 3+-+
 (40) \|2 = \|2
Type: Equation(AlgebraicNumber?)

)set output --aUser, 2018年2月01日 15:29:41 +0000 reply 
fricas
f(a) == ( local b; b:=sqrt(a); b^2-a)

 Compiled code for f has been cleared.
 1 old definition(s) deleted for function or rule f
Type: Void
fricas
f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber 

 (42) 0
Type: AlgebraicNumber? 
fricas
)set output fortran

--------------------------- The fortran Option ----------------------------

 Description: create output in FORTRAN format

 )set output fortran is used to tell FriCAS to turn FORTRAN-style output
printing on and off, and where to place the output. By default, the
destination for the output is the screen but printing is turned off.

Also See: )set fortran

Syntax: )set output fortran <arg>
 where arg can be one of
 on turn FORTRAN printing on
 off turn FORTRAN printing off (default state)
 console send FORTRAN output to screen (default state)
 fp<.fe> send FORTRAN output to file with file prefix fp and file
 extension .fe. If not given, .fe defaults to .sfort.

If you wish to send the output to a file, you must issue this command
twice: once with on and once with the file name. For example, to send
FORTRAN output to the file polymer.sfort, issue the two commands

 )set output fortran on
 )set output fortran polymer

The output is placed in the directory from which you invoked FriCAS or
the one you set with the )cd system command.
The current setting is: Off:CONSOLE 
f(sqrt(2))

 (43) 0
Type: AlgebraicNumber? 
fricas
)set output tex

----------------------------- The tex Option ------------------------------

 Description: create output in TeX style

 )set output tex is used to tell FriCAS to turn TeX-style output
printing on and off, and where to place the output. By default, the
destination for the output is the screen but printing is turned off.

Syntax: )set output tex <arg>
 where arg can be one of
 on turn TeX printing on
 off turn TeX printing off (default state)
 console send TeX output to screen (default state)
 fp<.fe> send TeX output to file with file prefix fp and file
 extension .fe. If not given, .fe defaults to .stex.

If you wish to send the output to a file, you must issue this command
twice: once with on and once with the file name. For example, to send
TeX output to the file polymer.stex, issue the two commands

 )set output tex on
 )set output tex polymer

The output is placed in the directory from which you invoked FriCAS or
the one you set with the )cd system command.
The current setting is: Off:CONSOLE 
f(sqrt(2))

 (44) 0
Type: AlgebraicNumber? 
fricas
)set output script

---------------------------- The script Option ----------------------------

 Description: display output in SCRIPT formula format

 )set output script is used to tell FriCAS to turn IBM Script formula-style
output printing on and off, and where to place the output. By default, the
destination for the output is the screen but printing is turned off.

Syntax: )set output script <arg>
 where arg can be one of
 on turn IBM Script formula printing on
 off turn IBM Script formula printing off (default state)
 console send IBM Script formula output to screen (default state)
 fp<.fe> send IBM Script formula output to file with file prefix fp
 and file extension .fe. If not given, .fe defaults to .sform.

If you wish to send the output to a file, you must issue this command
twice: once with on and once with the file name. For example, to send
IBM Script formula output to the file polymer.sform, issue the two commands

 )set output script on
 )set output script polymer

The output is placed in the directory from which you invoked FriCAS or
the one you set with the )cd system command.
The current setting is: Off:CONSOLE 
f(sqrt(2))

 (45) 0
Type: AlgebraicNumber? 

... --aUser, 2018年2月01日 15:30:46 +0000 reply 
fricas
f(a) == ( local b; b:=sqrt(a); b^2-a)

 Compiled code for f has been cleared.
 1 old definition(s) deleted for function or rule f
Type: Void
fricas
f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber 

 (47) 0
Type: AlgebraicNumber? 
fricas
)set output fortran on

f(sqrt(2))

 R48=0

 (48) 0
Type: AlgebraicNumber? 
fricas
)set output tex on 

f(sqrt(2))

 R49=0

 (49) 0
\begin{equation}
\label{eq11}0\end{equation}
Type: AlgebraicNumber? 
fricas
)set output script on

f(sqrt(2))

.eq set blank @
:df.
0 
:edf.

 R50=0

 (50) 0
\begin{equation}
\label{eq12}0\end{equation}
Type: AlgebraicNumber? 

... --aUser, 2018年2月01日 15:31:59 +0000 reply 
fricas
f(a) == ( local b; b:=sqrt(a); b^2-a)

 Compiled code for f has been cleared.
 1 old definition(s) deleted for function or rule f
Type: Void
fricas
f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber 

.eq set blank @
:df.
0 
:edf.

 R52=0

 (52) 0
\begin{equation}
\label{eq13}0\end{equation}
Type: AlgebraicNumber? 
fricas
)set output fortran console

f(sqrt(2))

.eq set blank @
:df.
0 
:edf.

 R53=0

 (53) 0
\begin{equation}
\label{eq14}0\end{equation}
Type: AlgebraicNumber? 
fricas
)set output tex console

f(sqrt(2))

.eq set blank @
:df.
0 
:edf.

 R54=0

 (54) 0
\begin{equation}
\label{eq15}0\end{equation}
Type: AlgebraicNumber? 
fricas
)set output script console

f(sqrt(2))

.eq set blank @
:df.
0 
:edf.

 R55=0

 (55) 0
\begin{equation}
\label{eq16}0\end{equation}
Type: AlgebraicNumber? 

... --aUser, 2018年2月01日 15:33:05 +0000 reply 
fricas
f(a) == ( local b; b:=sqrt(a); b^2-a)

 Compiled code for f has been cleared.
 1 old definition(s) deleted for function or rule f
Type: Void
fricas
f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber 

.eq set blank @
:df.
0 
:edf.

 R57=0

 (57) 0
\begin{equation}
\label{eq17}0\end{equation}
Type: AlgebraicNumber? 
fricas
)set output fortran on
 
fricas
)set output fortran console

f(sqrt(2))

.eq set blank @
:df.
0 
:edf.

 R58=0

 (58) 0
\begin{equation}
\label{eq18}0\end{equation}
Type: AlgebraicNumber? 
fricas
)set output tex on 
 
fricas
)set output tex console

f(sqrt(2))

.eq set blank @
:df.
0 
:edf.

 R59=0

 (59) 0
\begin{equation}
\label{eq19}0\end{equation}
Type: AlgebraicNumber? 
fricas
)set output script on
 
fricas
)set output script console

f(sqrt(2))

.eq set blank @
:df.
0 
:edf.

 R60=0

 (60) 0
\begin{equation}
\label{eq20}0\end{equation}
Type: AlgebraicNumber? 

... --aUser, 2018年2月01日 15:35:28 +0000 reply 
fricas
f(a) == ( local b; b:=sqrt(a); b^2-a)

 Compiled code for f has been cleared.
 1 old definition(s) deleted for function or rule f
Type: Void
fricas
f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber 

.eq set blank @
:df.
0 
:edf.

 R62=0

 (62) 0
\begin{equation}
\label{eq21}0\end{equation}
Type: AlgebraicNumber? 
fricas
)set output fortran on

f(sqrt(2))

.eq set blank @
:df.
0 
:edf.

 R63=0

 (63) 0
\begin{equation}
\label{eq22}0\end{equation}
Type: AlgebraicNumber? 
fricas
)set output fortran off
 
fricas
)set output tex on 

f(sqrt(2))

.eq set blank @
:df.
0 
:edf.

 (64) 0
\begin{equation}
\label{eq23}0\end{equation}
Type: AlgebraicNumber? 
fricas
)set output tex off
 
fricas
)set output script on

f(sqrt(2))

.eq set blank @
:df.
0 
:edf.

 (65) 0
Type: AlgebraicNumber? 
fricas
)set output script off

test --jr, 2018年2月03日 13:20:20 +0000 reply 
((1+2)/3)::SquareMatrix?(3,Integer)

... --jr, 2018年2月03日 13:21:15 +0000 reply 
fricas
((1+2)/3)::SquareMatrix(3,Integer)

 +1 0 0+
 | |
 (66) |0 1 0|
 | |
 +0 0 1+
Type: SquareMatrix?(3,Integer)

... --jr, 2018年2月03日 13:21:37 +0000 reply 
fricas
((1+2)/3)::SquareMatrix(3,Integer)

 +1 0 0+
 | |
 (67) |0 1 0|
 | |
 +0 0 1+
Type: SquareMatrix?(3,Integer)

This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6)
 \write18 enabled.
 %&-line parsing enabled.
entering extended mode
(./4628360790889617791-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: `setspace 6.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 4628360790889617791-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))
(./4628360790889617791-16.0px.aux)
(/usr/share/texmf-texlive/tex/latex/ucs/ucsencs.def)
(/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) [1]
Package amsmath Warning: Foreign command \over;
(amsmath) \frac or \genfrac should be used instead
(amsmath) on input line 124.
[2] [3] [4] [5] [6] (/usr/share/texmf-texlive/tex/latex/base/t1cmtt.fd)
[7] [8] [9] [10]
 LaTeX Error: Environment AxiomCode undefined.

See the LaTeX manual or LaTeX Companion for explanation.
Type H <return> for immediate help.
 ... 
l.153 \begin{AxiomCode}
 Missing $ inserted.
<inserted text> 
 $
l.154 f(a) == ( local b; b:=sqrt(a); b^
 2-a)
 LaTeX Error: \begin{document} ended by \end{AxiomCode}.
See the LaTeX manual or LaTeX Companion for explanation.
Type H <return> for immediate help.
 ... 
l.156 \end{AxiomCode}
 \newpage
 Missing $ inserted.
<inserted text> 
 $
l.156 \end{AxiomCode}
 \newpage
[11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24]
(./4628360790889617791-16.0px.aux) )
(see the transcript file for additional information)
Output written on 4628360790889617791-16.0px.dvi (24 pages, 7888 bytes).
Transcript written on 4628360790889617791-16.0px.log.