Message from discussion
Embedding REDUCE
Received: by 10.216.203.96 with SMTP id e74mr570503weo.1.1348882673969;
Fri, 28 Sep 2012 18:37:53 -0700 (PDT)
X-BeenThere: pure-lang@googlegroups.com
Received: by 10.180.90.134 with SMTP id bw6ls2637193wib.1.canary; Fri, 28 Sep
2012 18:37:53 -0700 (PDT)
Received: by 10.216.113.70 with SMTP id z48mr570932weg.6.1348882673381;
Fri, 28 Sep 2012 18:37:53 -0700 (PDT)
Received: by 10.216.113.70 with SMTP id z48mr570931weg.6.1348882673367;
Fri, 28 Sep 2012 18:37:53 -0700 (PDT)
Return-Path: <Dr.Gr...@t-online.de>
Received: from mailout01.t-online.de (mailout01.t-online.de. [194.25.134.80])
by gmr-mx.google.com with ESMTP id k11si411880wiv.0.2012.09.28.18.37.53;
Fri, 28 Sep 2012 18:37:53 -0700 (PDT)
Received-SPF: pass (google.com: best guess record for domain of Dr.Gr...@t-online.de designates 194.25.134.80 as permitted sender) client-ip=194.25.134.80;
Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of Dr.Gr...@t-online.de designates 194.25.134.80 as permitted sender) smtp.mail=Dr.Gr...@t-online.de
Received: from fwd17.aul.t-online.de (fwd17.aul.t-online.de )
by mailout01.t-online.de with smtp
id 1THm09-00057h-18; Sat, 29 Sep 2012 03:37:53 +0200
Received: from [192.168.1.2] (V8a+b8Zb8h+Ny-x2ocvmL-a9h9Z4W8gSMEqn+ZMyxtEMV87iiGVcNwG0UgkT+PtwJj@[79.211.92.214]) by fwd17.t-online.de
with esmtp id 1THlzu-0vMtcG0; Sat, 29 Sep 2012 03:37:38 +0200
Message-ID: <506650E5.5000909@t-online.de>
Date: Sat, 29 Sep 2012 03:37:41 +0200
From: Albert Graef <Dr.Gr...@t-online.de>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:15.0) Gecko/20120827 Thunderbird/15.0
MIME-Version: 1.0
To: pure-lang@googlegroups.com
Subject: Re: [pure-lang] Embedding REDUCE
References: <3aac1581-7a10-45d2-9969-c724cba4e4ad@googlegroups.com> <5064463A.20800@t-online.de> <5064776D.8040506@scios.ch> <5064B569.30009@t-online.de> <5065A932.60506@scios.ch> <5066474A.3050706@t-online.de>
In-Reply-To: <5066474A.3050706@t-online.de>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-ID: V8a+b8Zb8h+Ny-x2ocvmL-a9h9Z4W8gSMEqn+ZMyxtEMV87iiGVcNwG0UgkT+PtwJj
X-TOI-MSGID: 3c307b83-ab35-49dc-b40f-4d0fe42c2e98
On 09/29/2012 02:56 AM, Albert Graef wrote:
> Thanks, works fine over here, too. BTW, what is an arbint? I looked it
> up in the ref manual, but couldn't make any sense of the explanation.
Think I got it now. It's an integer parameter in a solution which can be
chosen arbitrarily, right? Maybe we can invent some prettier
representation for that on the Pure side?
--
Dr. Albert Gr"af
Dept. of Music-Informatics, University of Mainz, Germany
Email: Dr.Gr...@t-online.de, a...@muwiinfa.geschichte.uni-mainz.de
WWW: http://www.musikinformatik.uni-mainz.de/ag