ASKSAGE: Sage Q&A Forum - Latest question feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Sun, 25 Mar 2018 10:54:57 -0500Partially commutative monoid of a graphhttps://ask.sagemath.org/question/41756/partially-commutative-monoid-of-a-graph/I am interested in the free partially commutative monoid associated to a graph whose definition can be seen here www.sciencedirect.com/science/article/pii/0304397591903556 and here https://en.m.wikipedia.org/wiki/Trace_monoid.
Basically I need a free monoid in which some variables commutes.
My questions are
1. whether this notion is already implemented in Sage?
2. If not how to implement this in Sage?GA316Sun, 25 Mar 2018 10:54:57 -0500https://ask.sagemath.org/question/41756/