From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.devel Subject: RE: char equivalence classes in search - why not symmetric? Date: Wed, 9 Sep 2015 08:22:56 -0700 (PDT) Message-ID: References: <<2a7b9134-af2a-462d-af6c-d02bad60bbe8@default> <834mjecdy7.fsf@gnu.org> <38061f42-eaf1-47c6-b74d-f676ac952b18@default> <83r3miatvl.fsf@gnu.org> <21998.29683.916211.867479@a1i15.kph.uni-mainz.de> <83pp1s7w1m.fsf@gnu.org>> <<87lhcg38x7.fsf@mail.linkov.net> <83y4gg5n4q.fsf@gnu.org>> <> <> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1441812226 18566 80.91.229.3 (9 Sep 2015 15:23:46 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 9 Sep 2015 15:23:46 +0000 (UTC) Cc: eliz@gnu.org, juri@linkov.net, ulm@gentoo.org, drew.adams@oracle.com, emacs-devel@gnu.org To: rms@gnu.org, bruce.connor.am@gmail.com Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Sep 09 17:23:30 2015 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZZhDc-0000uS-5d for ged-emacs-devel@m.gmane.org; Wed, 09 Sep 2015 17:23:28 +0200 Original-Received: from localhost ([::1]:43465 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZZhDc-00048U-4J for ged-emacs-devel@m.gmane.org; Wed, 09 Sep 2015 11:23:28 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:41630) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZZhDL-000450-MJ for emacs-devel@gnu.org; Wed, 09 Sep 2015 11:23:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZZhDK-00016k-UQ for emacs-devel@gnu.org; Wed, 09 Sep 2015 11:23:11 -0400 Original-Received: from aserp1040.oracle.com ([141.146.126.69]:40857) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZZhDG-00015o-05; Wed, 09 Sep 2015 11:23:06 -0400 Original-Received: from aserv0021.oracle.com (aserv0021.oracle.com [141.146.126.233]) by aserp1040.oracle.com (Sentrion-MTA-4.3.2/Sentrion-MTA-4.3.2) with ESMTP id t89FMwu7013875 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Wed, 9 Sep 2015 15:22:58 GMT Original-Received: from aserv0121.oracle.com (aserv0121.oracle.com [141.146.126.235]) by aserv0021.oracle.com (8.13.8/8.13.8) with ESMTP id t89FMwjx026791 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL); Wed, 9 Sep 2015 15:22:58 GMT Original-Received: from abhmp0005.oracle.com (abhmp0005.oracle.com [141.146.116.11]) by aserv0121.oracle.com (8.13.8/8.13.8) with ESMTP id t89FMwdh008660; Wed, 9 Sep 2015 15:22:58 GMT In-Reply-To: <> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9 (901082) [OL 12.0.6691.5000 (x86)] X-Source-IP: aserv0021.oracle.com [141.146.126.233] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.4.x-2.6.x [generic] X-Received-From: 141.146.126.69 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:189767 Archived-At: > > I'd much rather we focus effort on making the equiv-classes easier to > > customize. >=20 > Let's not call them "equiv-classes", because that term presupposes > symmetry. (An equivalence relation is symmetric.) Let's call them > search classes for characters. They are equivalence classes. The chars are equivalent when searched for (with char folding turned on). The equivalence relation is among the chars in the class. This equivalence has nothing to do with the symmetry of handling them between search string and searched text. Whether or not they should _also_ be equivalent (handled the same way) when used in the search string is the topic of this thread. But even without that improvement, i.e., currently, the chars are equivalent when searched for. "Search classes for characters" means little. It says nothing about what makes them a class - what they have in common. What they have in common is that they are treated the same (equivalently) when=20 searched for.