GNU bug report logs - #52383
29.0.50; [suggestion] Add seq-set-subset-p to seq.el

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: emacs; Severity: wishlist; Reported by: Marco Wahl <marcowahlsoft@HIDDEN>; dated Thu, 9 Dec 2021 00:56:02 UTC; Maintainer for emacs is bug-gnu-emacs@HIDDEN.
Severity set to 'wishlist' from 'normal' Request was from Stefan Kangas <stefan@HIDDEN> to control <at> debbugs.gnu.org. Full text available.

Message received at 52383 <at> debbugs.gnu.org:


Received: (at 52383) by debbugs.gnu.org; 10 Dec 2021 12:01:30 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Dec 10 07:01:30 2021
Received: from localhost ([127.0.0.1]:45753 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1mveac-000667-7r
	for submit <at> debbugs.gnu.org; Fri, 10 Dec 2021 07:01:29 -0500
Received: from quimby.gnus.org ([95.216.78.240]:54786)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <larsi@HIDDEN>) id 1mveaY-0005zC-N4
 for 52383 <at> debbugs.gnu.org; Fri, 10 Dec 2021 07:01:23 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org;
 s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date:
 References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding:
 Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender:
 Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe:
 List-Subscribe:List-Post:List-Owner:List-Archive;
 bh=sJeqQVmDwBIBWX/Q/q1gBNekhpYnlUmkrQT4BSNiT7Q=; b=UVw6w0d/4UikpKp2yZTGihtAyK
 xwNcpQuWR5mfQrFlzrKf4vupGv6DCBFlp1o31VBjz84Y3C1nn9gECMS15RM0e+AM+bovus76G/pvt
 LmDeOm8YaLEH6ZRXMqsm33OOlmLt19UpIURU6SA/+XgV61JvyJLIVLGKQ2Gf0+HD9mH4=;
Received: from [84.212.220.105] (helo=xo)
 by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.92) (envelope-from <larsi@HIDDEN>)
 id 1mveaP-0002sl-TQ; Fri, 10 Dec 2021 13:01:16 +0100
From: Lars Ingebrigtsen <larsi@HIDDEN>
To: Michael Heerdegen <michael_heerdegen@HIDDEN>
Subject: Re: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
References: <87mtlaiolq.fsf@HIDDEN> <87wnkd9qrw.fsf@HIDDEN>
X-Now-Playing: The Smiths's _Hatful Of Hollow_: "How Soon Is Now?"
Date: Fri, 10 Dec 2021 13:01:11 +0100
In-Reply-To: <87wnkd9qrw.fsf@HIDDEN> (Michael Heerdegen's message of "Fri, 10
 Dec 2021 02:45:23 +0100")
Message-ID: <87a6h8zn20.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 Content preview:  Michael Heerdegen <michael_heerdegen@HIDDEN> writes: > If
 I recall correctly, Stefan wanted a set.el library. I only want to > mention
 that, because... well, it's related (and we already found that > "subsequence"
 testing is not what this implements). 
 Content analysis details:   (-2.9 points, 5.0 required)
 pts rule name              description
 ---- ---------------------- --------------------------------------------------
 -1.0 ALL_TRUSTED            Passed through trusted hosts only via SMTP
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
 [score: 0.0000]
X-Spam-Score: -2.3 (--)
X-Debbugs-Envelope-To: 52383
Cc: 52383 <at> debbugs.gnu.org, Marco Wahl <marcowahlsoft@HIDDEN>
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -3.3 (---)

Michael Heerdegen <michael_heerdegen@HIDDEN> writes:

> If I recall correctly, Stefan wanted a set.el library.  I only want to
> mention that, because... well, it's related (and we already found that
> "subsequence" testing is not what this implements).

Yes, I'd rather have a set.el than adding some set commands to seq.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#52383; Package emacs. Full text available.

Message received at 52383 <at> debbugs.gnu.org:


Received: (at 52383) by debbugs.gnu.org; 10 Dec 2021 01:45:33 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Dec 09 20:45:33 2021
Received: from localhost ([127.0.0.1]:45126 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1mvUyb-0007Ab-BR
	for submit <at> debbugs.gnu.org; Thu, 09 Dec 2021 20:45:33 -0500
Received: from mout.web.de ([212.227.15.4]:52049)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <michael_heerdegen@HIDDEN>) id 1mvUyZ-0007AO-9c
 for 52383 <at> debbugs.gnu.org; Thu, 09 Dec 2021 20:45:31 -0500
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de;
 s=dbaedf251592; t=1639100724;
 bh=MYaW+1+fXOWsmpYX1AX3Gk02vm5qWWy3tQQVg0ziYZk=;
 h=X-UI-Sender-Class:From:To:Cc:Subject:References:Date:In-Reply-To;
 b=pG4GbrRqmmV0FvaFY/8ozrDQJBZRqt4PTl23nIPi5YOqR4yeP8A2PXEQ5coCjfDZB
 ttWGTUho1rIoPIn5FF6JryYRAjl0YGfiK1D7VVgINeTaFxHbL7AlnwENfG+7ekfOa1
 q+wZ6c9bt7psAgU0h4VvloerLBZ5lyzLXZnuGwWw=
X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9
Received: from drachen.dragon ([92.208.225.87]) by smtp.web.de (mrweb006
 [213.165.67.108]) with ESMTPSA (Nemesis) id 1N0Zs0-1maWEy1hsS-00wZq8; Fri, 10
 Dec 2021 02:45:24 +0100
From: Michael Heerdegen <michael_heerdegen@HIDDEN>
To: Marco Wahl <marcowahlsoft@HIDDEN>
Subject: Re: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
References: <87mtlaiolq.fsf@HIDDEN>
Date: Fri, 10 Dec 2021 02:45:23 +0100
In-Reply-To: <87mtlaiolq.fsf@HIDDEN> (Marco Wahl's message of "Thu, 09 Dec
 2021 01:55:13 +0100")
Message-ID: <87wnkd9qrw.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Provags-ID: V03:K1:/+rrxc3g1RLTnO1ytSZ0AZyVEsZdgiV8/R0B8UvXn93DmZLfddQ
 MDZ01dRgSCaw6V/zQF71G3EEHMYUJB86WOVkTD/mXAxXCR7Y+71oX7jn5VvZeVta8VQZiuI
 4mUlKTZ5rN5nJHZJg9M9/D6T8y3hyoJG9G2xmThYgA+OM8D05+DhSoffNKrItb1dSXZt2It
 pfWvmI61M3nM7pIhhBrgg==
X-Spam-Flag: NO
X-UI-Out-Filterresults: notjunk:1;V03:K0:eRtgroxQD/M=:BIpEmsNInodhik7Z0337S4
 a9hlnmcJPlnF410RdjZnZfWdp+DRXcr4PY/FDZyDZ6cukAnQW3lKvBVeguWYzXdB2b79XyOB6
 IRkSxYYG8RPVRN9j0T1W0ZU+NWbXe1p6ZkS3aoL9DbvSe4nazYpSxzfp3SLUr+NcziaC65/ep
 CXeAy2exf/LZtGyp0+ZSpIF+iclPMfxPu6jBIUaqQWN+xABg35XS7FtPKv6HOqVcZD6PZMY1z
 WL8goOK57AhggZo6fFP3uMT0YI5pomvQCt0+by5V+7RlO+JwZhpCiwFNWE7nTL17jznfwtQY5
 SA5v7jQdN37yjCdxK+TgHA1+2IZzxEi8XN2gaUngCE+RFDYDLU4udQWIWExIcWrH2Sg+z6Iwl
 6mHMbXk++nbqGweBe3IbyzJLT/riGG62/QSdWUvGgphxHk/gTQpC2hglSTvZIt4qIYT6wOg9o
 xI7B5UlVQst+MltmJS8gZZs27kX2AmMzAycsOQzS6go1h5WdNQ2qtGOOYM3irSacnlZ5d1boy
 HuJK+t0W6xraLkdTvINOIL03Lu9BAFDkppvfp8Vy5hWp4xwjfie2Btj/X+GVXBJTjWIl0lR7l
 jmeFHx0VuglGqe11U7su94JrXbMC1khBa1ZCqhMLZtx/MHlDMcX+cJk9k/r0ibn3BxADlymoj
 Nq3MpwQ9T9aCWXC1jYO4uqwBDbFS7yDcjjCIT0+mHn2BolPqHheZQaXh6y201cYCCUlE9r4PZ
 WTqICGNOjjBYxVR83qfW91aBW6YcuBdHEJuRB3Gm5aqJhdc5dNR+o5RmCFdAbr6DeBFs7oyBT
 dDOE/IRGMzBKEJJu1r8MaaFC0dJAgPrPb19DgYlTrI+vbDvRG18fVjB6ZFEud1gIa+uazLv1R
 YO07tOwgMnsqTN2TZBywdOXfSkyLvZhvRVlvjAFKsHYfxvVyYhOt6eTL5VaAhXfK8hmzPzkMN
 o+LV/C7aAs0mIoIzhmHjm0c3ggSgYZTvHA1OufVRD1gNDbxoxTjegiMyO8/tIZY4keyH3xcku
 u7b0LGmG/ph56ad7uY/TvRiXasAr3Hmdwm9ImAF4z3fETZt++5Xh+lHF73QXJ6HLVVErGBoUQ
 G+bSqYtoPl0b18=
X-Spam-Score: -0.7 (/)
X-Debbugs-Envelope-To: 52383
Cc: 52383 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

Marco Wahl <marcowahlsoft@HIDDEN> writes:

> I suggest adding seq-set-subset-p to seq.el to realize the typical
> math subset predicate.

If I recall correctly, Stefan wanted a set.el library.  I only want to
mention that, because... well, it's related (and we already found that
"subsequence" testing is not what this implements).

Michael.




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#52383; Package emacs. Full text available.

Message received at 52383 <at> debbugs.gnu.org:


Received: (at 52383) by debbugs.gnu.org; 9 Dec 2021 21:23:16 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Dec 09 16:23:16 2021
Received: from localhost ([127.0.0.1]:44904 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1mvQsm-0002db-CY
	for submit <at> debbugs.gnu.org; Thu, 09 Dec 2021 16:23:16 -0500
Received: from mail-wr1-f54.google.com ([209.85.221.54]:34631)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <marcowahlsoft@HIDDEN>) id 1mvQsk-0002dO-I2
 for 52383 <at> debbugs.gnu.org; Thu, 09 Dec 2021 16:23:15 -0500
Received: by mail-wr1-f54.google.com with SMTP id j3so11990397wrp.1
 for <52383 <at> debbugs.gnu.org>; Thu, 09 Dec 2021 13:23:14 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
 h=from:to:cc:subject:organization:references:date:in-reply-to
 :message-id:user-agent:mime-version;
 bh=RO+Jyzn1C7Yp2Syir0bKfwJyh7jtDIPYLyz8uBcVePM=;
 b=THcHtDkW/4OO8e5+7UsA1sX3CAEqv7LIZkiydwand0dUu9X6mWpja1xmI2e7eLFb/p
 ChYacf/tfFtg21dbP4i6l3AQvkx8MrBgnNBsA04LUyfQAR8H3VWf/IMRasmC/wtHS0DB
 /+yCXaCrXAuhSatAwFagjsYP9y+H8WsZDz7zZeXpygE0PZS7RtjIySo9LeRiI8wapnR0
 NKeZmxoVYbKh1KZe+01iS9g8AcQj3p+8mqW9mR+29ZYvjn2GTqFyqU9S77KJcpxRdGum
 vK3thxaaltf+HxHG9bq/AhBSSWYDEOWGJai6Krc383o5AvO2Q/I1iHmTn8zNsfl5xNgW
 bctg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=x-gm-message-state:from:to:cc:subject:organization:references:date
 :in-reply-to:message-id:user-agent:mime-version;
 bh=RO+Jyzn1C7Yp2Syir0bKfwJyh7jtDIPYLyz8uBcVePM=;
 b=uE4PTOA91fNpgopMMqi1TtiozntKLw58OjOZRGO/P2uVldaiVhJDQ4DRR0VQp38UG+
 LhPrqx5KYApMVNptp9tXRoU4yAR1YLFBXQuBSulmdMv2MPqNV8iG2NxaXeUBlO38nnA6
 /cMqN3LMJqOwrmHKSp3nuwtjXOLzW79o8NjCY1RsGcj7p6ZYjbl875yVh8tuWga66GvS
 khwtaS3gLM/oDa511uZ7bFTWSOBsUvko0mkFLR7IS/jhCYx8Q9peHENdLvv0oYuwr9aM
 WpBqyHyQDlxD2bNz9d7x4D7pDylMpvb//zJWetZ0FGeRQJkXQx9FNFUoxpcry4f7LYiP
 MUAQ==
X-Gm-Message-State: AOAM532daeOBdc3W2guhqR1daFFoGA+uVzwWgo7F447u1ECsVd9gyar9
 5fGWeVb51gHBUn0++TKQfeg=
X-Google-Smtp-Source: ABdhPJyJrehu6c7u9vLXXjm4GlbdirWRMbr92vELHQl+v6CA70pYy6BuaW0nmCDQCMlmLXRBzD34uQ==
X-Received: by 2002:adf:e9c5:: with SMTP id l5mr9286600wrn.218.1639084988280; 
 Thu, 09 Dec 2021 13:23:08 -0800 (PST)
Received: from aspire-5942
 (p200300d8672a5800fce6f3c372e65c8f.dip0.t-ipconnect.de.
 [2003:d8:672a:5800:fce6:f3c3:72e6:5c8f])
 by smtp.gmail.com with ESMTPSA id f18sm753875wre.7.2021.12.09.13.23.07
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Thu, 09 Dec 2021 13:23:08 -0800 (PST)
From: Marco Wahl <marcowahlsoft@HIDDEN>
To: Juri Linkov <juri@HIDDEN>
Subject: Re: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Organization: Marco Wahl
References: <87mtlaiolq.fsf@HIDDEN> <86y24utam5.fsf@HIDDEN>
 <87wnkda5s5.fsf@HIDDEN> <86fsr1jzcu.fsf@HIDDEN>
Date: Thu, 09 Dec 2021 22:23:07 +0100
In-Reply-To: <86fsr1jzcu.fsf@HIDDEN> (Juri Linkov's message of "Thu, 
 09 Dec 2021 22:29:53 +0200")
Message-ID: <87k0gda2x0.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 52383
Cc: 52383 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Juri Linkov <juri@HIDDEN> writes:

>> The motivation for the suggested name `seq-set-subset-p' was to stay
>> close to the name `seq-set-equal-p'.  A user could interpret the prefix
>> "seq-set" as hint that the function implements a set operation.
>
> I guess the only reason why `seq-set-equal-p' has the prefix `seq-set-'
> is because it would be too ambiguous without the prefix: `seq-equal-p'.

I guess so too.





Information forwarded to bug-gnu-emacs@HIDDEN:
bug#52383; Package emacs. Full text available.

Message received at 52383 <at> debbugs.gnu.org:


Received: (at 52383) by debbugs.gnu.org; 9 Dec 2021 20:30:28 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Dec 09 15:30:28 2021
Received: from localhost ([127.0.0.1]:44872 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1mvQ3g-0001Ox-ED
	for submit <at> debbugs.gnu.org; Thu, 09 Dec 2021 15:30:28 -0500
Received: from relay2-d.mail.gandi.net ([217.70.183.194]:47415)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <juri@HIDDEN>) id 1mvQ3d-0001Oi-J5
 for 52383 <at> debbugs.gnu.org; Thu, 09 Dec 2021 15:30:26 -0500
Received: (Authenticated sender: juri@HIDDEN)
 by relay2-d.mail.gandi.net (Postfix) with ESMTPSA id 3BAA840005;
 Thu,  9 Dec 2021 20:30:17 +0000 (UTC)
From: Juri Linkov <juri@HIDDEN>
To: Marco Wahl <marcowahlsoft@HIDDEN>
Subject: Re: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Organization: LINKOV.NET
References: <87mtlaiolq.fsf@HIDDEN> <86y24utam5.fsf@HIDDEN>
 <87wnkda5s5.fsf@HIDDEN>
Date: Thu, 09 Dec 2021 22:29:53 +0200
In-Reply-To: <87wnkda5s5.fsf@HIDDEN> (Marco Wahl's message of "Thu, 09 Dec
 2021 21:21:14 +0100")
Message-ID: <86fsr1jzcu.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: -0.7 (/)
X-Debbugs-Envelope-To: 52383
Cc: 52383 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

>>> BTW function `seq-set-equal-p' could be rewritten using
>>> `seq-set-subset-p'.
>>
>> Isn't the word "set" redundant in the name?
>> In `seq-set-equal-p' the word "set" is needed
>> to say "is set equal".  But in `seq-set-subset-p'
>> the word "set" doesn't add much meaning, so better
>> would be to name your new function just `seq-subset-p'.
>
> Agreed.
>
> The motivation for the suggested name `seq-set-subset-p' was to stay
> close to the name `seq-set-equal-p'.  A user could interpret the prefix
> "seq-set" as hint that the function implements a set operation.

I guess the only reason why `seq-set-equal-p' has the prefix `seq-set-'
is because it would be too ambiguous without the prefix: `seq-equal-p'.




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#52383; Package emacs. Full text available.

Message received at 52383 <at> debbugs.gnu.org:


Received: (at 52383) by debbugs.gnu.org; 9 Dec 2021 20:21:28 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Dec 09 15:21:28 2021
Received: from localhost ([127.0.0.1]:44859 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1mvPux-0001Ab-Vd
	for submit <at> debbugs.gnu.org; Thu, 09 Dec 2021 15:21:28 -0500
Received: from mail-wm1-f54.google.com ([209.85.128.54]:41627)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <marcowahlsoft@HIDDEN>) id 1mvPuw-0001AJ-8j
 for 52383 <at> debbugs.gnu.org; Thu, 09 Dec 2021 15:21:26 -0500
Received: by mail-wm1-f54.google.com with SMTP id
 az34-20020a05600c602200b0033bf8662572so5063824wmb.0
 for <52383 <at> debbugs.gnu.org>; Thu, 09 Dec 2021 12:21:26 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
 h=from:to:cc:subject:organization:references:date:in-reply-to
 :message-id:user-agent:mime-version;
 bh=+5U2WSWCzvEw3Oz0dF74oagO6ucqeQe6KQkJXlzHDHw=;
 b=gb6bYTVY0vN2I85NCAIYw2xi+UHGkDr+tIG2KahyMs1xMAAOb0Ri7vwY3fIKf0a5RJ
 YGqRb84W0X7kX34LhmpArGRY5OHXcIoqm9nVLoRYMYG7h8/1M29o+QwW3V4eHLWlDFRJ
 vlyCnUnWzyhyyTLOQKr0ixLUo2Z7dRp1cfL/KrznO3kd+Qz61eK95ye18cFERbZb7ETy
 d7MODS+J0nVWn0twDcOgdoZIa3fh00n9p84WBr/+jNxtYq2YBuh4PC1qoJgZe8J70ijk
 Z2wczQxlxD4xGfi55GLM0GbHjJcUqpqB4aGQvARq8zh2+J/oTD7EvuonmvLgZ2eAymBn
 FnuQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=x-gm-message-state:from:to:cc:subject:organization:references:date
 :in-reply-to:message-id:user-agent:mime-version;
 bh=+5U2WSWCzvEw3Oz0dF74oagO6ucqeQe6KQkJXlzHDHw=;
 b=V+5ShzvLPIvdKMMbLYkznYd4K0AN3xI/uFo3rxDG70REFiGVI1ZLwvJYLxEGChk3Cc
 TlnI0rSbix8DIPTIWh3/we0M/atfSUg3XDGTgaYrN+jOJa6jaIHIK3dlY4+bqwXoA3yf
 sBlcXK9KLVAc7IWrzVj3j8WfiekfRtnv/capV3IvFxklEkS/+HT2DFymW5QrmnD0VQtD
 sXFn/LkgOxAerqMnhn3LyxCQUZvgvevcrMhivp4BguNE84yJCp1Ny+f/uNCXWU5Dyvgm
 hbqcHBQilEsU7LcIrvJSj9Tj0bjuu2Y2G8Wn4Ed+tAP/afiFuBPADVsmPpJx48xBYIx0
 HAew==
X-Gm-Message-State: AOAM531Zu1ooN7HE1nLNGV+8on5sS6y0S8iGKEIUaj2lHyagSXpKnnxX
 /t0390qas5qfA85nWK9MkmQ=
X-Google-Smtp-Source: ABdhPJzoK+AMWGLwrZukt9hgOI/74Tr65pL8TWUNv6YJf7KM8c3TcwvvnxxDLBoxaKDhbUY1kWWvzw==
X-Received: by 2002:a05:600c:384c:: with SMTP id
 s12mr10029758wmr.165.1639081280290; 
 Thu, 09 Dec 2021 12:21:20 -0800 (PST)
Received: from aspire-5942
 (p200300d8672a5800fce6f3c372e65c8f.dip0.t-ipconnect.de.
 [2003:d8:672a:5800:fce6:f3c3:72e6:5c8f])
 by smtp.gmail.com with ESMTPSA id u15sm609932wmq.13.2021.12.09.12.21.19
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Thu, 09 Dec 2021 12:21:19 -0800 (PST)
From: Marco Wahl <marcowahlsoft@HIDDEN>
To: Juri Linkov <juri@HIDDEN>
Subject: Re: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Organization: Marco Wahl
References: <87mtlaiolq.fsf@HIDDEN> <86y24utam5.fsf@HIDDEN>
Date: Thu, 09 Dec 2021 21:21:14 +0100
In-Reply-To: <86y24utam5.fsf@HIDDEN> (Juri Linkov's message of "Thu, 
 09 Dec 2021 11:01:54 +0200")
Message-ID: <87wnkda5s5.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 52383
Cc: 52383 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

Juri Linkov <juri@HIDDEN> writes:

>> BTW function `seq-set-equal-p' could be rewritten using
>> `seq-set-subset-p'.
>
> Isn't the word "set" redundant in the name?
> In `seq-set-equal-p' the word "set" is needed
> to say "is set equal".  But in `seq-set-subset-p'
> the word "set" doesn't add much meaning, so better
> would be to name your new function just `seq-subset-p'.

Agreed.

The motivation for the suggested name `seq-set-subset-p' was to stay
close to the name `seq-set-equal-p'.  A user could interpret the prefix
"seq-set" as hint that the function implements a set operation.


Thanks!




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#52383; Package emacs. Full text available.

Message received at 52383 <at> debbugs.gnu.org:


Received: (at 52383) by debbugs.gnu.org; 9 Dec 2021 09:04:53 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Thu Dec 09 04:04:53 2021
Received: from localhost ([127.0.0.1]:42426 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1mvFMC-0008NR-FF
	for submit <at> debbugs.gnu.org; Thu, 09 Dec 2021 04:04:52 -0500
Received: from relay5-d.mail.gandi.net ([217.70.183.197]:60287)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <juri@HIDDEN>) id 1mvFLx-0008Mz-HV
 for 52383 <at> debbugs.gnu.org; Thu, 09 Dec 2021 04:04:51 -0500
Received: (Authenticated sender: juri@HIDDEN)
 by relay5-d.mail.gandi.net (Postfix) with ESMTPSA id 61C631C0009;
 Thu,  9 Dec 2021 09:04:29 +0000 (UTC)
From: Juri Linkov <juri@HIDDEN>
To: Marco Wahl <marcowahlsoft@HIDDEN>
Subject: Re: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Organization: LINKOV.NET
References: <87mtlaiolq.fsf@HIDDEN>
Date: Thu, 09 Dec 2021 11:01:54 +0200
In-Reply-To: <87mtlaiolq.fsf@HIDDEN> (Marco Wahl's message of "Thu, 09 Dec
 2021 01:55:13 +0100")
Message-ID: <86y24utam5.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (x86_64-pc-linux-gnu)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 52383
Cc: 52383 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.7 (-)

> BTW function `seq-set-equal-p' could be rewritten using
> `seq-set-subset-p'.

Isn't the word "set" redundant in the name?
In `seq-set-equal-p' the word "set" is needed
to say "is set equal".  But in `seq-set-subset-p'
the word "set" doesn't add much meaning, so better
would be to name your new function just `seq-subset-p'.




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#52383; Package emacs. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 9 Dec 2021 00:55:33 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Wed Dec 08 19:55:33 2021
Received: from localhost ([127.0.0.1]:41932 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1mv7if-0008TS-1z
	for submit <at> debbugs.gnu.org; Wed, 08 Dec 2021 19:55:33 -0500
Received: from lists.gnu.org ([209.51.188.17]:35806)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <marcowahlsoft@HIDDEN>) id 1mv7id-0008TK-5g
 for submit <at> debbugs.gnu.org; Wed, 08 Dec 2021 19:55:32 -0500
Received: from eggs.gnu.org ([209.51.188.92]:48160)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <marcowahlsoft@HIDDEN>)
 id 1mv7ic-0005us-Tb
 for bug-gnu-emacs@HIDDEN; Wed, 08 Dec 2021 19:55:30 -0500
Received: from [2a00:1450:4864:20::433] (port=41796
 helo=mail-wr1-x433.google.com)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <marcowahlsoft@HIDDEN>)
 id 1mv7ia-0000Ms-Py
 for bug-gnu-emacs@HIDDEN; Wed, 08 Dec 2021 19:55:30 -0500
Received: by mail-wr1-x433.google.com with SMTP id a9so7022685wrr.8
 for <bug-gnu-emacs@HIDDEN>; Wed, 08 Dec 2021 16:55:28 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112;
 h=from:to:subject:date:message-id:user-agent:mime-version;
 bh=3BQlghGEB57VKo/5qoLCvJpJQcCVpPYotcgusHOdqaM=;
 b=GNXZg3hJbFn/Pw29ojoS9brBY7uyGLPUyWCFtnIolPWD+78Ld6eUw4ln72K9QoGmS4
 WtoKGuD8e5lMUzQETTFWgS925rj35f+vUgcb3Y8pEUh1JWfXDeQwYWE5bsnhho/R/wWi
 ULxfwUlZtzQsQ4whQU/HAiJgDtWZJL2Fv4SmfL3dVDXZrTLc0dopGtMGIKRtZ+0WxFmX
 A91N/BxSt2X7vsTun1/rpr3fMk1Yughn7hBeueP5/uvyAoLa1GFm80aOAJ9BYkPQemLa
 1HaKva6evkpOWbZzvnJQhFslOPW7+xXPk4jWbZnioyy6qRvkgKB+1anZk73fjP/L+5mt
 fL6g==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=x-gm-message-state:from:to:subject:date:message-id:user-agent
 :mime-version;
 bh=3BQlghGEB57VKo/5qoLCvJpJQcCVpPYotcgusHOdqaM=;
 b=0Q5y9O17Ms5Wfga+UE1td3CoEEfvLXPlcqksMEpfDMiD4IPT7gql3VPnIhk2r2YWY7
 kYyNcKeWOgYKnWZSwbhcf6cvBDxtvgV9ZWyO0bQ26JgS4Sab+SG11PTnR5z160PZJ2Xz
 hCNRLFt7svN/U7k3R8qxaEkpvyLWLozZuG7vxsovCTsq1YtXqbKLk1pqNsSgXhy239G6
 Y6Z+lj/Gsb4Ev77QhVZS3pXmH+x11RuhirzYysPRHnlpsjLUVEWyJGwaHevL2SoaV10s
 fWO8/FNzIC/oMoFdrut/BumwoTibRKwFKEVfLUn9wZPH2365jWJsphse+uYndMf7KusG
 YVJQ==
X-Gm-Message-State: AOAM5335xEJGy1pGeLINm6SPPXb6dOcRqbknD9vHkBvybrfFs3aRafU8
 ReSlHzKUrNqdzsxppS6OE0Y=
X-Google-Smtp-Source: ABdhPJzBJUhZ88yS/wjIFV6cLSVROxjnX9bzLBiht5h1iaiWqAUJUShe0y52pJzkrFJtlJaZVnSyMA==
X-Received: by 2002:a5d:4904:: with SMTP id x4mr2562958wrq.139.1639011327392; 
 Wed, 08 Dec 2021 16:55:27 -0800 (PST)
Received: from aspire-5942
 (p200300d8672ad100d9d34d92924874ed.dip0.t-ipconnect.de.
 [2003:d8:672a:d100:d9d3:4d92:9248:74ed])
 by smtp.gmail.com with ESMTPSA id e8sm3987851wrr.26.2021.12.08.16.55.26
 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256);
 Wed, 08 Dec 2021 16:55:27 -0800 (PST)
From: Marco Wahl <marcowahlsoft@HIDDEN>
To: bug-gnu-emacs@HIDDEN
Subject: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Date: Thu, 09 Dec 2021 01:55:13 +0100
Message-ID: <87mtlaiolq.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::433
 (failed)
Received-SPF: pass client-ip=2a00:1450:4864:20::433;
 envelope-from=marcowahlsoft@HIDDEN; helo=mail-wr1-x433.google.com
X-Spam_score_int: -12
X-Spam_score: -1.3
X-Spam_bar: -
X-Spam_report: (-1.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 PDS_HP_HELO_NORDNS=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793,
 SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -2.3 (--)


I suggest adding seq-set-subset-p to seq.el to realize the typical math
subset predicate.

(cl-defgeneric seq-set-subset-p (sequence1 sequence2 &optional testfn)
  "Return non-nil if the elements of SEQUENCE1 are contained in SEQUENCE2.
This does not depend on the order of the elements.
Equality is defined by TESTFN if non-nil or by `equal' if nil."
  (seq-every-p (lambda (item1) (seq-contains-p sequence2 item1 testfn)) sequence1))

;; test:
(should (seq-set-subset-p "ab" "abc"))
(should (seq-set-subset-p "ba" "abc"))
(should-not (seq-set-subset-p "dabc" "abc"))


That functionality is missing AFAICS.

The function could be placed naturally between the functions `seq-contains-p'
and `seq-set-equal-p'.

BTW function `seq-set-equal-p' could be rewritten using
`seq-set-subset-p'.


Thanks for reading,
-- 
Marco




Acknowledgement sent to Marco Wahl <marcowahlsoft@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-gnu-emacs@HIDDEN. Full text available.
Report forwarded to bug-gnu-emacs@HIDDEN:
bug#52383; Package emacs. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Sat, 11 Dec 2021 01:45:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.