IETF Logo Mail Archive

Re: [babel] Erik Kline's No Objection on draft-ietf-babel-rfc6126bis-19: (with COMMENT)

Benjamin Kaduk <kaduk@mit.edu> Thu, 20 August 2020 19:49 UTC

Return-Path: <kaduk@mit.edu>
X-Original-To: babel@ietfa.amsl.com
Delivered-To: babel@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 521103A130E; Thu, 20 Aug 2020 12:49:55 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.898
X-Spam-Level:
X-Spam-Status: No, score=-1.898 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_MSPIKE_H4=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id oDis3oL3Yqxl; Thu, 20 Aug 2020 12:49:54 -0700 (PDT)
Received: from outgoing.mit.edu (outgoing-auth-1.mit.edu [18.9.28.11]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 896323A1307; Thu, 20 Aug 2020 12:49:53 -0700 (PDT)
Received: from kduck.mit.edu ([24.16.140.251]) (authenticated bits=56) (User authenticated as kaduk@ATHENA.MIT.EDU) by outgoing.mit.edu (8.14.7/8.12.4) with ESMTP id 07KJnk2J014882 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Thu, 20 Aug 2020 15:49:49 -0400
Date: Thu, 20 Aug 2020 12:49:45 -0700
From: Benjamin Kaduk <kaduk@mit.edu>
To: Juliusz Chroboczek <jch@irif.fr>
Cc: Erik Kline <ek.ietf@gmail.com>, draft-ietf-babel-rfc6126bis@ietf.org, babel-chairs@ietf.org, Donald Eastlake <d3e3e3@gmail.com>, The IESG <iesg@ietf.org>, babel@ietf.org
Message-ID: <20200820194945.GO92412@kduck.mit.edu>
References: <159782259266.4862.8769299602644465106@ietfa.amsl.com> <87blj546ci.wl-jch@irif.fr>
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <87blj546ci.wl-jch@irif.fr>
User-Agent: Mutt/1.12.1 (2019-06-15)
Archived-At: <https://mailarchive.ietf.org/arch/msg/babel/WgI0Jw9yvRS8clbFL40n6X0_7Ts>
Subject: Re: [babel] Erik Kline's No Objection on draft-ietf-babel-rfc6126bis-19: (with COMMENT)
X-BeenThere: babel@ietf.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "A list for discussion of the Babel Routing Protocol." <babel.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/babel>, <mailto:babel-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/babel/>
List-Post: <mailto:babel@ietf.org>
List-Help: <mailto:babel-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/babel>, <mailto:babel-request@ietf.org?subject=subscribe>
X-List-Received-Date: Thu, 20 Aug 2020 19:49:55 -0000

On Thu, Aug 20, 2020 at 06:42:05PM +0200, Juliusz Chroboczek wrote:
> > [ section 3.8.1.2 ]
> 
> > * Perhaps s/it has finite metric/it has a finite metric/
> 
> I am fairly positive that this formulation is standard in mathematics.

The formulation regarding "finite" is, yes.  "Metric" in mathematics tends
to be used with a different meaning, though (roughly, a function that takes
two points as inputs and returns the distance between them, but
specifically the function and not the value it evaluates to).  So, while I
do not object to using the construction in this document, saying that it is
"standard in mathematics" seems like not quite the right justification.

-Ben

> A quick Google search gives the following:
> 
>   A ring R is said to have finite length as a ring if it has finite length
>   as left R module.
> 
>   any system which has finite size in at least one space dimension.
> 
>   one shows that X∩Γ has finite cardinal

v2.46.0 | Report a Bug | By Email | System Status