|
From: | root |
Subject: | Re: [Axiom-developer] SuchThat |
Date: | Mon, 11 Oct 2004 11:00:50 -0400 |
Bill, I wrote the SuchThat domain as part of my PhD thesis work. The basic idea was to be able to wrap domains with provisos. You would be able to say 1/x such that x != 0 Tim
[Prev in Thread] | Current Thread | [Next in Thread] |