help links subscribe changes refresh edit

	SandBox
SandBoxSimple ←	↑	→ SandBoxSum

SandBoxSqrt

Edit detail for SandBoxSqrt revision 1 of 3

	1 2 3
Editor: Bill Page Time: 2015/02/13 18:54:28 GMT+0
Note:

changed:
-
\begin{axiom}
ksqrt:=kernels(sqrt(x))(1)
name(ksqrt)
argument(ksqrt)
\end{axiom}

\begin{axiom}
)di op nthRoot
\end{axiom}

\begin{axiom}
nthRoot(x,3)
nthRoot(x,2)
nthRoot(x,1)
nthRoot(x,-1)
nthRoot(x,-2)
nthRoot(x,-3)
\end{axiom}

\begin{axiom}
nthRoot(x,0)
\end{axiom}

fricas

ksqrt:=kernels(sqrt(x))(1)

$\label{eq1}\sqrt{x}$

(1)

Type: Kernel(Expression(Integer))

fricas

name(ksqrt)

$\label{eq2}nthRoot$

(2)

Type: Symbol

fricas

argument(ksqrt)

$\label{eq3}\left[ x , \: 2 \right]$

(3)

Type: List(Expression(Integer))

fricas

)di op nthRoot

There is one exposed function called nthRoot :
   [1] (D,Integer) -> D from D if D has RADCAT

There is one unexposed function called nthRoot :
   [1] (Factored(D4),NonNegativeInteger) -> Record(exponent: 
            NonNegativeInteger,coef: D4,radicand: List(D4))
            from FactoredFunctions(D4) if D4 has INTDOM

fricas

nthRoot(x,3)

$\label{eq4}\root{3}\of{x}$

(4)

Type: Expression(Integer)

fricas

nthRoot(x,2)

$\label{eq5}\sqrt{x}$

(5)

Type: Expression(Integer)

fricas

nthRoot(x,1)

$\label{eq6}x$

(6)

Type: Expression(Integer)

fricas

nthRoot(x,-1)

$\label{eq7}1 \over x$

(7)

Type: Expression(Integer)

fricas

nthRoot(x,-2)

$\label{eq8}1 \over{\sqrt{x}}$

(8)

Type: Expression(Integer)

fricas

nthRoot(x,-3)

$\label{eq9}1 \over{\root{3}\of{x}}$

(9)

Type: Expression(Integer)

fricas

nthRoot(x,0)

   >> Error detected within library code:
   not invertible