[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [Axiom-developer] SuchThat

From: Bill Page
Subject: RE: [Axiom-developer] SuchThat
Date: Mon, 11 Oct 2004 12:40:44 -0400


This seems quite fascinating to me - and quite a powerful idea
as an Axiom type, though at first thought as a 'type' it does
seem a little strange.

You wouldn't happen to have a copy of that PhD thesis online
somewhere, would you? Is there some part of it that we could
extract as documentation for SuchThat?

Tim, were you also involved in writing the EigenPackage,
PolynomialIdeals, RadicalEigenPackage and RadicalSolvePackage
packages? How was it decided to make use of SuchThat in these

Bill Page.

On Monday, October 11, 2004 11:01 AM root address@hidden
> 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

On Monday, October 11, 2004 10:11 AM Mike Dewar address@hidden
> According to the browser its used by EigenPackage,
> PolynomialIdeals, RadicalEigenPackage and RadicalSolvePackage.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]