From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2967C7EEBF for ; Thu, 6 Aug 2015 11:23:55 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of goswin-v-b@web.de) identity=pra; client-ip=212.227.17.12; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of goswin-v-b@web.de designates 212.227.17.12 as permitted sender) identity=mailfrom; client-ip=212.227.17.12; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="goswin-v-b@web.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.17.12; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="goswin-v-b@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BIAQDTJsNVnAwR49RbhFjFFgKBR0wBAQEBAQESAQEBAQEGDQkJIS6EJAEBBDpPCxgJJQ8FDRs0iBgBAxbGdx8rDYVCAQsgi0+CT4JBF4MBgRQBBJF9gwSKbIFpiFIMiWKHMYQlbYJMAQEB X-IPAS-Result: A0BIAQDTJsNVnAwR49RbhFjFFgKBR0wBAQEBAQESAQEBAQEGDQkJIS6EJAEBBDpPCxgJJQ8FDRs0iBgBAxbGdx8rDYVCAQsgi0+CT4JBF4MBgRQBBJF9gwSKbIFpiFIMiWKHMYQlbYJMAQEB X-IronPort-AV: E=Sophos;i="5.15,622,1432591200"; d="scan'208";a="172832835" Received: from mout.web.de ([212.227.17.12]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 06 Aug 2015 11:23:54 +0200 Received: from frosties.localnet ([95.208.221.151]) by smtp.web.de (mrweb101) with ESMTPSA (Nemesis) id 0MCqsR-1ZVDTt09GV-009d5n for ; Thu, 06 Aug 2015 11:23:54 +0200 Received: from mrvn by frosties.localnet with local (Exim 4.84) (envelope-from ) id 1ZNHOz-0004TT-Bq for caml-list@inria.fr; Thu, 06 Aug 2015 11:23:53 +0200 Date: Thu, 6 Aug 2015 11:23:53 +0200 From: Goswin von Brederlow To: caml-list@inria.fr Message-ID: <20150806092352.GC16477@frosties> References: <55BF6F1C.3050705@bioquant.uni-heidelberg.de> <55BF75F6.1040006@bioquant.uni-heidelberg.de> <8E1A640CE3374EB492981ADB0A2DA5C6@erratique.ch> <20150804092633.GC5689@frosties> <5C2023F4AF0549F58F3E4C9A6F8ABE84@erratique.ch> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.23 (2014-03-12) X-Provags-ID: V03:K0:I6/UEFIhyDNE3maL7uKGb46Uwsxkw46IE3lJ96iE2Hv3C+1ishg 5rzgBprVQBHN5C3DMQ5O1T81q25rxOL2mfrlChVovT9hCJKS8ZlfOqlgFlLwvmltrWNVSX/ v6fcBnoBs9kn/hgYJZf8UDL1UOEsqupzHoWuNcMJo1tsMuBNbIUcF0Ed23wNDK+LEO8Bd/l SjYX6YJhI3fSQLQVu9sJA== X-UI-Out-Filterresults: notjunk:1;V01:K0:iTkAm7XCbfo=:HwhUpWX1D6+MrWDkzaia9V omyPw3eL5CjqWRU90K7Lzv0z4yAl0yvRfPDpZ90Dl6YKHyQRid3Jsa4gNcO2ljBsMW2/8oi5y Ij664xU05qmWJ6H7O0MOmoD2GEqA+0VvvmSpc70THgStTsEMzn11y50ombaet6dfA+d9+mqmc dVtp6zbBlsIWijjOsK1D+n82yLwz0yBXpVsmIQ9S2WeEoYyODEHLgMjhVSwKQijlnX+MSoIJe GveCt7WoypHxyBBfnUoiK9rF1TM66ooX1xI2WvbXtZ82WR/QVjCuAWBOnEnc2AWn/Iz2v/wLV ACqnfJs3YQ/erZi1HLsacPfbDuXWBzYsYKZvk8daFwfhcU4Usfnx8gg3LgBaOUhm8njo0q6Ar EcR5Px0jtIc8RuqKQ+rR2fTINI8dZChUqwIcVQ9FNcuZm9HpsfEfBleE40z4o/kzmuwWNWcwE POWLJDel3w35uu92MVgUODAmywIxokyQSs29nJXBotkuS0y4LRmDOdY8LLs2p1wdl4ZIcGVKr gfReRmYamThUyckSbeS/Yn60nR8037uhysJeRERRzk/QMARBKcxUt+llQsWXZeVA21w7ZFsdK /4rc3om9vDkcmEs3wwLTkU/g3BGnakHCMzTafVZkCXPwgOHYHpqURSYdYzOYoLQAfpGptx8Bl BIE5Ap4Q5R90k3flvm1OEEshA9r5rDGOxLDsZP0MZcYXPeg== Subject: Re: [Caml-list] destructive local opens On Tue, Aug 04, 2015 at 12:26:11PM +0000, vrotaru.md@gmail.com wrote: > After reading this thread, I'm starting to thinking about another option, > namely: "local un-open", because I certainly dislike ambiguity. > > So, maybe, something like: > > Vec.( ^(3 * v) * vx + vy) > > where anything in ^(... ) is not subject local open. > > Regards In that the '*' oeprator would not come from Vec, which would make it fail. And: Vec.( 3 * ^(v) * ^(vx) + ^(vy)) Looks horrible. MfG Goswin