Object Info

left-associative infix operator * has precedence 400

_G257 * _G258 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:225
_G257 * _G258   --> elemental_op         --> operator --> object
                    total_op             --> operator --> object
                    abelian_op           --> associative_op --> operator --> object
                                             commutative_op --> operator --> object
                    range_optimizable_op --> operator --> object
------------------------------------ Properties:
{d} * {d} has                        body(d)
{nabla} * {_G41303} has              body(grad {_G41303})
{nabla_square} * {_G41303} has       body(lapl {_G41303})
{nabla_cross([{_G41308} | _G41306])} * {_G41310} has body([ {_G41308}
                                          | _G41306 ] #* grad {_G41310})
{nabla_dot([{_G41308} | _G41306])} * {_G41310} has body([ {_G41308}
                                          | _G41306 ] .* grad {_G41310})
{nabla_plus({_G41305})} * {_G41307} has body(( {_G41305} * {_G41307}
                                          + grad {_G41307}
                                          ))
{nabla_plus([{_G41308} | _G41306])} * {_G41310} has body(( [{_G41308} | _G41306] * {_G41310}
                                          + grad {_G41310}
                                          ))
{nabla_plus([{_G41308} | _G41306])} * [{_G41313} | _G41311] has body(( ( [{_G41308} | _G41306]
                                            * [{_G41313} | _G41311]
                                            )
                                          + grad [{_G41313} | _G41311]
                                          ))
{nabla_square_plus({_G41305})} * {_G41307} has body(( {_G41305} * {_G41307}
                                          + lapl {_G41307}
                                          ))
{nabla_square_times({_G41305})} * {_G41307} has body({_G41305} * lapl {_G41307})
{nabla_times({_G41305})} * {_G41307} has body({_G41305} * grad {_G41307})
{nabla_times_cross({_G41305})} * {_G41307} has body(div ({_G41305} * grad {_G41307}))
{nabla_times_dot({_G41305})} * {_G41307} has body(div ({_G41305} * grad {_G41307}))
{d_deriv([{_G41309}], {_G41311})} * {_G41313} has body({_G41311} * diff({_G41313}, {_G41309}))
{d_deriv([{_G41309} | _G41307], {_G41311})} * {_G41313} has body({_G41311} * diff(d_deriv(_G41307, 1) * {_G41313}, {_G41309}))
{d_times([{_G41309} | _G41307], {_G41311})} * {d_times([{_G41321} | _G41319], {_G41323})} has body(d_times(append([ {_G41321}
                                                         | _G41319 ], [ {_G41309}
                                                                      | _G41307 ]), ( {_G41311}
                                                                                    * {_G41323}
                                                                                    )))
{d_times([{_G41309} | _G41307], {_G41311})} * {_G41313} has body(d_times([ {_G41309}
                                                  | _G41307 ], ( {_G41311}
                                                               * {_G41313}
                                                               )))
{nabla_square_times_plus({_G41306}, {_G41308})} * {_G41310} has body(( {_G41308} * {_G41310}
                                          + {_G41306} * lapl {_G41310}
                                          ))
{nabla_times_plus({_G41306}, {_G41308})} * {_G41310} has body(( {_G41308} * {_G41310}
                                          + {_G41306} * grad {_G41310}
                                          ))
{nabla_times_plus({_G41306}, [{_G41311} | _G41309])} * {_G41313} has body(( [{_G41311} | _G41309] * {_G41313}
                                          + {_G41306} * grad {_G41313}
                                          ))
{_G41301} * {nabla} has              body(nabla_times({_G41301}))
{_G41301} * {nabla_square} has       body(nabla_square_times({_G41301}))
{_G41301} * {nabla_square_times({_G41307})} has body(nabla_square_times(( {_G41301}
                                                             * {_G41307}
                                                             )))
{_G41301} * {nabla_times({_G41307})} has body(nabla_times({_G41301} * {_G41307}))
{_G41301} * {d_times([{_G41311} | _G41309], {_G41313})} has body(d_times([ {_G41311}
                                                  | _G41309 ], ( {_G41301}
                                                               * {_G41313}
                                                               )))
_G257 * _G258 has                    distributive_op(^)
                                     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)
                                          ))
                                     unit_element(1)
                                     zero_element(0)
------------------------------------ Methods:
_G257 * _G258 can                    range(_G41446, ([_G41452, _G41455] ->
                                                     _G41452 * _G41455
                                                    ))
------------------------------------ Methods inherited from class object:
_G257 * _G258 can                    get_saved(_G41762, _G41763)
                                     restore(_G41762)
                                     freeze(_G41762, _G41763)
                                     save(_G41762, _G41763)
                                     get_properties(_G41762, _G41763)
                                     get_superobjects(_G41762, _G41763)
                                     get_subobjects(_G41762, _G41763)
                                     get_parents(_G41762, _G41763)
                                     get_children(_G41762, _G41763)
                                     get_instances(_G41762, _G41763)
                                     create(_G41762, _G41763, _G41764)
                                     create(_G41762, _G41763)
                                     get_dependencies(_G41762, _G41763)