[Haskell-cafe] Mystery of an Eq instance

[Brandon Allbery]

On Sat, Sep 21, 2013 at 12:35 PM, Bardur Arantsson <spam at scientician.net>wrote:

> On 2013-09-20 18:31, Brandon Allbery wrote:
> [--snip--]
> > unless you have a very clever representation that can store
> > in terms of some operation like sin(x) or ln(x).)
>
> I may just be hallucinating, but I think this is called "describable
> numbers", i.e. numbers which can described by some (finite) formula.
>
> Not sure how useful they would be in practice, though :).
>

I was actually reaching toward a more symbolic representation, like what
Mathematica uses.

-- 
brandon s allbery kf8nh                               sine nomine associates
allbery.b at gmail.com                                  ballbery at sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130921/ba9c1a36/attachment.htm>