Object Info

left-associative infix operator + has precedence 500

_G263 + _G264 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:223
_G263 + _G264   --> 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} + [{_G42921} | _G42919] has  body(nabla_plus([{_G42921} | _G42919]))
{nabla_square} + {_G42918} has       body(nabla_square_plus({_G42918}))
{nabla_plus({_G42920})} + {_G42922} has body(nabla_plus({_G42922} + {_G42920}))
{nabla_plus({_G42920})} + [{_G42925} | _G42923] has body(nabla_plus(( [{_G42925} | _G42923]
                                                     + {_G42920}
                                                     )))
{nabla_plus([{_G42923} | _G42921])} + {_G42925} has body(nabla_plus(( {_G42925}
                                                     + [{_G42923} | _G42921]
                                                     )))
{nabla_plus([{_G42923} | _G42921])} + [{_G42928} | _G42926] has body(nabla_plus(( [{_G42928} | _G42926]
                                                     + [{_G42923} | _G42921]
                                                     )))
{nabla_square_plus({_G42920})} + {_G42922} has body(nabla_square_plus(( {_G42922}
                                                            + {_G42920}
                                                            )))
{nabla_square_times({_G42920})} + {_G42922} has body(nabla_square_times_plus({_G42920}, {_G42922}))
{nabla_times({_G42920})} + {_G42922} has body(nabla_times_plus({_G42920}, {_G42922}))
{nabla_times({_G42920})} + [{_G42925} | _G42923] has body(nabla_times_plus({_G42920}, [ {_G42925}
                                                                      | _G42923 ]))
{nabla_square_times_plus({_G42921}, {_G42923})} + {_G42925} has body(nabla_square_times_plus({_G42921}, ( {_G42923}
                                                                             + {_G42925}
                                                                             )))
{nabla_times_plus({_G42921}, {_G42923})} + {_G42925} has body(nabla_times_plus({_G42921}, ( {_G42923}
                                                                      + {_G42925}
                                                                      )))
{nabla_times_plus({_G42921}, {_G42923})} + [{_G42928} | _G42926] has body(nabla_times_plus({_G42921}, ( {_G42923}
                                                                      + [ {_G42928}
                                                                        | _G42926 ]
                                                                      )))
{nabla_times_plus({_G42921}, [{_G42926} | _G42924])} + {_G42928} has body(nabla_times_plus({_G42921}, ( [ {_G42926}
                                                                        | _G42924 ]
                                                                      + {_G42928}
                                                                      )))
{nabla_times_plus({_G42921}, [{_G42926} | _G42924])} + [{_G42931} | _G42929] has body(nabla_times_plus({_G42921}, ( [{_G42926} | _G42924]
                                                                      + [{_G42931} | _G42929]
                                                                      )))
{_G42916} + {nabla_square} has       body(nabla_square_plus({_G42916}))
{_G42916} + {nabla_plus({_G42922})} has body(nabla_plus({_G42916} + {_G42922}))
{_G42916} + {nabla_plus([{_G42925} | _G42923])} has body(nabla_plus(( {_G42916}
                                                     + [{_G42925} | _G42923]
                                                     )))
{_G42916} + {nabla_square_plus({_G42922})} has body(nabla_square_plus(( {_G42916}
                                                            + {_G42922}
                                                            )))
{_G42916} + {nabla_square_times({_G42922})} has body(nabla_square_times_plus({_G42922}, {_G42916}))
{_G42916} + {nabla_times({_G42922})} has body(nabla_times_plus({_G42922}, {_G42916}))
{_G42916} + {nabla_square_times_plus({_G42923}, {_G42925})} has body(nabla_times_plus({_G42923}, ( {_G42925}
                                                                      + {_G42916}
                                                                      )))
{_G42916} + {nabla_times_plus({_G42923}, {_G42925})} has body(nabla_times_plus({_G42923}, ( {_G42925}
                                                                      + {_G42916}
                                                                      )))
{_G42916} + {nabla_times_plus({_G42923}, [{_G42928} | _G42926])} has body(nabla_times_plus({_G42923}, ( [ {_G42928}
                                                                        | _G42926 ]
                                                                      + {_G42916}
                                                                      )))
[{_G42919} | _G42917] + {nabla} has  body(nabla_plus([{_G42919} | _G42917]))
[{_G42919} | _G42917] + {nabla_plus({_G42925})} has body(nabla_plus(( [{_G42919} | _G42917]
                                                     + {_G42925}
                                                     )))
[{_G42919} | _G42917] + {nabla_plus([{_G42928} | _G42926])} has body(nabla_plus(( [{_G42919} | _G42917]
                                                     + [{_G42928} | _G42926]
                                                     )))
[{_G42919} | _G42917] + {nabla_times({_G42925})} has body(nabla_times_plus({_G42925}, [ {_G42919}
                                                                      | _G42917 ]))
[{_G42919} | _G42917] + {nabla_times_plus({_G42926}, {_G42928})} has body(nabla_times_plus({_G42926}, ( {_G42928}
                                                                      + [ {_G42919}
                                                                        | _G42917 ]
                                                                      )))
[{_G42919} | _G42917] + {nabla_times_plus({_G42926}, [{_G42931} | _G42929])} has body(nabla_times_plus({_G42926}, ( [{_G42931} | _G42929]
                                                                      + [{_G42919} | _G42917]
                                                                      )))
[[_G42919 | _G42920] | _G42917] + [_G42922 | _G42923] has body(exit("matrix + vector"))
[_G42916 | _G42917] + [[_G42922 | _G42923] | _G42920] has body(exit("vector + matrix"))
_G263 + _G264 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:
_G263 + _G264 can                    range(_G43061, ([_G43067, _G43070] ->
                                                     _G43067 + _G43070
                                                    ))
------------------------------------ Methods inherited from class object:
_G263 + _G264 can                    get_saved(_G43377, _G43378)
                                     restore(_G43377)
                                     freeze(_G43377, _G43378)
                                     save(_G43377, _G43378)
                                     get_properties(_G43377, _G43378)
                                     get_superobjects(_G43377, _G43378)
                                     get_subobjects(_G43377, _G43378)
                                     get_parents(_G43377, _G43378)
                                     get_children(_G43377, _G43378)
                                     get_instances(_G43377, _G43378)
                                     create(_G43377, _G43378, _G43379)
                                     create(_G43377, _G43378)
                                     get_dependencies(_G43377, _G43378)