Questions on the group-theoretic functionality of Mathematica.
6
votes
2answers
286 views
Plotting All Possible Points Belonging to a Group Orbit
Given that $$X = \{(x,y,z) \in \mathbb{R}^3 |\, x^2 + y^2 + z^2 - 2(xy + xz + yz) = k\}\,,$$ where $k$ is a constant. Also given that a group $G$ is represented by $$\langle g_1,g_2,g_3|\, g_1^2 = ...
6
votes
3answers
523 views
Find cycles of graphs with both directed and undirected edges
I need to enumerate all the simple cycles of a graph which has both directed and undirected edges, where we can treat the undirected edges as doubly directed. (Specifically, I am looking at the Cayley ...
3
votes
2answers
242 views
What is the command to find function invariant?
What is the command to find function invariant?
http://demonstrations.wolfram.com/AFunctionInvariantUnderAGroupOfTransformations/
what is algorithm it use to calculate this?
Edit
there is a book ...
2
votes
2answers
152 views
Defining a non-commutative operator algebra in Mathematica
I am trying to develop a function(s) to do some commutator algebra to compute the enveloping algebra and ideals of a Lie algebra. For example if I have $SU(2)$ algebra generated by $L_i$ ($i=1,2,3$), ...
