Howdy,
(1) -> 8-4
(1) 4
Type:
PositiveInteger
(2) -> 8/4
(2) 2
Type: Fraction
Integer
(3) ->
(3) -> 4-8
(3) - 4
Type:
Integer
- is only a partial function in PositiveInteger. In OpenAxiom, 8-4 returns
PositiveInteger, while 4-8 goes into Integer automatically.
/ is partial in Integer, but in OpenAxiom, / always returns Fraction
Integer, even 8/4.
Why not 8/4 returns 2(Integer), while 4/8 returns 1/2(Fraction Integer)?
-------------------------------------------------------------------------
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
