GNU logs - #52383, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Resent-From: Marco Wahl <marcowahlsoft@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 09 Dec 2021 00:56:02 +0000
Resent-Message-ID: <handler.52383.B.163901133332582 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 52383 <at> debbugs.gnu.org
From: Marco Wahl <marcowahlsoft@HIDDEN>
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
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-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

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Marco Wahl <marcowahlsoft@HIDDEN>
Subject: bug#52383: Acknowledgement (29.0.50; [suggestion] Add
 seq-set-subset-p to seq.el)
Message-ID: <handler.52383.B.163901133332582.ack <at> debbugs.gnu.org>
References: <87mtlaiolq.fsf@HIDDEN>
X-Gnu-PR-Message: ack 52383
X-Gnu-PR-Package: emacs
Reply-To: 52383 <at> debbugs.gnu.org
Date: Thu, 09 Dec 2021 00:56:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 52383 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
52383: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D52383
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Resent-From: Juri Linkov <juri@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 09 Dec 2021 09:05:02 +0000
Resent-Message-ID: <handler.52383.B52383.163904069332209 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Marco Wahl <marcowahlsoft@HIDDEN>
Cc: 52383 <at> debbugs.gnu.org
From: Juri Linkov <juri@HIDDEN>
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
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

> 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'.

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Resent-From: Marco Wahl <marcowahlsoft@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 09 Dec 2021 20:22:02 +0000
Resent-Message-ID: <handler.52383.B52383.16390812884505 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Juri Linkov <juri@HIDDEN>
Cc: 52383 <at> debbugs.gnu.org
From: Marco Wahl <marcowahlsoft@HIDDEN>
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
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

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!

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Resent-From: Juri Linkov <juri@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 09 Dec 2021 20:31:01 +0000
Resent-Message-ID: <handler.52383.B52383.16390818285395 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 52383
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Marco Wahl <marcowahlsoft@HIDDEN>
Cc: 52383 <at> debbugs.gnu.org
Received: via spool by 52383-submit <at> debbugs.gnu.org id=B52383.16390818285395
          (code B ref 52383); Thu, 09 Dec 2021 20:31:01 +0000
Received: (at 52383) by debbugs.gnu.org; 9 Dec 2021 20:30:28 +0000
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>
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-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'.

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Resent-From: Marco Wahl <marcowahlsoft@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 09 Dec 2021 21:24:01 +0000
Resent-Message-ID: <handler.52383.B52383.163908499610147 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 52383
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Juri Linkov <juri@HIDDEN>
Cc: 52383 <at> debbugs.gnu.org
Received: via spool by 52383-submit <at> debbugs.gnu.org id=B52383.163908499610147
          (code B ref 52383); Thu, 09 Dec 2021 21:24:01 +0000
Received: (at 52383) by debbugs.gnu.org; 9 Dec 2021 21:23:16 +0000
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>
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-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.

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Resent-From: Michael Heerdegen <michael_heerdegen@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 10 Dec 2021 01:46:01 +0000
Resent-Message-ID: <handler.52383.B52383.163910073327570 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 52383
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Marco Wahl <marcowahlsoft@HIDDEN>
Cc: 52383 <at> debbugs.gnu.org
Received: via spool by 52383-submit <at> debbugs.gnu.org id=B52383.163910073327570
          (code B ref 52383); Fri, 10 Dec 2021 01:46:01 +0000
Received: (at 52383) by debbugs.gnu.org; 10 Dec 2021 01:45:33 +0000
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>
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-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.

Message sent to bug-gnu-emacs@HIDDEN:

X-Loop: help-debbugs@HIDDEN
Subject: bug#52383: 29.0.50; [suggestion] Add seq-set-subset-p to seq.el
Resent-From: Lars Ingebrigtsen <larsi@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 10 Dec 2021 12:02:01 +0000
Resent-Message-ID: <handler.52383.B52383.163913769023687 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 52383
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: Michael Heerdegen <michael_heerdegen@HIDDEN>
Cc: 52383 <at> debbugs.gnu.org, Marco Wahl <marcowahlsoft@HIDDEN>
Received: via spool by 52383-submit <at> debbugs.gnu.org id=B52383.163913769023687
          (code B ref 52383); Fri, 10 Dec 2021 12:02:01 +0000
Received: (at 52383) by debbugs.gnu.org; 10 Dec 2021 12:01:30 +0000
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>
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-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

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

Received: (at control) by debbugs.gnu.org; 11 Dec 2021 01:30:06 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Dec 10 20:30:06 2021
Received: from localhost ([127.0.0.1]:48228 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1mvrDC-0003sf-G6
	for submit <at> debbugs.gnu.org; Fri, 10 Dec 2021 20:30:06 -0500
Received: from mail-pl1-f170.google.com ([209.85.214.170]:45995)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <stefankangas@HIDDEN>) id 1mvrD8-0003rK-Vy
 for control <at> debbugs.gnu.org; Fri, 10 Dec 2021 20:30:05 -0500
Received: by mail-pl1-f170.google.com with SMTP id b11so7388812pld.12
 for <control <at> debbugs.gnu.org>; Fri, 10 Dec 2021 17:30:02 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=x-gm-message-state:from:mime-version:date:message-id:subject:to;
 bh=iTohaqtT1k7Atax4ChXpCdem7pemVCwPDpE0r9N+eXs=;
 b=CiTD3Q5kATD93LfIpEFLNZRpb/QUnccKj429r+B8nBGEilvaF4JyHwIesIHMu6Aop0
 OAuwYgfMxKqr3SrcinYKihaW1959tI30BKN4PaxPxRJPFp2aHiDvIfHWPdhd3w49ssQt
 443ty7wG4l4PUZoFku9fQrmGw/JiR6q/ADLK5ztlikqCrfNEvSsKWmE9CGrkmmWmr8ph
 Xu5/fHzd8SSTT2HIJpKOwnRfbl7++bRKOCEoU7LypAiRe0lCRucw5PeJnoP8ohYv56Cf
 XXtSh3r/RykIh5A+/A4XsWh8ovND6RtmgSPYQ28xiJZcrydYXmrkw+0xI0w6+gDlV8Nl
 kUgw==
X-Gm-Message-State: AOAM530xfhnzIXWP62iT08tmcRN19VCPlIvGTtV3bFuXRGnU7+QHQUsJ
 0NXoBQvMTS4r9eRiNeXNCHPtvrzC73eP2HcqokZiYLah
X-Google-Smtp-Source: ABdhPJzRUxcdrXyUUYRQNMGu2ssEsl+Nof1BjZbiZDTXi6hZ0UMegDtVzpxe17h/pRRrh0wS6csW+2M5sJAWCwYfcHQ=
X-Received: by 2002:a17:90b:1e0e:: with SMTP id
 pg14mr27904215pjb.143.1639186197216; 
 Fri, 10 Dec 2021 17:29:57 -0800 (PST)
Received: from 753933720722 named unknown by gmailapi.google.com with
 HTTPREST; Sat, 11 Dec 2021 01:29:56 +0000
From: Stefan Kangas <stefan@HIDDEN>
MIME-Version: 1.0
Date: Sat, 11 Dec 2021 01:29:56 +0000
Message-ID: <CADwFkmmwNfy_HG5==PjTsVmqkYDeb2XEShb3cW86x1FR=WHrag@HIDDEN>
Subject: control message for bug #52383
To: control <at> debbugs.gnu.org
Content-Type: text/plain; charset="UTF-8"
X-Spam-Score: 0.5 (/)
X-Debbugs-Envelope-To: control
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: -0.5 (/)

severity 52383 wishlist
quit

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.