|
| 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] |