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

Edit detail for SandBoxFriCAS revision 13 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: panacea
Time: 2014/11/21 18:25:05 GMT+0
Note:

added:

From panacea Fri Nov 21 18:25:05 +0000 2014
From: panacea
Date: Fri, 21 Nov 2014 18:25:05 +0000
Subject: 
Message-ID: <20141121182505+0000@axiom-wiki.newsynthesis.org>

guessRec([1,1,0,1,- 1,2,- 1,5,- 4,29,- 13,854,- 685])

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

fricas
)version
Value = "FriCAS 1.2.3 compiled at Sat May 3 02:17:51 UTC 2014"

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

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

\label{eq1}\left[{{{2 \  t \  v}+{a \ {{t}^{2}}}-{2 \  s}}= 0}\right](1)
Type: List(Equation(Fraction(Polynomial(Integer))))

fricas
radicalSolve(s=v*t+a*t^2/2,t)

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

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

\label{eq3}\left[{{{2 \  t \  v}+{a \ {{t}^{2}}}-{2 \  s}}= 0}\right](3)
Type: List(Equation(Fraction(Polynomial(Integer))))

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

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

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

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

\label{eq7}\left[{foo 1 = \mbox{\tt "a"}}, \:{remLexs ={\left[ 1, \: 2, \: 3 \right]}}\right](7)
Type: Record(foo1: String,remLexs: List(Integer))
fricas
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))
fricas
r1.remLexs

\label{eq9}\left[ 1, \: 2, \: 3 \right](9)
Type: List(Integer)
fricas
r2.remLexs

\label{eq10}\left[ 5 \right](10)
Type: List(Integer)

See also FriCASIntegration?

guessPRec [1, 0, 1, 1, 4, 10, 35, 120, 455, 1792, 7413, 31780, 140833, 641928, 3000361, 14338702, 69902535, 346939792, 1750071307, 8958993507, 46484716684, 244187539270, 1\ 297395375129, 6965930587924]

guessRec([1,1,0,1,- 1,2,- 1,5,- 4,29,- 13,854,- 685]?)