Bill Allombert on Fri, 29 Sep 2023 23:05:58 +0200
|
[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]
Re: bug in simplify_shallow
|
- To: pari-dev@pari.math.u-bordeaux.fr
- Subject: Re: bug in simplify_shallow
- From: Bill Allombert <Bill.Allombert@math.u-bordeaux.fr>
- Date: Fri, 29 Sep 2023 23:05:50 +0200
- Arc-authentication-results: i=1; smail; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1696021546; c=relaxed/relaxed; bh=SKWCaAEy3x7e5kFSO2Tpz0IMsNoZuLLjsCvPS9WC4wI=; h=DKIM-Signature:Date:From:To:Subject:Message-ID:Mail-Followup-To: References:MIME-Version:Content-Type:Content-Disposition: In-Reply-To; b=EOPRr7qWKq9JiVDXr3iDUoWpRSZIHTTDs1ACAvq/8OeVHjKCc+mikDrIS42+eofj8y6JxduZZLgY6fxcMbWmsPsAejYeBuzip0DwhfHNH0hKI1ocHoIGu1SWZhbO6KeVVm4TOotHe4uH5mIVYm+KQFJ21f6vx8/2Bq4/MlFSRKjbm6fkNnBenraKoSqYuwwW2LHkVsCgx1Kh3bhxfkp+CDXDBZMWWksmh1X03pRZi1tQBrIFaC7zpT2lH1w79RLnmXMbbYctThiXKTl6l88roFYkLjlweA1qyZnL7M7YJ5zF3XRI7fsXcBa8kJb2PqilTKGE4+7rx2MceqdeVTwj9Qy+J5wQf2W3Jq7FjfqT8w+TnHlmNHv5uP7BD2OfxNtvdHOuXJNoXgjkN+PnkdcKx3phpUzpgmtSBTcBAZSfvBdDTQ1eLv58p4bEMqfMNCwQfHOXtShrWA1EcX3LFwGn5pMaq6BjwZ1n3tFgTA1Aiq6xINLpKoeNy9uoHXFroMvAg5SvSJ1qivVoX10GrrETzwcBwhSbmZ3K4+iJPqVvWq6gIw5ASYPmIQlI2wwxRUg0e5HpbNsgLmycLV3g+YLT0WlupFkY96e0jaSCR8uhMJ0W6b4Pv9qIPelel0blm6pCp188l6T9YKgLtUsD6BmSIsRDRGHH5NiqC/XVj79TtIw=
- Arc-seal: i=1; a=rsa-sha256; d=math.u-bordeaux.fr; s=openarc; t=1696021546; cv=none; b=FnY2yQHO3p/FZ81A4zTi+9UKf9ytdEPgNogX0a47PGRBgZQStAHzupm1ubj5useP4jGrWfVn/mR8Wt+jg1EP2UiLc+7fJQ/qgSK9X07Wkn9flss+WEG9c0QbgSzxo7UdynAbG28y6XDEpB3fJswag7l9iBuKIkAShulqhZ6HKghISbALmDrA3DsnfPPXj24NxR2R+rGRFrwXFCvtUMUwQq68oSnf1sp4XLGqWuF5qhZSPifOFFDagOqENwl6Jk86WyrnpB9Ph2xJUGDSLC52z1DmOajOkFqjkUzL1LVUmJ5431H7A8zTI7RD1OpasQJ5GgsDIWGrgoji0hUg11WMKTxqAQ52t8AGF0Q7NyKJ6/7AXEGNZMSunx9ORDQ+OXpmHpia8oevS1LYjhr+zCuvwfx7vHF9RmPjZnDZ2MQ/3nuvYsrCagM5srhnvCAmzhOggvpNuz4ffSRQ+TQPmdKmDBL+mNNDOFiSMvvqDl/5TfEO3AeL/PgOPGRw8v6QOE5i95voC4us4LN4AXpT/CGE34zw5WvC2YHG1pJj2sYjsGaAJn48PzJAkpJF6k5GMgTJgTVqrOwJRCTtTWVWNwa1PL2R6ptuUsHPohtYa5MeCqGWro3ohf7R0p6r6z2C2Wx+rEEwCJAzOX6jvYZpyfMujqU/IORyjD8Wa4EmyD2v9Fk=
- Authentication-results: smail; arc=none
- Delivery-date: Fri, 29 Sep 2023 23:05:58 +0200
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=math.u-bordeaux.fr; s=2022; t=1696021546; bh=SKWCaAEy3x7e5kFSO2Tpz0IMsNoZuLLjsCvPS9WC4wI=; h=Date:From:To:Subject:References:In-Reply-To:From; b=haFXDPDFpCJxcT/U1FCHQXmtdFI9gvwnJjvyYa3Dd2rtH2iHk5k8XuSv3nXhsJX5O Z8j++8w1BwRTYTrbKzYFubdXHZ5Omc81Cf/Dctb4L6PVUoI6mXRS35N3IwUTyvf56k pw7RJtP0X34RQ0X0tZj4+QFnGum2bYDUvsJs12i8FMY4n3D58HGl9RGT/ayA14hpBe lIaWHO0zPeh17occeiBcCQbsPLWywZAX64H+hBolObFUYHUJ08iv/rKYCGUK/xBqqS r318LOk8VhiYY3IJnbnuxxummWMv3yx7vBi+b/tXVOjwmmh3IYPrycqzYjfKKrji39 2fuPDXuCwWFtzi3rVVDji2wE6Bnsfy7EOD6Az8vD1VHqN+332kshzk8kR/a3g4o520 /4teBGHKMhGwbeueZKscU9ZASO8qISwo7maPeSQrGdLhSve6vwCdjL/HuZl7UNxhbW oxmRJsHlQ5/Bv9oR7o5REsbCRcG4E8/z05fb7bLX/syOPKKmHl/nc73LO8HQ5HXDmB TEHf1/R/xMPHSFZSbitphUAi38vu7Brd4jlMTw4Uim3fA4kU+Vre63W2zyJS7iuNUX +97VW8Uj3nHv9ptaxRm9yrbxjf32kJ+0+SMB8URhOTnmOztyiz70g/2Z5a2c+P7DlQ sL7Jhtu42mYRfFZN5lxt7AGE=
- In-reply-to: <08b1111d-de4a-47e0-b802-69a5a0c2199e@isolution.nl>
- Mail-followup-to: pari-dev@pari.math.u-bordeaux.fr
- References: <1e144fa5-864d-450e-a109-1fac8300bf88@isolution.nl> <CANXmBjzx4t330CnCzz4TzMfPFVVYg+-T7iskqECzh_+_2G2ABw@mail.gmail.com> <ZOoCXdx+VmSoRmML@math.u-bordeaux.fr> <ZOtHFLdXr0FuLCzY@seventeen> <70235df6-488a-412a-b2c6-7c49d5898b99@isolution.nl> <ZOtaInkQQYBBw9C7@math.u-bordeaux.fr> <08b1111d-de4a-47e0-b802-69a5a0c2199e@isolution.nl>
On Sun, Aug 27, 2023 at 05:01:07PM +0200, Ruud H.G. van Tol wrote:
>
> On 2023-08-27 16:13, Karim Belabas wrote:
> > * Ruud H.G. van Tol [2023-08-27 15:42]:
> > > On 2023-08-27 14:58, Bill Allombert wrote:
> > > > [...]to be honest I did not remember that listput returned x and it is
> > > > not explicitly documented
> > > ? ??listput
> > > listput( list,x,{n}):
> > > [...] The function returns the inserted element.
> > What "the inserted element" means is ambiguous in the context of PARI's
> > memory model. What the implementation does is return a direct pointer to
> > the new list entry, that inserted element being a clone of the input x.
> >
> > What Bill and I suggested was to return "a copy of the inserted element"
> > instead. I don't really see a scenario where this would break
> > compatibility ... except this would make insertion about twice slower,
> > even in cases where the returned value is ignored.
>
> Yes, so I wondered if the "void calling context" is decidable at
> compile-time,
> such that any new overhead can be avoided where feasible.
Indeed there used to be a bug in the compiler that I just fixed
that caused it to fail to take the void context into account in
some case.
Cheers,
Bill