Object Info

right-associative infix operator # has precedence 966

_G427 # _G428 is defined in /home/faculty/engelen/Ctadel/ctadel.pl:557
_G427 # _G428   --> abelian_op  --> associative_op --> operator --> object
                                    commutative_op --> operator --> object
                    uncommon_op --> operator --> object
                    constant    --> object
------------------- Properties:
_G427 # _G428 has   type(([reference(_G36260), reference(_G36260)] ->
                          reference(_G36260)
                         ))
                    type(([domain(_G36260), domain(_G36260)] -> domain(_G36260)))
------------------- Methods:
_G427 # _G428 can   get_latex_name(_G36397, "\times")
------------------- Methods inherited from class object:
_G427 # _G428 can   get_saved(_G36713, _G36714)
                    restore(_G36713)
                    freeze(_G36713, _G36714)
                    save(_G36713, _G36714)
                    get_properties(_G36713, _G36714)
                    get_superobjects(_G36713, _G36714)
                    get_subobjects(_G36713, _G36714)
                    get_parents(_G36713, _G36714)
                    get_children(_G36713, _G36714)
                    get_instances(_G36713, _G36714)
                    create(_G36713, _G36714, _G36715)
                    create(_G36713, _G36714)
                    get_dependencies(_G36713, _G36714)