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

fricas
msqrt:=operator('msqrt)

\label{eq1}msqrt(1)
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 !!
  ( 13 subscribers )  
Please rate this page: