MathAction SandBoxExpresssionComplex

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

SandBoxDiracDelta

SandBoxAbs ← ↑ → SandBoxWirtinger

SandBoxExpresssionComplex
last edited 11 years ago by Bill Page

Topics

FrontPage
- HistoricAxiom
  - AxiomDocumentation
    - Axiom Algebra
      - SandBoxFunctionalSpecialFunction
        
        SandBoxDiracDelta
        
        SandBoxExpresssionComplex <-- You are here.

fricas

(1) -> 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}\begin{array}{@{}l} \displaystyle \left\{{= = \left({{i \ a}, \:{{msqrt \left({- 1}\right)}\ a}}\right)}, \:{= = \left({-{i \ a}, \: -{{msqrt \left({- 1}\right)}\ a}}\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}= = \left({{msqrt \left({- 1}\right)}, \: - i}\right) (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))