Object Info

sum(_G149, _G150) is defined in /home/faculty/engelen/Ctadel/ctadel.pl:645
sum(_G149, _G150) --> reduction_op_for(+) --> reduction_op         --> commuting_op --> operator --> object
                                              range_optimizable_op --> operator --> object
                                              linear_op            --> operator --> object
--------------------- Properties:
sum(_G149, _G150) has type(([complex, domain(index)] -> complex))
                      type(([real, domain(index)] -> real))
                      type(([integer, domain(index)] -> integer))
--------------------- Methods:
sum(_G149, _G150) can get_latex(sum(_G12473, _G12476 = _G12479 .. _G12480), 501, 
[ "\displaystyle\sum_"
, $NOBR(_G12476 = _G12479)
, "^"
, $NOBR(_G12480)
, $PREC(_G12473, 449) ])
                      get_latex(sum(_G12473, _G12474), 501, [ 
"\displaystyle\sum_"
                                                            , $NOBR(_G12474)
                                                            , $PREC(_G12473, 449) ])
--------------------- Methods inherited from class object:
sum(_G149, _G150) can get_saved(_G12785, _G12786)
                      restore(_G12785)
                      freeze(_G12785, _G12786)
                      save(_G12785, _G12786)
                      get_properties(_G12785, _G12786)
                      get_superobjects(_G12785, _G12786)
                      get_subobjects(_G12785, _G12786)
                      get_parents(_G12785, _G12786)
                      get_children(_G12785, _G12786)
                      get_instances(_G12785, _G12786)
                      create(_G12785, _G12786, _G12787)
                      create(_G12785, _G12786)
                      get_dependencies(_G12785, _G12786)
--------------------- Methods inherited from class reduction_op_for(+):
sum(_G149, _G150) can range(_G12889, ([ {_G12900 .. _G12901}
                                      , {_G12908 .. _G12909}
                                      | _G12904 ] ->
                                      (( (_G12909 - _G12908 + 1 max 0)
                                       * (_G12900 .. _G12901)
                                       ) if
                                       _G12909 <= _G12908
                                      )
                                     ))
                      get_cost(_G12892, _G12893)
                      get_latex(_G12892, _G12893, [ _G12896
                                                  , "_"
                                                  , $NOBR(_G12910 = _G12911)
                                                  , "^"
                                                  , _G12919
                                                  , _G12922 ])
                      get_latex(_G12892, _G12893, [ _G12896
                                                  , "_"
                                                  , _G12905
                                                  , _G12908 ])
                      commute_over(_G12892, _G12893)