login  home  contents  what's new  discussion  bug reports help  links  subscribe  changes  refresh  edit

# Edit detail for SandBoxFriCAS revision 31 of 50

 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 Editor: aUser Time: 2018/02/01 15:21:08 GMT+0 Note:

added:

From aUser Thu Feb 1 15:21:08 +0000 2018
From: aUser
Date: Thu, 01 Feb 2018 15:21:08 +0000
Subject:
Message-ID: <20180201152108+0000@axiom-wiki.newsynthesis.org>

\begin{axiom}
f(a) == ( local b; b:=sqrt(a); b^2 = a)
\end{axiom}


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

fricas
)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?.

fricas
solve(s=v*t+a*t^2/2,t)
 (1)
Type: List(Equation(Fraction(Polynomial(Integer))))

fricas
radicalSolve(s=v*t+a*t^2/2,t)
 (2)
Type: List(Equation(Expression(Integer)))

fricas
solve(v*t+a*t^2/2-s=0,t)
 (3)
Type: List(Equation(Fraction(Polynomial(Integer))))

fricas
solve(v*t+a*t/2-s=0,t)
 (4)
Type: List(Equation(Fraction(Polynomial(Integer))))

fricas
solve(v*t+a*t^2/2-s=0,t)
 (5)
Type: List(Equation(Fraction(Polynomial(Integer))))

fricas
radicalSolve(p^3 - p + 1/10=0,p)
 (6)
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]]
 (7)
Type: Record(foo1: String,remLexs: List(Integer))
fricas
r2: R2 := ["b", [5]]
 (8)
Type: Record(foo2: String,remLexs: List(Integer))
fricas
r1.remLexs
 (9)
Type: List(Integer)
fricas
r2.remLexs
 (10)
Type: List(Integer)

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  - 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]
]
Type: List(Expression(Integer))

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, Mon, 25 Sep 2017 20:14:29 +0000 reply
fricas
integrate(exp(x-x^2), x)
1
-
4    2x - 1  +---+
%e erf(------)\|%pi
2
(15)  --------------------
2
Type: Union(Expression(Integer),...)

fricas
1+1
 (1)
Type: PositiveInteger?

2^3-2**3

fricas
2^3
 (1)
Type: PositiveInteger?

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.

fricas
sqrt(2)^2-2
 (1)
Type: AlgebraicNumber?

fricas
a:=sqrt(2)
 (1)
Type: AlgebraicNumber?
fricas
b:=sqrt(a)
 (2)
Type: AlgebraicNumber?
fricas
b^2-a
 (3)
Type: AlgebraicNumber?

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

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

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

fricas
f(a) == ( local b; b:=sqrt(a); b^2-a)
Type: Void
fricas
f(2)
fricas
Compiling function f with type PositiveInteger -> AlgebraicNumber
 (1)
Type: AlgebraicNumber?
fricas
f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber
 (2)
Type: AlgebraicNumber?

fricas
f(a) == ( local b; b:=sqrt(a); b^2-a)
Type: Void
fricas
f(2)
fricas
Compiling function f with type PositiveInteger -> AlgebraicNumber
 (1)
Type: AlgebraicNumber?
fricas
f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber
 (2)
Type: AlgebraicNumber?
fricas
f(z)
fricas
Compiling function f with type Variable(z) -> Expression(Integer)
 (3)
Type: Expression(Integer)
fricas
f(%i)
fricas
Compiling function f with type Complex(Integer) -> Expression(
Complex(Integer))
 (4)
Type: Expression(Complex(Integer))

)display properties --aUser, Thu, 01 Feb 2018 15:08:53 +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
 (1)
Type: AlgebraicNumber?
fricas
c:=f(sqrt(2))
fricas
Compiling function f with type AlgebraicNumber -> AlgebraicNumber
 (2)
Type: AlgebraicNumber?
fricas
)display properties c
Properties of c :
4+-+2    +-+
Value (has type AlgebraicNumber):  \|2   - \|2

fricas
f(a) == ( local b; b:=sqrt(a); b^2 = a)
Type: Void