Object Info

left-associative infix operator @ has precedence 100

_G162 @ _G163 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:569
_G162 @ _G163 --> total_op --> operator --> object
self_commuting_op --> commuting_op --> operator --> object
uncommon_op --> operator --> object
------------------- Properties:
_G162 @ _G163 has type(([_G32697, reference(index)] -> _G32697))
------------------- Methods:
_G162 @ _G163 can get_latex(( _G32843
@ _G32844
), none, [ "\left["
, _G32843
, "\right]_"
, _G32844 ])
range(_G32839, ([_G32843, _G32848] -> _G32843))
------------------- Methods inherited from class object:
_G162 @ _G163 can get_saved(_G33155, _G33156)
restore(_G33155)
freeze(_G33155, _G33156)
save(_G33155, _G33156)
get_properties(_G33155, _G33156)
get_superobjects(_G33155, _G33156)
get_subobjects(_G33155, _G33156)
get_parents(_G33155, _G33156)
get_children(_G33155, _G33156)
get_instances(_G33155, _G33156)
create(_G33155, _G33156, _G33157)
create(_G33155, _G33156)
get_dependencies(_G33155, _G33156)
------------------- Methods inherited from class self_commuting_op:
_G162 @ _G163 can commute_over(_G33229, _G33230)