help links subscribe changes refresh edit

	SandBox
SandBoxSymbol ←	↑	→ SandBoxSymbolicExpressions

SandBoxSymbolic

last edited 13 years ago by test1

Edit detail for SandBoxSymbolic revision 4 of 35

	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
Editor: Bill Page Time: 2008/05/22 13:43:14 GMT-7
Note: InputForm

added:
Symbolic Integers

added:
Symbolic Matrices
\begin{axiom}
)clear all
\end{axiom}


changed:
-ab:=(a+b)*(a-b)
ab:=(a+b)*(a+ (-1)::InputForm*b)

changed:
-mn1:= m*n-n*m
mn1:= m*n+(-1)::InputForm*n*m

changed:
-mn2:=(m+n)*m-n)
mn2:=(m+n)*(m+(-1)::InputForm*n)

changed:
-n:=matrix [[a,b],[-b,a]]
n:=matrix [[-1,-2],[-3,4]]

Symbolic Integers

fricas

(1) -> a:Union(Symbol,Integer)

Type: Void

fricas

b:Union(Symbol,Integer)

Type: Void

fricas

c:=a*3-b*2

$\label{eq1}-{2 \ b}+{3 \ a}$

(1)

Type: Polynomial(Integer)

fricas

p:UP(x,Integer):=x*2-7

$\label{eq2}{2 \ x}- 7$

(2)

Type: UnivariatePolynomial?(x,Integer)

fricas

pc := p c

$\label{eq3}-{4 \ b}+{6 \ a}- 7$

(3)

Type: Fraction(Polynomial(Integer))

fricas

f(x)==x^3-x^2+1

Type: Void

fricas

fb := f b

fricas

Compiling function f with type Symbol -> Polynomial(Integer)

$\label{eq4}{{b}^{3}}-{{b}^{2}}+ 1$

(4)

Type: Polynomial(Integer)

fricas

a:=1

$\label{eq5}1$

(5)

Type: Union(Integer,...)

fricas

b:=-3

$\label{eq6}- 3$

(6)

Type: Union(Integer,...)

fricas

eval(pc,['a=a,'b=b])

$\label{eq7}11$

(7)

Type: Fraction(Polynomial(Integer))

fricas

eval(c,['a=a,'b=b])

$\label{eq8}9$

(8)

Type: Polynomial(Integer)

fricas

eval(fb,['a=a,'b=b])

$\label{eq9}-{35}$

(9)

Type: Polynomial(Integer)

fricas

a:=3.14

   Cannot convert right-hand side of assignment
   3.14

      to an object of the type Union(Symbol,Integer) of the left-hand 
      side.

Symbolic Matrices

fricas

)clear all

   All user variables and function definitions have been cleared.

fricas

m:Union(InputForm,Matrix Integer)

Type: Void

fricas

n:Union(InputForm,Matrix Integer)

Type: Void

fricas

a:Union(InputForm,Integer)

Type: Void

fricas

b:Union(InputForm,Integer)

Type: Void

fricas

ab:=(a+b)*(a+ (-1)::InputForm*b)

$\label{eq10}\left(<em> \ {\left(+ \ a \ b \right)}\ {\left(+ \ a \ {\left(</em> \ - 1 \ b \right)}\right)}\right)$

(10)

Type: InputForm?

fricas

expr ab

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

   Cannot find a definition or applicable library operation named expr 
      with argument type(s) 
                                  InputForm

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