Object Info

left-associative infix operator * has precedence 400

_G193 * _G194 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:225
_G193 * _G194 --> 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} * {_G9241} has body(grad {_G9241})
{nabla_square} * {_G9241} has body(lapl {_G9241})
{nabla_cross([{_G9246} | _G9244])} * {_G9248} has body([ {_G9246}
| _G9244 ] #* grad {_G9248})
{nabla_dot([{_G9246} | _G9244])} * {_G9248} has body([ {_G9246}
| _G9244 ] .* grad {_G9248})
{nabla_plus({_G9243})} * {_G9245} has body(( {_G9243} * {_G9245}
+ grad {_G9245}
))
{nabla_plus([{_G9246} | _G9244])} * {_G9248} has body(( [{_G9246} | _G9244] * {_G9248}
+ grad {_G9248}
))
{nabla_plus([{_G9246} | _G9244])} * [{_G9251} | _G9249] has body(( ( [{_G9246} | _G9244]
* [{_G9251} | _G9249]
)
+ grad [{_G9251} | _G9249]
))
{nabla_square_plus({_G9243})} * {_G9245} has body(( {_G9243} * {_G9245}
+ lapl {_G9245}
))
{nabla_square_times({_G9243})} * {_G9245} has body({_G9243} * lapl {_G9245})
{nabla_times({_G9243})} * {_G9245} has body({_G9243} * grad {_G9245})
{nabla_times_cross({_G9243})} * {_G9245} has body(div ({_G9243} * grad {_G9245}))
{nabla_times_dot({_G9243})} * {_G9245} has body(div ({_G9243} * grad {_G9245}))
{d_deriv([{_G9247}], {_G9249})} * {_G9251} has body({_G9249} * diff({_G9251}, {_G9247}))
{d_deriv([{_G9247} | _G9245], {_G9249})} * {_G9251} has body({_G9249} * diff(d_deriv(_G9245, 1) * {_G9251}, {_G9247}))
{d_times([{_G9247} | _G9245], {_G9249})} * {d_times([{_G9259} | _G9257], {_G9261})} has body(d_times(append([ {_G9259}
| _G9257 ], [ {_G9247}
| _G9245 ]), ( {_G9249}
* {_G9261}
)))
{d_times([{_G9247} | _G9245], {_G9249})} * {_G9251} has body(d_times([ {_G9247}
| _G9245 ], ( {_G9249}
* {_G9251}
)))
{nabla_square_times_plus({_G9244}, {_G9246})} * {_G9248} has body(( {_G9246} * {_G9248}
+ {_G9244} * lapl {_G9248}
))
{nabla_times_plus({_G9244}, {_G9246})} * {_G9248} has body(( {_G9246} * {_G9248}
+ {_G9244} * grad {_G9248}
))
{nabla_times_plus({_G9244}, [{_G9249} | _G9247])} * {_G9251} has body(( [{_G9249} | _G9247] * {_G9251}
+ {_G9244} * grad {_G9251}
))
{_G9239} * {nabla} has body(nabla_times({_G9239}))
{_G9239} * {nabla_square} has body(nabla_square_times({_G9239}))
{_G9239} * {nabla_square_times({_G9245})} has body(nabla_square_times(( {_G9239}
* {_G9245}
)))
{_G9239} * {nabla_times({_G9245})} has body(nabla_times({_G9239} * {_G9245}))
{_G9239} * {d_times([{_G9249} | _G9247], {_G9251})} has body(d_times([ {_G9249}
| _G9247 ], ( {_G9239}
* {_G9251}
)))
_G193 * _G194 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:
_G193 * _G194 can range(_G9384, ([_G9390, _G9393] ->
_G9390 * _G9393
))
------------------------------------ Methods inherited from class object:
_G193 * _G194 can get_saved(_G9700, _G9701)
restore(_G9700)
freeze(_G9700, _G9701)
save(_G9700, _G9701)
get_properties(_G9700, _G9701)
get_superobjects(_G9700, _G9701)
get_subobjects(_G9700, _G9701)
get_parents(_G9700, _G9701)
get_children(_G9700, _G9701)
get_instances(_G9700, _G9701)
create(_G9700, _G9701, _G9702)
create(_G9700, _G9701)
get_dependencies(_G9700, _G9701)