Hi,
I'm looking to see if there is a way to add custom attributes to variables in Mathematica. Or alternately being able to define manifolds. For instance, I want to see I can add assumptions such as,
x \in S^2 or R \in SO(3)
Then later define operations suitable to the domain type.
Any help is appreciated! Thank you