On Wed, Jul 16, 2008 at 12:54 PM, Yixin Cao <[EMAIL PROTECTED]> wrote: > > > 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.
You said you knew about $useIntegerSubDomain; yet your original question is completely answered by the semantics of that flag. That leaves me puzzled. > > when we do subtraction, we stay in the tighter domain(PI, NNI) Who is `we'? In OpenAxiom the computation '8-4' is done in the domain of computation INT. > when it > possible, and escape to broader domain (Integer) > only while it has to. I don't see that. > > the division might be similar. > By definition, the quotient operation (in both the mathematical sense and OpenAxiom sense) is precisely that operation that constructs a fraction out of an intergal domain. ------------------------------------------------------------------------- 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
