help links subscribe changes refresh edit

	SandBox	FriCAS
SandBoxFreeProduct ←	↑		→ SandBoxFriCAS2

SandBoxFriCAS

last edited 11 months ago by test1

Edit detail for SandBoxFriCAS revision 8 of 62

	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 51 52 53 54 55 56 57 58 59 60 61 62
Editor: hemmecke Time: 2012/03/06 00:24:28 GMT-8
Note:

added:

\begin{axiom}
radicalSolve(p^3 - p + 1/10=0,p)
\end{axiom}

\begin{axiom}
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
\end{axiom}

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

axiom

)version

Value = "FriCAS 2010-12-08 compiled at Tuesday April 5, 2011 at 13:07:45 "

Any comments added here with use this version of FriCAS?.

... --meliusja, Tue, 08 Apr 2008 10:38:33 -0700 reply

axiom

solve(s=vt+at^2/2,t)

$\label{eq1}\left[ \right]$

(1)

Type: List(Equation(Fraction(Polynomial(Integer))))

... --meliusja, Tue, 08 Apr 2008 10:39:28 -0700 reply

axiom

radicalsolve(s=vt+at^2/2,t)

   There are no library operations named radicalsolve 
      Use HyperDoc Browse or issue
                            )what op radicalsolve
      to learn if there is any operation containing " radicalsolve " in
      its name.

   Cannot find a definition or applicable library operation named 
      radicalsolve with argument type(s) 
                   Equation(Polynomial(Fraction(Integer)))
                                 Variable(t)

      Perhaps you should use "@" to indicate the required return type, 
      or "$" to specify which version of the function you need.

... --meliusja, Tue, 08 Apr 2008 10:40:28 -0700 reply

axiom

solve(vt+at^2/2-s=0,t)

$\label{eq2}\left[ \right]$

(2)

Type: List(Equation(Fraction(Polynomial(Integer))))

... --meliusja, Tue, 08 Apr 2008 10:41:13 -0700 reply

axiom

solve(vt+at/2-s=0,t)

$\label{eq3}\left[ \right]$

(3)

Type: List(Equation(Fraction(Polynomial(Integer))))

... --meliusja, Tue, 08 Apr 2008 10:42:11 -0700 reply

axiom

solve(v*t+a*t/2-s=0,t)

$\label{eq4}\left[{t ={{2 \ s}\over{{2 \ v}+ a}}}\right]$

(4)

Type: List(Equation(Fraction(Polynomial(Integer))))

... --meliusja, Tue, 08 Apr 2008 10:42:37 -0700 reply

axiom

solve(v*t+a*t^2/2-s=0,t)

$\label{eq5}\left[{{{2 \ t \ v}+{a \ {t^2}}-{2 \ s}}= 0}\right]$

(5)

Type: List(Equation(Fraction(Polynomial(Integer))))

axiom

radicalSolve(p^3 - p + 1/10=0,p)

$\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]$

(6)

Type: List(Equation(Expression(Integer)))

axiom

R1 ==> Record(foo1: String, remLexs: List Integer)

Type: Void

axiom

R2 ==> Record(foo2: String, remLexs: List Integer)

Type: Void

axiom

r1: R1 := ["a", [1,2,3]]

$\label{eq7}\left[{foo 1 = \mbox{\tt "a"}}, \:{remLexs ={\left[ 1, \: 2, \: 3 \right]}}\right]$

(7)

Type: Record(foo1: String,remLexs: List(Integer))

axiom

r2: R2 := ["b", [5]]

$\label{eq8}\left[{foo 2 = \mbox{\tt "b"}}, \:{remLexs ={\left[ 5 \right]}}\right]$

(8)

Type: Record(foo2: String,remLexs: List(Integer))

axiom

r1.remLexs

$\label{eq9}\left[ 1, \: 2, \: 3 \right]$

(9)

Type: List(Integer)

axiom

r2.remLexs

$\label{eq10}\left[ 5 \right]$

(10)

Type: List(Integer)