From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1162
Path: news.gmane.org!not-for-mail
From: Philippe Gaucher <gaucher@irmast1.u-strasbg.fr>
Newsgroups: gmane.science.mathematics.categories
Subject: Maple program for cubical categories ?
Date: Thu, 15 Jul 1999 10:43:56 +0200
Message-ID: <199907150843.AA01264@irmast1.u-strasbg.fr>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Trace: ger.gmane.org 1241017608 29770 80.91.229.2 (29 Apr 2009 15:06:48 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:06:48 +0000 (UTC)
To: categories@mta.ca
Original-X-From: cat-dist Thu Jul 15 13:12:17 1999
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.9.3/8.9.3) id KAA31927
	for categories-list; Thu, 15 Jul 1999 10:57:22 -0300 (ADT)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Content-Md5: /AfxONXzx0Uk8JWtuIQGMA==
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 20
Xref: news.gmane.org gmane.science.mathematics.categories:1162
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/1162>

Bonjour,

I have calculations to do in a cubical omega-category 
(see works of Brown, Higgins, etc... for the definition). 
I have to verify some equalities.
I am wondering whether there is a program (Maple, anything else)
in order to simplify automatically expressions containing 
only the usual operators like the three families of degeneracy 
maps of a cubical set with connections, operations +_j, and the 
usual face maps. 

Every composition of degeneracy maps and face maps can be
ordered with the degeneracy maps of the cubical sets in the
first place (in a canonical order), followed by the connection
maps, followed by the face maps. But I do not see a canonical
way to deal with +_j (because of the interchange law for example).


pg.