"

 COPYRIGHT (c) 1989 by Claus Gittinger

	      All Rights Reserved

 This software is furnished under a license and may be used

 only in accordance with the terms of that license and with the

 inclusion of the above copyright notice.   This software may not

 be provided or otherwise made available to, or used by, any

 other person.  No title to or ownership of the software is

 hereby transferred.

"

Number subclass:#Fraction

	instanceVariableNames:'numerator denominator'

	classVariableNames:'FractionOne FractionZero'

	poolDictionaries:''

	category:'Magnitude-Numbers'

!

!Fraction class methodsFor:'documentation'!

copyright

"

 COPYRIGHT (c) 1989 by Claus Gittinger

	      All Rights Reserved

 This software is furnished under a license and may be used

 only in accordance with the terms of that license and with the

 inclusion of the above copyright notice.   This software may not

 be provided or otherwise made available to, or used by, any

 other person.  No title to or ownership of the software is

 hereby transferred.

"

!

documentation

"

    Instances of Fraction represent fractional numbers consisting of

    a numerator and denominator. Both are themselfes arbitrary precision

    integers. Fractions are usually created by dividing Integers using /

    (for exact division).

    Mixed mode arithmetic:

    [author:]

    [see also:]

"

! !

!Fraction class methodsFor:'initialization'!

initialize

    FractionZero isNil ifTrue:[

	FractionZero := self numerator:0 denominator:1.

	FractionOne := self numerator:1 denominator:1

    ]

! !

!Fraction class methodsFor:'instance creation'!

new

    "create and return a new fraction with value 0"

    ^ self numerator:0 denominator:1

!

numerator:num denominator:den

    "create and return a new fraction with numerator num and denominator den"

    |newFraction|

%{  /* NOCONTEXT */

    /* this check allows subclassing .. */

    if (self == Fraction) {

    }

%}.

    newFraction isNil ifTrue:[

    ].

    ^ newFraction reduced

! !

!Fraction class methodsFor:'constants'!

pi

    "return the constant pi as Fraction"

    ^ self 

    "

     Fraction pi         

     Fraction pi asFloat

     Float pi            

    "

    "Modified: 5.11.1996 / 11:11:44 / cg"

!

unity

    "return the neutral element for multiplication (1 / 1)"

    ^ FractionOne

    "Modified: 18.7.1996 / 12:26:06 / cg"

!

zero

    "return the neutral element for addition (0 / 1)"

    ^ FractionZero

    "Modified: 18.7.1996 / 12:26:12 / cg"

! !

!Fraction class methodsFor:'queries'!

isBuiltInClass

    "return true if this class is known by the run-time-system.

     Here, true is returned for myself, false for subclasses."

    ^ self == Fraction

    "Modified: 23.4.1996 / 15:59:10 / cg"

! !

!Fraction methodsFor:'accessing'!

denominator

    "return the denominator"

    ^ denominator

!

numerator

    "return the numerator"

    ^ numerator

! !

!Fraction methodsFor:'arithmetic'!

* aNumber

    "return the product of the receiver and the argument, aNumber"

    |n d|

    (aNumber isMemberOf:SmallInteger) ifTrue:[

    ].

    aNumber isFraction ifTrue:[

    ].

    (aNumber isMemberOf:Float) ifTrue:[

    ].

    ^ aNumber productFromFraction:self

    "Modified: 28.7.1997 / 19:09:23 / cg"

!

+ aNumber

    "return the sum of the receiver and the argument, aNumber"

    |n d|

    (aNumber isMemberOf:SmallInteger) ifTrue:[

    ].

    aNumber isFraction ifTrue:[

    ].

    (aNumber isMemberOf:Float) ifTrue:[

    ].

    ^ aNumber sumFromFraction:self

    "Modified: 28.7.1997 / 19:09:16 / cg"

!

- aNumber

    "return the difference of the receiver and the argument, aNumber"

    |n d|

    (aNumber isMemberOf:SmallInteger) ifTrue:[

    ].

    aNumber isFraction ifTrue:[

    ].

    (aNumber isMemberOf:Float) ifTrue:[

    ].

    ^ aNumber differenceFromFraction:self

    "

     (1/3) - (1/9)      

     (1/9) - (1/3)      

     (999/1000) - (1/1000)      

     (999/1000) - (1/1000000)      

     (999000/1000000) - (1/1000000)      

    "

    "Modified: 28.7.1997 / 19:09:11 / cg"

!

/ aNumber

    "return the quotient of the receiver and the argument, aNumber"

    |n d|

    (aNumber isMemberOf:SmallInteger) ifTrue:[

    ].

    aNumber isFraction ifTrue:[

    ].

    (aNumber isMemberOf:Float) ifTrue:[

    ].

    ^ aNumber quotientFromFraction:self

    "Modified: 28.7.1997 / 19:09:06 / cg"

!

// aNumber

    "return the integer quotient of dividing the receiver by aNumber with

     truncation towards negative infinity."

    ^ (numerator * aNumber denominator) // (denominator * aNumber numerator)

    "

     0.5 // 1

     -0.5 // 1

     (1/2) // 1  = 0 ifFalse:[self halt].

     (-1/2) // 1 = -1 ifFalse:[self halt].

    "

    "Modified: / 5.11.1996 / 11:47:14 / cg"

    "Modified: / 13.2.1998 / 09:15:35 / stefan"

!

negated

    "optional - could use inherited method ..."

    ^ self class 

    "Modified: 5.11.1996 / 10:29:11 / cg"

!

reciprocal

    "optional - could use inherited method ..."

    numerator == 1 ifTrue:[^ denominator].

    ^ self class 

    "Modified: 5.11.1996 / 10:29:22 / cg"

! !

!Fraction methodsFor:'coercing & converting'!

asFixedPoint

    "return the receiver as fixedPoint number.

     Q: what should the scale be here ?"

    ^ FixedPoint numerator:numerator denominator:denominator scale:2

    "

     (1/2) asFixedPoint

    "

    "Created: 5.11.1996 / 15:15:54 / cg"

!

asFixedPoint:scale

    "return the receiver as fixedPoint number, with the given number

     of post-decimal-point digits."

    ^ FixedPoint numerator:numerator denominator:denominator scale:scale

    "

     (1/2) asFixedPoint:2 

     (1/3) asFixedPoint:2 

     (1/3) asFixedPoint:5 

     (2/3) asFixedPoint:2 

     (2/3) asFixedPoint:5 

    "

    "Created: 5.11.1996 / 15:15:54 / cg"

    "Modified: 10.1.1997 / 19:54:50 / cg"

!

asFloat

    "return a float with (approximately) my value"

    ^ (numerator asFloat) / (denominator asFloat)

!

asFraction

    "return the receiver as fraction - thats itself"

    ^ self

!

asInteger

    "return an integer with my value - will usually truncate"

    ^ numerator // denominator

!

asLargeInteger

    "return an integer with my value - will usually truncate"

    ^ self asInteger asLargeInteger

!

asShortFloat

    "return a shortFloat with (approximately) my value"

    ^ (numerator asShortFloat) / (denominator asShortFloat)

    "Created: 17.4.1996 / 12:21:08 / cg"

!

coerce:aNumber

    "return aNumber converted into receivers type"

    ^ aNumber asFraction

!

generality

    "return the generality value - see ArithmeticValue>>retry:coercing:"

    ^ 60

! !

!Fraction methodsFor:'comparing'!

< aNumber

    "return true if the receiver is less

     than aNumber, false otherwise."

    |d n|

    (aNumber isMemberOf:SmallInteger) ifTrue:[

    ].

    aNumber isFraction ifTrue:[

    ].

    ^ aNumber lessFromFraction:self

    "Modified: 5.11.1996 / 10:30:52 / cg"

!

= aNumber

    "return true, if the argument represents the same numeric value

     as the receiver, false otherwise"

    (aNumber isMemberOf:SmallInteger) ifTrue:[

    ].

    aNumber isFraction ifTrue:[

    ].

    (aNumber isInteger) ifTrue:[

    ].

    ^ self retry:#= coercing:aNumber

    "Modified: / 7.7.1998 / 17:17:07 / cg"

!

> aNumber

    "return true if the receiver is greater

     than aNumber, false otherwise."

    "optional - could use inherited method ..."

    |d n|

    (aNumber isMemberOf:SmallInteger) ifTrue:[

    ].

    aNumber isFraction ifTrue:[

    ].

    ^ self retry:#> coercing:aNumber

    "Modified: 5.11.1996 / 10:31:28 / cg"

!

hash

    "return a number for hashing; redefined, since fractions compare

     by numeric value (i.e. (9/3) = 3), therefore (9/3) hash must be the same

     as 3 hash."

    (denominator = 1) ifTrue:[^ numerator hash].

    ^ self asFloat hash

    "

     3 hash           

     (9/3) hash       

     3.0 hash