[Axiom-developer] delayed distribution of mail

[William Sit]

Dear Bill:

Recently, there seems to be delays of over a day for distribution of updates on
the Wiki pages and maybe also emails to/from axiom-developers. Below is the mail
header for one I sent and received back from axiom. It used to be much faster
(within minutes) for the round-trip.

The changes to the page was recorded at around
1/x x = 1 is a bug! --wyscc, Thu, 23 Feb 2006 01:07:56 -0600 reply

and apparently sent out at that time. 
Thu, 23 Feb 2006 01:08:00 -0600

It then took about 14 hours 
Thu, 23 Feb 2006 15:39:01 -0500

to leave lists.gnu.org and another 25 hours additional to reach my email box
Fri, 24 Feb 2006 17:20:11 -0500

(and some more delay on my part to read it).

May be this indicates some problem or may be it is just network traffic? I just
want to report this to see if others on the board experience the same thing.

The problem that such delay causes is that someone, like you, can respond by
logging onto the Wiki pages directly, way before any subscribers can see the
email. Indeed, I received your response (because you sent it directly to me) and
responded way before anyone else may have seen this.

Thanks

William
--------

Received: from localhost ([127.0.0.1] helo=lists.gnu.org)
        by lists.gnu.org with esmtp (Exim 4.43)
        id 1FClIJ-0004DH-1v
        for address@hidden; Fri, 24 Feb 2006 17:20:11 -0500
Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43)
        id 1FCNEr-0000NQ-5i
        for address@hidden; Thu, 23 Feb 2006 15:39:01 -0500
Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43)
        id 1FCCU9-0003vP-IE
        for address@hidden; Thu, 23 Feb 2006 04:10:09 -0500
Received: from [199.232.76.173] (helo=monty-python.gnu.org)
        by lists.gnu.org with esmtp (Exim 4.43) id 1FCAZm-0006cY-8P
        for address@hidden; Thu, 23 Feb 2006 02:07:48 -0500
Received: from [209.135.140.38] (helo=axiom-developer.org)
        by monty-python.gnu.org with esmtps
        (TLS-1.0:DHE_RSA_AES_256_CBC_SHA:32) (Exim 4.52) id 1FCAgQ-00087n-8x
        for address@hidden; Thu, 23 Feb 2006 02:14:38 -0500
Received: from axiom-developer.org (lincoln.rosehosting.com [127.0.0.1])
        by axiom-developer.org (8.12.8/8.12.8) with ESMTP id k1N780Bq006002;
        Thu, 23 Feb 2006 01:08:00 -0600
From: address@hidden (wyscc)
To: address@hidden
Message-ID: <address@hidden>
X-Zwiki-Version: 0.36.2
X-BeenThere: address@hidden
Content-Type: text/plain; charset="utf-8"
Date: Thu, 23 Feb 2006 01:08:00 -0600
Cc:
Subject: [Axiom-developer] [#270 integrating UTS] 1/x x = 1 is a bug!
X-BeenThere: address@hidden
X-Mailman-Version: 2.1.5
Precedence: list
Reply-To: address@hidden
List-Id: Axiom Developers <axiom-developer.nongnu.org>
List-Unsubscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
        <mailto:address@hidden>
List-Archive: <http://lists.gnu.org/pipermail/axiom-developer>
List-Post: <mailto:address@hidden>
List-Help: <mailto:address@hidden>
List-Subscribe: <http://lists.nongnu.org/mailman/listinfo/axiom-developer>,
        <mailto:address@hidden>
Sender: address@hidden
Errors-To: address@hidden
X-Mozilla-Status: 8001
X-Mozilla-Status2: 00000000
X-UIDL: BE6A20E26F97D380

Changes http://wiki.axiom-developer.org/270IntegratingUTS/diff
--
I think recently this issue of using the same 'identifier' 'x' to stand for two
different 'variables' in two different domains (either accidentally or on
purpose) has been thoroughly discussed, but not quite. Note that I distinguish
'identifier' from 'variable'. We have two variables, usually one internally
denoted by the 'Symbol' 'x' and another unspecified as ? (as in 'UP(x,INT)')
where ? does NOT exist but can either be printed as ? or any identifier the user
prefers, such as 'x'. As any one who does programming should know, the same
'identifier' should never be used to denote two different objects (at least not
within the same scope). By the way, this design is in some sense ingenious, and
necessary, to allow extending a polynomial ring that already has all the symbols
as variables; such extension is useful in testing radical ideal membership of
polynomial rings, and intersections of polynomial ideals, for example.