help links subscribe changes refresh edit

	SandBoxDiracDelta
SandBoxAbs ←	↑	→ SandBoxWirtinger

SandBoxExpresssionComplex

Edit detail for SandBoxExpresssionComplex revision 1 of 1

	1
Editor: Bill Page Time: 2014/08/10 17:33:42 GMT+0
Note:

changed:
-
\begin{axiom}
msqrt:=operator('msqrt)
conj1:Ruleset(Integer,Complex Integer,Expression Complex Integer) := ruleset([ _
  rule sqrt(-1)*:a==msqrt(-1)*a, _
  rule -sqrt(-1)*:a==-msqrt(-1)*a _
]$List RewriteRule(Integer,Complex Integer,Expression Complex Integer) )
conj2:RewriteRule(Integer,Complex Integer,Expression(Complex Integer)):= rule msqrt(-1)==-sqrt(-1)
conj(z)==conj2 conj1 z
conj(a+%i*b)
\end{axiom}

fricas

msqrt:=operator('msqrt)

$\label{eq1}msqrt$

(1)

Type: BasicOperator?

fricas

conj1:Ruleset(Integer,Complex Integer,Expression Complex Integer) := ruleset([ _
  rule sqrt(-1)*:a==msqrt(-1)*a, _
  rule -sqrt(-1)*:a==-msqrt(-1)*a _
]$List RewriteRule(Integer,Complex Integer,Expression Complex Integer) )

$\label{eq2}\left\{{{i \ a}\mbox{\rm = =}{a \ {{{\tt'}msqrt}\left({- 1}\right)}}}, \:{-{i \ a}\mbox{\rm = =}-{a \ {{{\tt'}msqrt}\left({- 1}\right)}}}\right\}$

(2)

Type: Ruleset(Integer,Complex(Integer),Expression(Complex(Integer)))

fricas

conj2:RewriteRule(Integer,Complex Integer,Expression(Complex Integer)):= rule msqrt(-1)==-sqrt(-1)

$\label{eq3}{msqrt \left({- 1}\right)}\mbox{\rm = =}- i$

(3)

Type: RewriteRule?(Integer,Complex(Integer),Expression(Complex(Integer)))

fricas

conj(z)==conj2 conj1 z

Type: Void

fricas

conj(a+%i*b)

fricas

Compiling function conj with type Polynomial(Complex(Integer)) -> 
      Expression(Complex(Integer))

$\label{eq4}-{i \ b}+ a$

(4)

Type: Expression(Complex(Integer))