home *** CD-ROM | disk | FTP | other *** search
/ The CDPD Public Domain Collection for CDTV 3 / CDPDIII.bin / pd / programming / gnusmalltalk / fraction.st < prev    next >
Text File  |  1992-02-16  |  5KB  |  199 lines
  1. "======================================================================
  2. |
  3. | Copyright (C) 1990, 1991, 1992 Free Software Foundation, Inc.
  4. | Written by David Duke.
  5. | Slightly modified by Steve Byrne.
  6. |
  7. | This file is part of GNU Smalltalk.
  8. |
  9. | GNU Smalltalk is free software; you can redistribute it and/or modify it
  10. | under the terms of the GNU General Public License as published by the Free
  11. | Software Foundation; either version 1, or (at your option) any later version.
  12. | 
  13. | GNU Smalltalk is distributed in the hope that it will be useful, but WITHOUT
  14. | ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
  15. | FOR A PARTICULAR PURPOSE.  See the GNU General Public License for more
  16. | details.
  17. | 
  18. | You should have received a copy of the GNU General Public License along with
  19. | GNU Smalltalk; see the file COPYING.  If not, write to the Free Software
  20. | Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  
  21. |
  22.  ======================================================================"
  23.  
  24. "
  25. |     Change Log
  26. | ============================================================================
  27. | Author       Date       Change 
  28. | sbb         16 Feb 92      Created in the 1.1 timeframe
  29. |
  30. "
  31.  
  32. Number subclass: #Fraction
  33.     instanceVariableNames: 'numerator denominator'
  34.     classVariableNames: ''
  35.     poolDictionaries: ''
  36.     category: nil!
  37.  
  38. Fraction comment:
  39. ' I represent rational numbers in the form (p/q) where p and q are integers.
  40. The arithmetic operations  *, +, -, /,  on fractions, all return a reduced 
  41. fraction.'!
  42.  
  43.  
  44. !Integer methodsFor: 'basic math'!
  45.  
  46. / arg             "from changes.st"
  47.     <primitive: 10>
  48.     (arg isMemberOf: Integer) & (self isMemberOf: Integer) 
  49.     ifTrue: [ ^(Fraction numerator: self denominator: arg)]. 
  50.     ^self retry: #/ coercing: arg
  51. ! !
  52.  
  53.  
  54.  
  55. !Integer methodsFor: 'converting'!
  56.  
  57. asFraction
  58.     ^Fraction numerator: self denominator: 1
  59. !!
  60.  
  61.  
  62.  
  63.  
  64.  
  65.  
  66. !Fraction methodsFor: 'accessing'!
  67. denominator
  68.     ^denominator!
  69. numerator
  70.     ^numerator 
  71. !!
  72.  
  73.  
  74. !Fraction methodsFor: 'arithmetic'!
  75. * aNumber 
  76.     "I implement * for fractions."
  77.  
  78.     (aNumber isMemberOf: Fraction)
  79.         ifTrue: [^(Fraction numerator: numerator * aNumber numerator denominator: denominator * aNumber denominator) reduced]
  80.         ifFalse: [^self retry: #* coercing: aNumber]!
  81. + aNumber 
  82.     "I implement + for fractions."
  83.  
  84.     (aNumber isMemberOf: Fraction)
  85.         ifTrue: [^(Fraction numerator: (numerator * aNumber denominator) + (aNumber numerator * denominator) denominator: denominator * aNumber denominator) reduced]
  86.         ifFalse: [^self retry: #+ coercing: aNumber]!
  87. - aNumber 
  88.     "I implement - for fractions."
  89.  
  90.     (aNumber isMemberOf: Fraction)
  91.         ifTrue: [^self + (aNumber negated)]
  92.         ifFalse: [^self retry: #- coercing: aNumber]!
  93. / aNumber 
  94.     "I implement / for fractions."
  95.  
  96.     (aNumber isMemberOf: Fraction)
  97.         ifTrue: [^self * (aNumber reciprocal)]
  98.         ifFalse: [^self retry: #/ coercing: aNumber] !
  99. // aNumber
  100.     "Return the integer quotient of dividing the receiver by aNumber with
  101.     truncation towards negative infinity."
  102.     ^(self / aNumber) floor !
  103. \\ aNumber
  104.     "Return the remainder from dividing the receiver by aNumber, (using //)."
  105.     ^(self - (self // aNumber * aNumber)) !
  106. negated
  107.     ^Fraction numerator: numerator negated denominator: denominator !
  108. reciprocal
  109.     denominator < 0
  110.         ifTrue: [^Fraction numerator: denominator negated denominator: numerator negated]
  111.         ifFalse: [^Fraction numerator: denominator denominator: numerator]
  112.  
  113. !!
  114.  
  115.  
  116. !Fraction methodsFor: 'coercing'!
  117. coerce: aNumber 
  118.     ^aNumber asFraction!
  119. generality
  120.     ^3!
  121. truncated
  122.     ^numerator quo: denominator
  123. !!
  124.  
  125. !Fraction methodsFor: 'comparing'!
  126. < arg 
  127.     "I test if the receiver is less than arg."
  128.  
  129.     (arg isMemberOf: Fraction)
  130.         ifTrue: [^arg denominator * numerator < (denominator * arg numerator)]
  131.         ifFalse: [^self retry: #< coercing: arg]!
  132. > arg 
  133.     "I test if the receiver is more than arg."
  134.  
  135.     (arg isMemberOf: Fraction)
  136.         ifTrue: [^arg denominator * numerator > (denominator * arg numerator)]
  137.         ifFalse: [^self retry: #> coercing: arg]!
  138. = arg 
  139.     "I test if the receiver is equals arg."
  140.  
  141.     (arg isMemberOf: Fraction)
  142.         ifTrue: [^arg denominator * numerator = (denominator * arg numerator)]
  143.         ifFalse: [^self retry: #= coercing: arg]!
  144. hash
  145.     ^numerator bitXor: denominator
  146. !!
  147.  
  148. !Fraction methodsFor: 'converting'!
  149. asFloat
  150.     ^numerator asFloat / denominator asFloat!
  151. asFraction
  152.     ^self 
  153. !!
  154.  
  155.  
  156. !Fraction methodsFor: 'printing'!
  157. printOn: aStream
  158.  
  159.     " Fractions print as (numerator/denominator) eg (3/4) ."
  160.  
  161.     aStream nextPut: $(; 
  162.         print: numerator;
  163.         nextPut: $/;
  164.         print: denominator;
  165.         nextPut: $) 
  166. !!
  167.  
  168.  
  169. !Fraction methodsFor: 'private'!
  170. reduced
  171.     | gcd |
  172.     numerator = 1 ifTrue: [^self].
  173.     denominator = 1 ifTrue: [^numerator].
  174.     numerator = 0 ifTrue: [^0].
  175.     numerator = denominator ifTrue: [^1].
  176.     gcd _ numerator gcd: denominator.
  177.     gcd = 1 ifTrue: [^self].
  178.     denominator = gcd ifTrue: [^numerator // gcd].
  179.     ^Fraction numerator: numerator // gcd denominator: denominator // gcd !
  180. setNumerator: numInteger setDenominator: denInteger 
  181.     denInteger = 0
  182.         ifTrue: [^self error: 'The denominator can not be zero'].
  183.     denInteger < 0
  184.         ifTrue: [numerator _ numInteger negated.
  185.             denominator _ denInteger negated]
  186.         ifFalse: [numerator _ numInteger.
  187.             denominator _ denInteger]
  188. !!
  189.  
  190.  
  191. !Fraction class methodsFor: 'instance creation'!
  192.  
  193. numerator: nInteger denominator: dInteger 
  194.     " Answer a new instance of fraction (nInteger/dInteger)"
  195.  
  196.     ^self new setNumerator: nInteger setDenominator: dInteger 
  197. !!
  198.  
  199.