On Sat, Apr 6, 2013 at 1:21 AM, u1204 wrote:
>>> This would be a first example of a special symbolic domain that would
>>> create "arbitrary integers" rather than actual integers.
>>>
>>> This is my approach to the Maple "assume" facility. I want to say that
>>> the uderlying domain is an "indeter
On Sat, Apr 6, 2013 at 1:01 AM, u1204 wrote:
> Gaby,
>
>>> I will note that the NSF will not fund open source projects.
>>> Science can only occur if you are at a University. Sigh.
>>
>>I don't know why you are saying that, NSF certainly has been
>>funding many open source projects, as long as the
On Fri, Apr 5, 2013 at 11:44 PM, u1204 wrote:
>>This is probably not very practical, but I was just trying to do a
>>thought experiment to investigate what would be required to have
>>variables that range over domains that are not numbers.
>
> Actually, I wrote an NSF proposal to introduce "indete
