Object Info

left-associative infix operator / has precedence 390

_G407 / _G408 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:226
_G407 / _G408   --> elemental_op         --> operator --> object
                    range_optimizable_op --> operator --> object
------------------------------------ Properties:
{d} / {d_times([{_G48103} | _G48101], {_G48105})} has body(d_deriv([ {_G48103}
                                                  | _G48101 ], 1 / {_G48105}))
{d_times([{_G48101}], {_G48103})} / {d_times([{_G48113}], {_G48115})} has body(( {_G48103} / {_G48115}
                                          * diff({_G48101}, {_G48113})
                                          ))
{d_times([{_G48101}], {_G48103})} / {d_times([{_G48113} | _G48111], {_G48115})} has body(( {_G48103} / {_G48115}
                                          * diff(( d_times([{_G48101}], 1)
                                                 / d_times(_G48111, 1)
                                                 ), {_G48113})
                                          ))
_G407 / _G408 has                    type(([integer, integer] -> rational))
                                     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(real)
                                          ))
------------------------------------ Methods:
_G407 / _G408 can                    range(_G48238, ([_G48244, _G48247] ->
                                                     _G48244 / _G48247
                                                    ))
------------------------------------ Methods inherited from class object:
_G407 / _G408 can                    get_saved(_G48554, _G48555)
                                     restore(_G48554)
                                     freeze(_G48554, _G48555)
                                     save(_G48554, _G48555)
                                     get_properties(_G48554, _G48555)
                                     get_superobjects(_G48554, _G48555)
                                     get_subobjects(_G48554, _G48555)
                                     get_parents(_G48554, _G48555)
                                     get_children(_G48554, _G48555)
                                     get_instances(_G48554, _G48555)
                                     create(_G48554, _G48555, _G48556)
                                     create(_G48554, _G48555)
                                     get_dependencies(_G48554, _G48555)