MathAction SandBoxExpresssionComplex

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

Subject: Be Bold !!

	( 15 subscribers )