Object Info


prod(_G710, _G711) is defined in /home/robert/projects/Ctadel/ctadel.pl:562
prod(_G710, _G711) --> reduction_op_for(*) --> reduction_op --> commuting_op --> operator --> object
---------------------- Properties:
prod(_G710, _G711) has type(([complex, domain(index)] -> complex))
type(([real, domain(index)] -> real))
type(([integer, domain(index)] -> integer))
---------------------- Methods:
prod(_G710, _G711) can get_latex(prod(_G118569, _G118572 = _G118575 .. _G118576), 401,
[ "\displaystyle\prod_"
, $NOBR(_G118572 = _G118575)
, "^"
, $NOBR(_G118576)
, _G118569 ])
get_latex(prod(_G118569, _G118570), 401, [
"\displaystyle\prod_"
, $NOBR(_G118570)
, _G118569 ])
---------------------- Methods inherited from class object:
prod(_G710, _G711) can restore(_G118779)
save(_G118779, _G118780)
get_properties(_G118779, _G118780)
get_superobjects(_G118779, _G118780)
get_subobjects(_G118779, _G118780)
get_parents(_G118779, _G118780)
get_children(_G118779, _G118780)
get_instances(_G118779, _G118780)
create(_G118779, _G118780)
get_dependencies(_G118779, _G118780)
---------------------- Methods inherited from class reduction_op_for(*):
prod(_G710, _G711) can get_cost(_G118845, _G118846)
commute_over(_G118845, _G118846)