From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/917
Path: news.gmane.org!not-for-mail
From: Sjoerd CRANS <crans@math.mcgill.ca>
Newsgroups: gmane.science.mathematics.categories
Subject: Re: computation in CPS
Date: Mon, 9 Nov 1998 16:31:58 -0500 (EST)
Message-ID: <199811092131.QAA18657@scylla.math.mcgill.ca>
NNTP-Posting-Host: main.gmane.org
X-Trace: ger.gmane.org 1241017329 28301 80.91.229.2 (29 Apr 2009 15:02:09 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:02:09 +0000 (UTC)
To: categories@mta.ca
Original-X-From: cat-dist Tue Nov 10 11:02:58 1998
Original-Received: (from Majordom@localhost)
	by mailserv.mta.ca (8.8.8/8.8.8) id IAA11876
	for categories-list; Tue, 10 Nov 1998 08:55:21 -0400 (AST)
X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f
Original-Sender: cat-dist@mta.ca
Precedence: bulk
Original-Lines: 19
Xref: news.gmane.org gmane.science.mathematics.categories:917
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/917>

Philippe Gaucher <gaucher@irma.u-strasbg.fr> asked:

> for a CPS, is there a way to compute 
> the source and target of a R({x}) using only compositions of elements 
> like R({y}) ?

Yes and no.

Yes in the sense that because the source and the target are pasting
schemes themselves, Johnson's pasting theorem gives that 1. they
are compositions of R({y})'s and 2. *any* way you do this gives the
same result.
No in two senses: although Johnson's proof actually gives an algorithm,
I don't think this algorithm has ever been implemented (in AXIOM for
example); and secondly, there is (as far as I know) no *general*
expression which works for cubes of all dimensions.

Sjoerd Crans