added:
From aUser Thu Feb 1 15:03:11 +0000 2018
From: aUser
Date: 2018年2月01日 15:03:11 +0000
Subject:
Message-ID: <20180201150311+0000@axiom-wiki.newsynthesis.org>
\begin{axiom}
f(a) == ( local b; b:=sqrt(a); b^2-a)
f(2)
f(sqrt(2))
\end{axiom}
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