On Wed, Jul 16, 2008 at 12:39 PM, Gabriel Dos Reis <
[EMAIL PROTECTED]> wrote:
> > I knew the $useIntegerSubDomain.
> >
> > Is this unacceptable?
> > foo:(Integer,Integer)->Union(Integer,Fraction Integer)
> > foo(nn,dd) ==
> > f := nn / dd
> > denom f = 1 => numer f
> > f
>
> Unless you explain, your point is lost on me.
>
Well, when we do mathematics, we keep things simple as possible, and go to a
larger domain when we have to.
when we do subtraction, we stay in the tighter domain(PI, NNI) when it
possible, and escape to broader domain (Integer)
only while it has to.
the division might be similar.
-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
open-axiom-devel mailing list
open-axiom-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
