Object Info

left-associative infix operator + has precedence 500

_G199 + _G200 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:223
_G199 + _G200 --> elemental_op --> operator --> object
total_op --> operator --> object
abelian_op --> associative_op --> operator --> object
commutative_op --> operator --> object
range_optimizable_op --> operator --> object
------------------------------------ Properties:
{nabla} + [{_G10885} | _G10883] has body(nabla_plus([{_G10885} | _G10883]))
{nabla_square} + {_G10882} has body(nabla_square_plus({_G10882}))
{nabla_plus({_G10884})} + {_G10886} has body(nabla_plus({_G10886} + {_G10884}))
{nabla_plus({_G10884})} + [{_G10889} | _G10887] has body(nabla_plus(( [{_G10889} | _G10887]
+ {_G10884}
)))
{nabla_plus([{_G10887} | _G10885])} + {_G10889} has body(nabla_plus(( {_G10889}
+ [{_G10887} | _G10885]
)))
{nabla_plus([{_G10887} | _G10885])} + [{_G10892} | _G10890] has body(nabla_plus(( [{_G10892} | _G10890]
+ [{_G10887} | _G10885]
)))
{nabla_square_plus({_G10884})} + {_G10886} has body(nabla_square_plus(( {_G10886}
+ {_G10884}
)))
{nabla_square_times({_G10884})} + {_G10886} has body(nabla_square_times_plus({_G10884}, {_G10886}))
{nabla_times({_G10884})} + {_G10886} has body(nabla_times_plus({_G10884}, {_G10886}))
{nabla_times({_G10884})} + [{_G10889} | _G10887] has body(nabla_times_plus({_G10884}, [ {_G10889}
| _G10887 ]))
{nabla_square_times_plus({_G10885}, {_G10887})} + {_G10889} has body(nabla_square_times_plus({_G10885}, ( {_G10887}
+ {_G10889}
)))
{nabla_times_plus({_G10885}, {_G10887})} + {_G10889} has body(nabla_times_plus({_G10885}, ( {_G10887}
+ {_G10889}
)))
{nabla_times_plus({_G10885}, {_G10887})} + [{_G10892} | _G10890] has body(nabla_times_plus({_G10885}, ( {_G10887}
+ [ {_G10892}
| _G10890 ]
)))
{nabla_times_plus({_G10885}, [{_G10890} | _G10888])} + {_G10892} has body(nabla_times_plus({_G10885}, ( [ {_G10890}
| _G10888 ]
+ {_G10892}
)))
{nabla_times_plus({_G10885}, [{_G10890} | _G10888])} + [{_G10895} | _G10893] has body(nabla_times_plus({_G10885}, ( [{_G10890} | _G10888]
+ [{_G10895} | _G10893]
)))
{_G10880} + {nabla_square} has body(nabla_square_plus({_G10880}))
{_G10880} + {nabla_plus({_G10886})} has body(nabla_plus({_G10880} + {_G10886}))
{_G10880} + {nabla_plus([{_G10889} | _G10887])} has body(nabla_plus(( {_G10880}
+ [{_G10889} | _G10887]
)))
{_G10880} + {nabla_square_plus({_G10886})} has body(nabla_square_plus(( {_G10880}
+ {_G10886}
)))
{_G10880} + {nabla_square_times({_G10886})} has body(nabla_square_times_plus({_G10886}, {_G10880}))
{_G10880} + {nabla_times({_G10886})} has body(nabla_times_plus({_G10886}, {_G10880}))
{_G10880} + {nabla_square_times_plus({_G10887}, {_G10889})} has body(nabla_times_plus({_G10887}, ( {_G10889}
+ {_G10880}
)))
{_G10880} + {nabla_times_plus({_G10887}, {_G10889})} has body(nabla_times_plus({_G10887}, ( {_G10889}
+ {_G10880}
)))
{_G10880} + {nabla_times_plus({_G10887}, [{_G10892} | _G10890])} has body(nabla_times_plus({_G10887}, ( [ {_G10892}
| _G10890 ]
+ {_G10880}
)))
[{_G10883} | _G10881] + {nabla} has body(nabla_plus([{_G10883} | _G10881]))
[{_G10883} | _G10881] + {nabla_plus({_G10889})} has body(nabla_plus(( [{_G10883} | _G10881]
+ {_G10889}
)))
[{_G10883} | _G10881] + {nabla_plus([{_G10892} | _G10890])} has body(nabla_plus(( [{_G10883} | _G10881]
+ [{_G10892} | _G10890]
)))
[{_G10883} | _G10881] + {nabla_times({_G10889})} has body(nabla_times_plus({_G10889}, [ {_G10883}
| _G10881 ]))
[{_G10883} | _G10881] + {nabla_times_plus({_G10890}, {_G10892})} has body(nabla_times_plus({_G10890}, ( {_G10892}
+ [ {_G10883}
| _G10881 ]
)))
[{_G10883} | _G10881] + {nabla_times_plus({_G10890}, [{_G10895} | _G10893])} has body(nabla_times_plus({_G10890}, ( [{_G10895} | _G10893]
+ [{_G10883} | _G10881]
)))
[[_G10883 | _G10884] | _G10881] + [_G10886 | _G10887] has body(exit("matrix + vector"))
[_G10880 | _G10881] + [[_G10886 | _G10887] | _G10884] has body(exit("vector + matrix"))
_G199 + _G200 has distributive_op(*)
type(([integer, integer] -> integer))
type(([integer, rational] -> rational))
type(([integer, real] -> real))
type(([integer, complex] -> complex))
type(([rational, integer] -> rational))
type(([rational, rational] -> rational))
type(([rational, real] -> real))
type(([rational, complex] -> complex))
type(([real, integer] -> real))
type(([real, rational] -> real))
type(([real, real] -> real))
type(([real, complex] -> complex))
type(([complex, integer] -> complex))
type(([complex, rational] -> 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(0)
------------------------------------ Methods:
_G199 + _G200 can range(_G11025, ([_G11031, _G11034] ->
_G11031 + _G11034
))
------------------------------------ Methods inherited from class object:
_G199 + _G200 can get_saved(_G11341, _G11342)
restore(_G11341)
freeze(_G11341, _G11342)
save(_G11341, _G11342)
get_properties(_G11341, _G11342)
get_superobjects(_G11341, _G11342)
get_subobjects(_G11341, _G11342)
get_parents(_G11341, _G11342)
get_children(_G11341, _G11342)
get_instances(_G11341, _G11342)
create(_G11341, _G11342, _G11343)
create(_G11341, _G11342)
get_dependencies(_G11341, _G11342)