Subject: Ssreflect Users Discussion List
List archive
- From: Florent Hivert <>
- To: "" <>
- Subject: Re: [ssreflect] Debugging canonicals
- Date: Mon, 16 Dec 2019 23:59:58 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
- Ironport-phdr: 9a23:eUuyvh9pngcAwf9uRHKM819IXTAuvvDOBiVQ1KB41+IcTK2v8tzYMVDF4r011RmVBN6dsaoawLKK+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhGiTanf79+MBS7oQrNusQZnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRRn1gykFKjE56nnahMJwgqxFvRyvpBJ/zIHIb46INvVxcLjQfc8GSWZdQspdSzZMDp26YoASD+QBJ+FYr4zlqlUOqRu+AhOsC/3pyj9Um3T436w60/o/HgHcwAwrAtUDvnTQrNXyLqcdT+a1zLXSwTvBbvNWxyny6JLUch06pfGMR7NwfdDfyUk1Dg7IiEibp4/9Pz6Ny+gBrWyW4/B9We+ti2MrsRx9rzi1yssxloXEgJ8exEre+iVj2ok1IMW1SE5lbt6gF5tdrySaOJF3QsMmXW5ptzo6xqcCuZ6hfSgG0ponxwTHZ/yGdYiH/A7jWf6MLTtmgH9pYq+zihSy/ES61+HxVtO43EtWoiZdl9nDrHEN1xjd6sidTft9+1+s1zaL1wDU8OFLP0Y0lbbBJ5Ajw74wiIQcsV7fHiLtnEX2lq6Wel8q+uiy8+jneKnppoeAN49ojQHzKr8umtelAesmPAgOW3aU9vig1LD45k34QLBKjuUsnaXDsZDaI94bpq+jDANP3IYj8UX3MzDzms8Dh3QJKF9OZDqClJKsOlfUIfm+DPGlgl3qni0hj6TdJafsDJHAJWTrlaz7OLd78U9Vjgs119FWoZxOXOIvOvX2D2H1s8bVCANxEw2qzvz7QIFT0oQEVGSTRI+YLq7IrXeM/ONpLfPaN9xdgyr0N/Vwv62mtnQ+g1JIJfD1j6tSU2ixG7FdG2vceWDl0oUFC2ZMsBBsFLW72m3HaiZaYjOJZ4x54zg6DIy8CoKTFIS3gfqPxnXiR8AEViV9ElmJVEzQWcCEVvMLMXzAJ8ZgljEUSf6lUY5n2wv87AI=
On Mon, Dec 16, 2019 at 08:09:57PM +0100, HiPerComb ANR Florent Hivert wrote:
> Dear all,
>
> In the following scenario, linearZ is not accepting an algebra morphisme
> between two R-algebras. How is this possible ?
The problem just vanished unexpectedly... Never mind.
Sorry for the noise.
Florent
- [ssreflect] Debugging canonicals, Florent Hivert, 12/16/2019
- Re: [ssreflect] Debugging canonicals, Florent Hivert, 12/17/2019
Archive powered by MHonArc 2.6.18.