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 995467FCEF for ; Thu, 2 Apr 2015 21:36:26 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of agarwal1975@gmail.com) identity=pra; client-ip=74.125.82.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of agarwal1975@gmail.com designates 74.125.82.50 as permitted sender) identity=mailfrom; client-ip=74.125.82.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="agarwal1975@gmail.com"; 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@mail-wg0-f50.google.com) identity=helo; client-ip=74.125.82.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="agarwal1975@gmail.com"; x-sender="postmaster@mail-wg0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ANAgBgmR1VlDJSfUpcg1pcBYMQsmGPcYV9AoFFB0wBAQEBAQESAQEBAQcLCwkSMEECg1wBAQMBEhEdARsdAQMBCwYFBAEGNwICIQEBEQEFARwGEyKHeAEDCQgNqUM+MYs4gWuCd40nChknDVSEXgEBAQEGAQEBAQEXAQUOixuCR4IyB4JogUUFlF+EPoFNgVeMQoRlEiOBDAmELSIxgkMBAQE X-IPAS-Result: A0ANAgBgmR1VlDJSfUpcg1pcBYMQsmGPcYV9AoFFB0wBAQEBAQESAQEBAQcLCwkSMEECg1wBAQMBEhEdARsdAQMBCwYFBAEGNwICIQEBEQEFARwGEyKHeAEDCQgNqUM+MYs4gWuCd40nChknDVSEXgEBAQEGAQEBAQEXAQUOixuCR4IyB4JogUUFlF+EPoFNgVeMQoRlEiOBDAmELSIxgkMBAQE X-IronPort-AV: E=Sophos;i="5.11,512,1422918000"; d="scan'208";a="131370193" Received: from mail-wg0-f50.google.com ([74.125.82.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Apr 2015 21:36:26 +0200 Received: by wgdm6 with SMTP id m6so94996425wgd.2 for ; Thu, 02 Apr 2015 12:36:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=aNmL5rtcYrraIMNtIAk8frS5lV19tyjzIOjEPQczIts=; b=BMlNvHloIglg9BQPdRmGxefq3HZJZtUuNr5VkUGj4KDv284u6C/TfD6WtgDnzi1tGZ bOJHTf5de+26tawyKYJKGxWW336Kc8nfJMASzo+pahNBCQXbIJAuph/7CWtV7psdIeCx 2jm0v22YViPOCk62Efw134i2FjQsXay1C8ltM4zb6/9THgE4jGOohAkFOLaX5aTyHSxo qAkKLS5i6SN/KrNN3/E2GnjA1cvA1nHCmmHhNQ2L9eThTLwmEeC4FU6jA3Yv292Ul3Kg rtmueE0acbUpBmCC6P6zeC0jJxWWihvy7l0ggI6JuEWoUmha2T2kE6curCLHxnfx3N8j /vWw== X-Received: by 10.180.82.135 with SMTP id i7mr27736260wiy.85.1428003385962; Thu, 02 Apr 2015 12:36:25 -0700 (PDT) MIME-Version: 1.0 Received: by 10.27.45.17 with HTTP; Thu, 2 Apr 2015 12:36:05 -0700 (PDT) In-Reply-To: References: From: Ashish Agarwal Date: Thu, 2 Apr 2015 15:36:05 -0400 Message-ID: To: Kenneth Adam Miller Cc: caml users Content-Type: multipart/alternative; boundary=f46d04428da28ef68b0512c2f26c Subject: Re: [Caml-list] Mathematical Expression Library --f46d04428da28ef68b0512c2f26c Content-Type: text/plain; charset=UTF-8 If you don't find anything else, maybe some of our old code from PADL 2010 can help as a starting point [1]. Probably it'll be easier to put something together from scratch, assuming you don't care about performance or need variables. [1] http://ashishagarwal.org/2010/01/18/automating-mp-transformations/ On Thu, Apr 2, 2015 at 1:16 PM, Kenneth Adam Miller < kennethadammiller@gmail.com> wrote: > Is there a library somewhere where I can represent and simplify simple bit > operation expressions? Add, subtract, exclusive or, or, and, divide, > multiply, modulus, composed recursively, and operations on the expression > type, such as simplify? > --f46d04428da28ef68b0512c2f26c Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
If you don't find anything else, maybe some of our old= code from PADL 2010 can help as a starting point [1]. Probably it'll b= e easier to put something together from scratch, assuming you don't car= e about performance or need variables.



On Thu, Apr 2, 2015 at 1:16 PM, Kenneth Adam Miller <= ;kennethad= ammiller@gmail.com> wrote:
=
Is there a library somewhere where I can represent and sim= plify simple bit operation expressions? Add, subtract, exclusive or, or, an= d, divide, multiply, modulus, composed recursively, and operations on the e= xpression type, such as simplify?

--f46d04428da28ef68b0512c2f26c--