From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/116749 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Hans Hagen via ntg-context Newsgroups: gmane.comp.tex.context Subject: Re: Math bug (maybe) - prime Date: Wed, 28 Dec 2022 00:27:39 +0100 Message-ID: <5d65daaa-0aab-8415-b4c2-d130e5cecea3@freedom.nl> References: <20221227103333.162073b9@boo.my.domain> Reply-To: mailing list for ConTeXt users Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="7639"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Hans Hagen To: ntg-context@ntg.nl Original-X-From: ntg-context-bounces@ntg.nl Wed Dec 28 00:28:05 2022 Return-path: Envelope-to: gctc-ntg-context-518@m.gmane-mx.org Original-Received: from zapf.boekplan.nl ([5.39.185.232] helo=zapf.ntg.nl) by ciao.gmane.io with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1pAJMa-0001oD-RV for gctc-ntg-context-518@m.gmane-mx.org; Wed, 28 Dec 2022 00:28:04 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 544F3380007; Wed, 28 Dec 2022 00:27:44 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at zapf.boekplan.nl Original-Received: from zapf.ntg.nl ([127.0.0.1]) by localhost (zapf.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id nhRJkNByPhu9; Wed, 28 Dec 2022 00:27:42 +0100 (CET) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id D48B2380131; Wed, 28 Dec 2022 00:27:42 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 6E377380131 for ; Wed, 28 Dec 2022 00:27:41 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at zapf.boekplan.nl Original-Received: from zapf.ntg.nl ([127.0.0.1]) by localhost (zapf.ntg.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Qp79u5TXm3Ip for ; Wed, 28 Dec 2022 00:27:40 +0100 (CET) Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=185.233.34.20; helo=outbound.soverin.net; envelope-from=j.hagen@freedom.nl; receiver= Original-Received: from outbound.soverin.net (outbound.soverin.net [185.233.34.20]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) (No client certificate requested) by zapf.ntg.nl (Postfix) with ESMTPS id D20E6380007 for ; Wed, 28 Dec 2022 00:27:40 +0100 (CET) Original-Received: from smtp.freedom.nl (c04smtp-lb01.int.sover.in [10.10.4.74]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (No client certificate requested) by outbound.soverin.net (Postfix) with ESMTPS id 4NhW644VCHz85 for ; Tue, 27 Dec 2022 23:27:40 +0000 (UTC) Original-Received: from smtp.freedom.nl (smtp.freedom.nl [10.10.4.108]) by freedom.nl (Postfix) with ESMTPSA id 4NhW632T75zKZ for ; Tue, 27 Dec 2022 23:27:39 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=freedom.nl; s=default; t=1672183660; bh=5IxdlJ5bJyg+0iMUbpjkGfjpNHYgY+tGtf5qcSJCkwo=; h=Date:Subject:To:References:From:In-Reply-To:From; b=EfkyWTves00t9OAIlaxJL+0Y0GzmZPvf+yJUwtMZltSkq9qnJTCLAMu6YSD82P07r JWgAnr+U3W6cbPTEK3G9+5gH/InHNGv2mhLWilfJB/LKH9NX6jXLBDAuJGqsPhKHRF 46wN0bJ9RUAU6ZCK38tEvHb0hfDO5SilhQCS0vTA= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freedom.nl; s=default; t=1672183660; h=from:from:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=pwWwMg8o1QkaQdbIsjKvZdBvHL+fhHUnpgeGL8xnN7A=; b=rQy2p4vXotHxmdeckLmtzf4H34UFwUgLCnulx30JvNdvq1YJ8XbrdG8qKDJGcW1nVMSDkv /MGiS85DGotAYs4aXf96Fmph6uUFwXjea/HOiXWMd6t3xYa58Ryk816P6fDEejoqhDWQGh 9Zzuu6U9wuG6Qke9CA6qZBBckMYGTI8= ARC-Authentication-Results: i=1; smtp.freedom.nl; auth=pass smtp.mailfrom=j.hagen@freedom.nl ARC-Seal: i=1; s=default; d=freedom.nl; t=1672183660; a=rsa-sha256; cv=none; b=j/KK60SROvTPt6GA1A7jexDIaC1kHc6UxUrq7EvB7K0T2kPMmw5XEWtaAElrOw1OiBlUnz iGv3FY2K1KhrE2+rJ64P7o5RbpPOZbmlyHQPw5UF7WUSh/PE1bgTJkRsSnue0X90aoY8L7 0daWx2UGfaNeB27JOqn8uwR/JmJoIz8= Content-Language: en-US X-Soverin-Authenticated: true In-Reply-To: <20221227103333.162073b9@boo.my.domain> X-BeenThere: ntg-context@ntg.nl X-Mailman-Version: 2.1.26 Precedence: list List-Id: mailing list for ConTeXt users List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: ntg-context-bounces@ntg.nl Original-Sender: "ntg-context" Xref: news.gmane.io gmane.comp.tex.context:116749 Archived-At: T24gMTIvMjcvMjAyMiA2OjMzIFBNLCBBbGFuIEJyYXNsYXUgdmlhIG50Zy1jb250ZXh0IHdyb3Rl Ogo+IE1XRToKPiAKPiBcc3RhcnR0ZXh0Cj4gCj4gJGFeMuKAsiQKPiAKPiAkYeKAsl4yJAo+IAo+ ICRcbWF0aG9yZHth4oCyfV4yJAo+IAo+ICRhXipeMiQKPiAKPiBcc3RvcHRleHQKPiAKPiAKPiBT aG91bGQgdGhlIFxtYXRob3Jke30gYmUgbmVjZXNzYXJ5IHRvIGdldCB0aGUgZGVzaXJlZCByZXN1 bHQ/Cj4gKEkgd291bGQgZXhwZWN0IHRoZSBzZWNvbmQgbGluZSB0byB3b3JrLCBqdXN0IGxpa2Ug JGFeKl4yJC4pCnByaW1lcyBhcmUga2luZCBvZiBzcGVjaWFsIGFuZCBhIHBhaW4gaW4gdGV4Cgot IHRyYWRpdGlvbmFsIHRleCBzZWVzIHRoZW0gYXMgc3VwZXJzY3JpcHRzIGFuZCB0aGVyZWZvcmUg ZXhwZWN0cyBzb2VtIAphY3RpdmUgY2hhcmFjdGVyIGFuZCBwYXJzaW5nIG1hZ2ljayBmb3Igc3Vj Y2Vzc2l2ZSBzY3JpcHRzCi0gdGhhdCBhc3N1bWVzIGEgc3BlY2lhbCB3YXkgb2YgaGF2aWduIHRo ZXNlIHByaW1lcyBpbiB0aGUgZm9udCAocmVhZDogCmlzIGl0IGEgdGV4dCBzaXplIHRoaW5nIGFs cmVhZHkgcmFpc2VkIG9yIGEgc2NyaXB0IG9uZSBub3QgeWV0IHJhaXNlZCkKLSBpdCBhbHNvIHNv cnQgb2Ygc3BvaWxzIHNwYWNpbmcgKGFzIG9uZSBjYW4gZW5kIHVwIHdpdGggYW4gZW1wdHkgCm51 Y2xldXMgaW5zZXJ0ZWQpCi0gaW4gbWtpdiB3ZSB1c2UgZGlmZmVyZW50IG1hZ2ljayB0aGFuIGlu IG1raWkKCmFueXdheSwgaW4gbG10eCAobHVhbWV0YXRleCkgcHJpbWVzIGhhdmUgYmVlbiBwcm9t b3RlZCB0byBmaXJzdCBjbGFzcyAKY2l0aXplbnMgd2hpY2ggbWVhbnMgdGhhdCBhIG51Y2xldXMg Y2FuIGhhdmUKCi0gc3VwZXIocG9zdClzY3JpcHQKLSBzdWIocG9zdClzY3JpcHQKLSBzdXBlcnBy ZXNjcmlwdAotIHN1YnByZXNjcmlwdAotIHByaW1lCgphbmQgZWFjaCBjb21lcyB3aXRoIHNwYWNp bmcgYW5kIHBvc2l0aW9uaW5nIHByb3BlcnRpZXMgY2Ygb3BlbnR5cGUgYW5kIApvdXIgb3duIGFk ZGl0aW9ucyBmb3IgdGhlIHByZS9wcmltZSkKCnRoZXJlIGlzIHNvbWUgbWFnaWNrIHdydCBzdWJz Y3JpcHRzIGFzIHRoZXNlIG9mdGVuIGFyZSBpbmRpY2VzICh3aGljaCBpcyAKd2h5IHdlIGhhdmUg Zm9yIGluc3RhbmNlIF5eXiBhbmQgX19fIHRvbykKCldoYXQgeW91IGNhbiBkbyBpczoKCiRccHJp bWVke2F9XjIkCgp3aGljaCBiYXNpY2FsbHkgbWFrZXMgdGhlIHByaW1lIGFuIG9wZXJhdGlvbiAu LiBhIHNtYWxsIHByaWNlIHRvIHBheSBmb3IgCm1vcmUgcm9idXN0IGhhbmRsaW5nIG9mIHByaW1l cyAoYWxzbyBhY3Jvc3MgZm9udHMpCgpIYW5zCgotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQogICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgSGFucyBIYWdlbiB8IFBSQUdNQSBBREUKICAgICAgICAg ICAgICAgUmlkZGVyc3RyYWF0IDI3IHwgODA2MSBHSCBIYXNzZWx0IHwgVGhlIE5ldGhlcmxhbmRz CiAgICAgICAgdGVsOiAwMzggNDc3IDUzIDY5IHwgd3d3LnByYWdtYS1hZGUubmwgfCB3d3cucHJh Z21hLXBvZC5ubAotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLQoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KSWYgeW91ciBx dWVzdGlvbiBpcyBvZiBpbnRlcmVzdCB0byBvdGhlcnMgYXMgd2VsbCwgcGxlYXNlIGFkZCBhbiBl bnRyeSB0byB0aGUgV2lraSEKCm1haWxsaXN0IDogbnRnLWNvbnRleHRAbnRnLm5sIC8gaHR0cHM6 Ly93d3cubnRnLm5sL21haWxtYW4vbGlzdGluZm8vbnRnLWNvbnRleHQKd2VicGFnZSAgOiBodHRw czovL3d3dy5wcmFnbWEtYWRlLm5sIC8gaHR0cDovL2NvbnRleHQuYWFuaGV0Lm5ldAphcmNoaXZl ICA6IGh0dHBzOi8vYml0YnVja2V0Lm9yZy9waGcvY29udGV4dC1taXJyb3IvY29tbWl0cy8Kd2lr aSAgICAgOiBodHRwczovL2NvbnRleHRnYXJkZW4ubmV0Cl9fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fCg==