From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.comp.tex.context/116756 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Mikael Sundqvist via ntg-context Newsgroups: gmane.comp.tex.context Subject: Re: Math bug (maybe) - prime Date: Wed, 28 Dec 2022 08:26:24 +0100 Message-ID: References: <20221227103333.162073b9@boo.my.domain> <5d65daaa-0aab-8415-b4c2-d130e5cecea3@freedom.nl> <20221227215813.129fd62d@boo.my.domain> Reply-To: mailing list for ConTeXt users Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="36576"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Mikael Sundqvist To: mailing list for ConTeXt users Original-X-From: ntg-context-bounces@ntg.nl Wed Dec 28 08:27:08 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 1pAQqB-0009KP-Js for gctc-ntg-context-518@m.gmane-mx.org; Wed, 28 Dec 2022 08:27:07 +0100 Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 66CBB380107; Wed, 28 Dec 2022 08:26:55 +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 kVSC2iMasWlY; Wed, 28 Dec 2022 08:26:53 +0100 (CET) Original-Received: from zapf.ntg.nl (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 7B50F380176; Wed, 28 Dec 2022 08:26:53 +0100 (CET) Original-Received: from localhost (localhost [127.0.0.1]) by zapf.ntg.nl (Postfix) with ESMTP id 60196380107 for ; Wed, 28 Dec 2022 08:26:52 +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 4aFGgyS234yu for ; Wed, 28 Dec 2022 08:26:51 +0100 (CET) Received-SPF: Pass (mailfrom) identity=mailfrom; client-ip=209.85.208.51; helo=mail-ed1-f51.google.com; envelope-from=mickep@gmail.com; receiver= Original-Received: from mail-ed1-f51.google.com (mail-ed1-f51.google.com [209.85.208.51]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits)) (No client certificate requested) by zapf.ntg.nl (Postfix) with ESMTPS id 1DE2B380105 for ; Wed, 28 Dec 2022 08:26:51 +0100 (CET) Original-Received: by mail-ed1-f51.google.com with SMTP id i9so21803524edj.4 for ; Tue, 27 Dec 2022 23:26:51 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :from:to:cc:subject:date:message-id:reply-to; bh=C15KI9cY+/AwRrlEWOr72IqukWelH3mu0E6gs5UOw9s=; b=FEzt68ZEH0eZFBCeN/ZuR+Z/nS917Fu96e/WGexsgQpJ1JOtG6vpNDLU5mIh9jB4xk TnwIPtYhxcE9k8vqJgFeh4KMhtROAa9uUvW1hKmyWuq1BBOaIxfVVJTmaqBExh2bAtXn oyW1FMzQ4TbAT1iB6YK0mss7FDBFf7wkqRL9Sy+toJVDYQpt0DYT4z6VYMJmXuU4Qq6S 1k5JnMTUnSo3ULr3SjMfMGsUsF0CD4ZnAHUVvdLeyhvrPlmDhkd/T3H8aZ9SFMmEUrg0 r9xe4F0QWzIGqgl5D13MiTXE+ZZvFmlKBubOXBnkX/B2FZ2w6uf9/a1sUxfTPtFZbW8J w1qA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:subject:message-id:date:from:in-reply-to:references:mime-version :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=C15KI9cY+/AwRrlEWOr72IqukWelH3mu0E6gs5UOw9s=; b=GP//Gc58BD16R3oYoqTk91ziFTkdV99FKxV+gtm4qw6Vb/veKYXAv/MD+DewWGUXKX aYKhHHoQJ7qFUDl7x7uP6x6K50VmpMF5de66o5j8DYTQMpX6CPxDDsTgwU5wCcvtIcao N6O6SBT61CzyyoBlvRJaLuNZUUAWfPtUo2P4Ke5FWhgNXSDi6oqF9VS7dqdhrbtnhA4p UxphtGm6koqDNO48aN82HQr31QTEwSVHzCM4yTBMDGGTu76RGqmVJFTzl792Km6oDlWu QyxRouSrtIHhruj3Qx1MV7xTeLS+Atzgzo7/lcLG6sKEuQoDhG2RlZBEiex+HK12fXpJ bfHg== X-Gm-Message-State: AFqh2ko8wDq7ib7TnFgKd7wROn4b8fHCLb3Hkbz8K74HoZsoDqzl4WBb 2lv52gXyYFV+oBwE1BEtrHeqGu4pjgTox8tTde3LdKBq X-Google-Smtp-Source: AMrXdXvZGVx9G5w9ubd5llQXTIqU/G92o6O+MAQgbrjbTT/Md78JAMbGooH/VpVh3LsJWUY5d63+JrstgMqTh929rpA= X-Received: by 2002:a05:6402:500f:b0:46a:e6e3:b3cf with SMTP id p15-20020a056402500f00b0046ae6e3b3cfmr2219755eda.333.1672212410537; Tue, 27 Dec 2022 23:26:50 -0800 (PST) In-Reply-To: <20221227215813.129fd62d@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:116756 Archived-At: T24gV2VkLCBEZWMgMjgsIDIwMjIgYXQgNTo1OCBBTSBBbGFuIEJyYXNsYXUgdmlhIG50Zy1jb250 ZXh0CjxudGctY29udGV4dEBudGcubmw+IHdyb3RlOgo+Cj4gT24gV2VkLCAyOCBEZWMgMjAyMiAw MDoyNzozOSArMDEwMAo+IEhhbnMgSGFnZW4gdmlhIG50Zy1jb250ZXh0IDxudGctY29udGV4dEBu dGcubmw+IHdyb3RlOgo+Cj4gPiBXaGF0IHlvdSBjYW4gZG8gaXM6Cj4gPgo+ID4gJFxwcmltZWR7 YX1eMiQKPiA+Cj4gPiB3aGljaCBiYXNpY2FsbHkgbWFrZXMgdGhlIHByaW1lIGFuIG9wZXJhdGlv biAuLiBhIHNtYWxsIHByaWNlIHRvIHBheQo+ID4gZm9yIG1vcmUgcm9idXN0IGhhbmRsaW5nIG9m IHByaW1lcyAoYWxzbyBhY3Jvc3MgZm9udHMpCj4KPiBJIGFudGljaXBhdGVkIHRoYXQgKHVuaWNv ZGUpIHByaW1lIGlzIGEgcGFpbiB0byBoYW5kbGUsIGdpdmVuIHRoYXQKPiBkaWZmZXJlbnQgZm9u dHMgcHJlc2VudCBpdCBkaWZmZXJlbnRseS4KPgo+ICRccHJpbWVke2F9Li4uJCBpcyBhIHZlcnkg cmVhZGFibGUgYW5kIHJlYXNvbmFibGUgc29sdXRpb24gKHVubGlrZQo+IFxtYXRob3Jke30sIHdo aWNoIHNlZW1zIHRvIGJlIGEgbWVzc3kgZml4KS4gSSB3aWxsIGxlYXJuIGFuZCB1c2UgdGhhdC4K Pgo+IFRoYW5rIHlvdSEKPgo+IEFsYW4KPgo+IFAuUy4gaW52ZXJ0aW5nIHRoZSBvcmRlciBvZiB0 aGUgImV4cG9uZW50cyIsIGlmIHByaW1lIGlzIHNvbWUgc29ydCBvZgo+IGV4cG9uZW50LCB3YXMg YSBzdXJwcmlzaW5nIHJlc3VsdC4KCkFsYW4sCgpOb3RlIHRoYXQgdGhlIDIgc2l0cyBoaWdoZXIg aW4KClxwcmltZWR7YX1eMgoKdGhhbiBpdCBkb2VzIGluCgooYScpXjIuCgpGb3IgcmVhZGFiaWxp dHksIEkgcmVhbGx5IHByZWZlciB0aGUgdmVyc2lvbiB3aXRoIHBhcmVudGhlc2VzLgoKL01pa2Fl bApfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fXwpJZiB5b3VyIHF1ZXN0aW9uIGlzIG9mIGludGVy ZXN0IHRvIG90aGVycyBhcyB3ZWxsLCBwbGVhc2UgYWRkIGFuIGVudHJ5IHRvIHRoZSBXaWtpIQoK bWFpbGxpc3QgOiBudGctY29udGV4dEBudGcubmwgLyBodHRwczovL3d3dy5udGcubmwvbWFpbG1h bi9saXN0aW5mby9udGctY29udGV4dAp3ZWJwYWdlICA6IGh0dHBzOi8vd3d3LnByYWdtYS1hZGUu bmwgLyBodHRwOi8vY29udGV4dC5hYW5oZXQubmV0CmFyY2hpdmUgIDogaHR0cHM6Ly9iaXRidWNr ZXQub3JnL3BoZy9jb250ZXh0LW1pcnJvci9jb21taXRzLwp3aWtpICAgICA6IGh0dHBzOi8vY29u dGV4dGdhcmRlbi5uZXQKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K