RE: [Axiom-developer] SuchThat

[Bill Page]

Tim,

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
cases?

Regards,
Bill Page.


On Monday, October 11, 2004 11:01 AM root address@hidden
wrote: 
> 
> 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
wrote:
> 
> According to the browser its used by EigenPackage,
> PolynomialIdeals, RadicalEigenPackage and RadicalSolvePackage.
>