MathAction SandBoxExpresssionComplex

Topics

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

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

Subject: Be Bold !!

	( 14 subscribers )