Setting a binary operator Flat

Question

I defined a binary operator in as the first statement in a new Mathematica notebook.

{x1_, y1_} ⊕ {x2_, y2_} := Module[{}, Print["do anything"];]

where the code in the Module is somewhat more meaningful. My questions:

Why does this not show up in a ?Global`* query?
How can I set the Attributes for this operation to be Flat so it is associative?
Do I need to use the Notations Package to do this "properly"?

rm -rf · Answer 1 · 2012-10-28 22:35:39Z

Why does this not show up in a ?Global`* query?

Because you set a definition to CirclePlus which is in the System` context
How can I set the Attributes for this operation to be Flat so it is associative?
```
SetAttributes[CirclePlus, Flat]
```
But now redefine your function so it can take any number of arguments
```
CirclePlus[stuff___] := Print@{stuff}
```
Do I need to use the Notations Package to do this "properly"?

I don't see why, no

1 Answer