Object Info

right-associative infix operator ^ has precedence 200

_G297 ^ _G298 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:230
_G297 ^ _G298   --> elemental_op         --> operator --> object
                    range_optimizable_op --> operator --> object
------------------------------------ Properties:
{d} ^ _G298 has                      body(d)
{nabla} ^ {2} has                    body(nabla_square)
{d_times([{_G17388} | _G17386], {_G17390})} ^ {_G17392} has body(iff {_G17392} >= 0 then d_times(flatten(fill({_G17392}, 
[ {_G17388}
| _G17386 ])), ( {_G17390}
               ^ {_G17392}
               )) else abort("Negative power"))
[[{_G17386} | _G17384] | _G17381] ^ {0} has body(ident(length([ {_G17386}
                                                       | _G17384 ])))
[[{_G17386} | _G17384] | _G17381] ^ {1} has body([[{_G17386} | _G17384] | _G17381])
[[{_G17386} | _G17384] | _G17381] ^ {2} has body(([[{_G17386} | _G17384] | _G17381] &*
                                           [[{_G17386} | _G17384] | _G17381]
                                          ))
[[{_G17386} | _G17384] | _G17381] ^ {- {1}} has body((map(drop(_G17401, gauss(([ [ {_G17386}
                                                                      | _G17384 ]
                                                                    | _G17381 ] ++
                                                                    ident(_G17401)
                                                                   )))) where
                                           _G17401 = length([ [ {_G17386} | _G17384 ]
                                                            | _G17381 ])
                                          ))
[[{_G17386} | _G17384] | _G17381] ^ {_G17388} has body((iff op(0, {_G17388}) == "T" then transpose 
[ [ {_G17386}
  | _G17384 ]
| _G17381 ] else
                                           iff {_G17388} mod 2 == 0 then ( [ [ {_G17386}
                                                                             | _G17384 ]
                                                                           | _G17381 ]
                                                                         ^ ({_G17388} div 2)
                                                                         ) ^ 2 else
                                           ([[{_G17386} | _G17384] | _G17381] &*
                                            ( [[{_G17386} | _G17384] | _G17381]
                                            ^ ({_G17388} - 1)
                                            )
                                           )
                                          ))
_G297 ^ _G298 has                    type(([integer, integer] -> integer))
                                     type(([integer, real] -> real))
                                     type(([integer, complex] -> complex))
                                     type(([real, integer] -> real))
                                     type(([real, real] -> real))
                                     type(([real, complex] -> complex))
                                     type(([complex, integer] -> complex))
                                     type(([complex, real] -> complex))
                                     type(([complex, complex] -> complex))
                                     type(([range(real), range(real)] ->
                                           range(real)
                                          ))
                                     type(([range(real), range(integer)] ->
                                           range(real)
                                          ))
                                     type(([range(integer), range(real)] ->
                                           range(real)
                                          ))
                                     type(([range(integer), range(integer)] ->
                                           range(integer)
                                          ))
------------------------------------ Methods:
_G297 ^ _G298 can                    range(_G17525, ([_G17531, _G17534] ->
                                                     _G17531 ^ _G17534
                                                    ))
------------------------------------ Methods inherited from class object:
_G297 ^ _G298 can                    get_saved(_G17841, _G17842)
                                     restore(_G17841)
                                     freeze(_G17841, _G17842)
                                     save(_G17841, _G17842)
                                     get_properties(_G17841, _G17842)
                                     get_superobjects(_G17841, _G17842)
                                     get_subobjects(_G17841, _G17842)
                                     get_parents(_G17841, _G17842)
                                     get_children(_G17841, _G17842)
                                     get_instances(_G17841, _G17842)
                                     create(_G17841, _G17842, _G17843)
                                     create(_G17841, _G17842)
                                     get_dependencies(_G17841, _G17842)