hg/stx-libbasic: comparison ArithmeticValue.st

equal deleted inserted replaced

-:8a5bcf88a3f0
+:b1103ad3581f
 Notice, that what used to be signals are now exception classes - the class
 variables and signal accessors remain here for backward compatibility.
 [class variables:]
-ArithmeticSignal        <Error>         parent of all arithmetic signals
+	ArithmeticSignal        <Error>         parent of all arithmetic signals
-(never raised itself)
+						(never raised itself)
-New: now a reference to ArithmeticError
+						New: now a reference to ArithmeticError
-DomainErrorSignal       <Error>         raised upon float errors
+	DomainErrorSignal       <Error>         raised upon float errors
-(for example range in trigonometric)
+						(for example range in trigonometric)
-New: now a reference to DomainError
+						New: now a reference to DomainError
-DivisionByZeroSignal    <Error>         raised when division by 0 is attempted
+	DivisionByZeroSignal    <Error>         raised when division by 0 is attempted
-New: now a reference to ZeroDivide
+						New: now a reference to ZeroDivide
-OverflowSignal          <Error>         raised on overflow/underflow conditions
+	OverflowSignal          <Error>         raised on overflow/underflow conditions
-UnderflowSignal                         in float arithmetic.
+	UnderflowSignal                         in float arithmetic.
-Notice: some OperatingSystems do not
+						Notice: some OperatingSystems do not
-provide enough information for ST/X to
+						provide enough information for ST/X to
-extract the real reason for the floatException
+						extract the real reason for the floatException
-thus raising DomainErrorSignal in these cases.
+						thus raising DomainErrorSignal in these cases.
 [author:]
-Claus Gittinger
+	Claus Gittinger
 [See also:]
-Number
+	Number
 "
 ! !
 !ArithmeticValue class methodsFor:'Signal constants'!
 ^ ConversionError
 "
 ConversionError handle:[:ex |
-Transcript flash
+	Transcript flash
 ]
 do:[
-(0.0 uncheckedDivide:0.0) asFraction
+	(0.0 uncheckedDivide:0.0) asFraction
 ]
 "
 !
 divisionByZeroSignal
 ^ UnderflowError
 !
 unorderedSignal
 "return the signal which is raised when numbers are compared,
 for which no ordering is defined (for example: complex numbers)"
 ^ UnorderedNumbersError
 ! !
 \\ something
 "return the receiver modulo something.
 The remainder has the same sign as something.
 The following is always true:
-(receiver // something) * something + (receiver \\ something) = receiver
+	(receiver // something) * something + (receiver \\ something) = receiver
 "
 ^ self - ((self // something) * something)
 "
 (self negative) ifTrue:[^ self negated].
 ^ self
 !
 dist:arg
 "return the distance between arg and the receiver."
 ^ (arg - self) abs
 "
 (1%1) dist:(0%0)
 (1@1) dist:(0@0)
 (1) dist:(0)
 "
 !
 negated
 "return the receiver negated"
 quo:something
 "Return the integer quotient of dividing the receiver by the argument
 with truncation towards zero.
 The following is always true:
-(receiver quo: aNumber) * aNumber + (receiver rem: aNumber) = receiver
+	(receiver quo: aNumber) * aNumber + (receiver rem: aNumber) = receiver
 "
 ^ (self / something) truncated
 !
 rem:something
 "Return the integer remainder of dividing the receiver by the argument
 with truncation towards zero.
 The remainder has the same sign as the receiver.
 The following is always true:
-(receiver quo: something) * something + (receiver rem: something) = receiver
+	(receiver quo: something) * something + (receiver rem: something) = receiver
 "
 ^ self - ((self quo:something) * something)
 !
 This operation is provided for emulators of other languages/semantics,
 where no exception is raised for these results (i.e. Java).
 Its only defined if the arguments type is the same as the receivers."
 aNumber isZero ifTrue:[
-self isZero ifTrue:[^ self class NaN].
+	self isZero ifTrue:[^ self class NaN].
-self negative ifTrue:[^ self class negativeInfinity].
+	self negative ifTrue:[^ self class negativeInfinity].
-^ self class infinity.
+	^ self class infinity.
 ].
 ^ self / aNumber
 ! !
 !ArithmeticValue methodsFor:'coercing & converting'!
 ^ self subclassResponsibility
 !
 generality
 "return a number giving the receivers generality, that number is
 used to convert one of the arguments in a mixed expression.
 The generality has to be defined in subclasses,
 such that gen(a) > gen(b) iff, conversion of b into a's class
 does not cut precision. For example, Integer has 40, Float has 80,
 meaning that if we convert a Float to an Integer, some precision may
 be lost. The generality is used by ArithmeticValue>>retry:coercing:,
 which converts the lower-precision number to the higher precision
 numbers class, when mixed-type arithmetic is performed."
 ^ self subclassResponsibility
 "Modified: / 5.11.1996 / 15:05:30 / cg"
 "Modified: / 13.2.1998 / 15:36:01 / stefan"
 !
 retry:aSymbol coercing:aNumber
 "arithmetic represented by the binary operator, aSymbol,
 could not be performed with the receiver and the argument, aNumber,
 because of the differences in representation.
 Coerce either the receiver or the argument, depending on which has higher
 generality, and try again.
 If the operation is compare for same value (=), return false if
 the argument is not a Number.
 If the generalities are the same, create an error message, since this
 means that a subclass has not been fully implemented."
 |hasGenerality myGenerality otherGenerality|
 hasGenerality := aNumber respondsTo:#generality.
 hasGenerality ifFalse:[
-(aSymbol == #=) ifTrue:[
+	(aSymbol == #=) ifTrue:[
-^ false
+	    ^ false
-].
+	].
-(aSymbol == #~=) ifTrue:[
+	(aSymbol == #~=) ifTrue:[
-^ true
+	    ^ true
-].
+	].
-^ self error:'retry:coercing: argument is not a number'.
+	^ self error:'retry:coercing: argument is not a number'.
 ].
 myGenerality := self generality.
 otherGenerality := aNumber generality.
 (myGenerality > otherGenerality) ifTrue:[
-^ self perform:aSymbol with:(self coerce:aNumber)
+	^ self perform:aSymbol with:(self coerce:aNumber)
 ].
 (myGenerality < otherGenerality) ifTrue:[
-^ (aNumber coerce:self) perform:aSymbol with:aNumber
+	^ (aNumber coerce:self) perform:aSymbol with:aNumber
 ].
-ObjectMemory printStackBacktrace.
 self error:'retry:coercing: oops - same generality; retry should not happen'
 "Modified: 5.11.1996 / 15:03:38 / cg"
 ! !
 ^ self asFraction asFixedPoint
 "
 0.3 asFixedPoint
 0.5 asFixedPoint
 (1/5) asFloat asFixedPoint
 (1/3) asFloat asFixedPoint
 (2/3) asFloat asFixedPoint
 (1/8) asFloat asFixedPoint
 3.14159 asFixedPoint
 0.0000001 asFraction
 0.0000001 asFixedPoint
 "
 number of post-decimal-digits."
 ^ self asFraction asFixedPoint:scale
 "
 0.3 asFixedPoint:4
 0.3 asFixedPoint:3
 0.3 asFixedPoint:2
 0.3 asFixedPoint:1
 0.3 asFixedPoint:0
 0.5 asFixedPoint:3
 (1/5) asFloat asFixedPoint:1
 (1/8) asFloat asFixedPoint:1
 1.0 asFixedPoint:2
 3.14159 asFixedPoint:2
 3.14159 asFixedPoint:3
 (3.14159 asFixedPoint:2) asFixedPoint:5
 "
 !
 asFloat
 "return a float with same value"
 ! !
 !ArithmeticValue methodsFor:'destructive arithmethic'!
 *= aNumber
 "Return the product of self multiplied by aNumber.
 The receiver MAY, but NEED NOT be changed to contain the product.
 So this method must be used as: 'a := a *= 5'.
 This method can be redefined for constructed datatypes to do optimisations"
 ^ self * aNumber
 "Created: / 28.4.1999 / 11:46:11 / stefan"
 "Modified: / 28.4.1999 / 11:53:28 / stefan"
 !
 += aNumber
 "Return the sum of self and aNumber.
 The receiver MAY, but NEED NOT be changed to contain the sum.
 So this method must be used as: 'a := a += 5'.
 This method can be redefined for constructed datatypes to do optimisations"
 ^ self + aNumber
 "Created: / 28.4.1999 / 10:13:41 / stefan"
 "Modified: / 28.4.1999 / 11:54:11 / stefan"
 !
 -= aNumber
 "Return the difference of self and aNumber.
 The receiver MAY, but NEED NOT be changed to contain the difference.
 So this method must be used as: 'a := a -= 5'.
 This method can be redefined for constructed datatypes to do optimisations"
 ^ self - aNumber
 "Created: / 28.4.1999 / 10:13:58 / stefan"
 "Modified: / 28.4.1999 / 11:54:37 / stefan"
 !
 /= aNumber
 "Return the quotient of self and aNumber.
 The receiver MAY, but NEED NOT be changed to contain the quotient.
 So this method must be used as: 'a := a /= 5'.
 This method can be redefined for constructed datatypes to do optimisations"
 ^ self / aNumber
 "Created: / 28.4.1999 / 11:46:22 / stefan"
 "Modified: / 28.4.1999 / 11:55:06 / stefan"
 !
 div2
 "Return the quotient of self divided by 2.
 The receiver MAY, but NEED NOT be changed to contain the result.
 So this method must be used as: 'a := a div2.
 This method can be redefined for constructed datatypes to do optimisations"
 ^ self // 2
 "Created: / 28.4.1999 / 10:12:44 / stefan"
 "Modified: / 28.4.1999 / 11:56:09 / stefan"
 !
 mul2
 "Return the product of self multiplied by 2.
 The receiver MAY, but NEED NOT be changed to contain the result.
 So this method must be used as: 'a := a mul2.
 This method can be redefined for constructed datatypes to do optimisations"
 ^ self * 2
 "Created: 17.4.1996 / 12:34:10 / cg"
 ! !
 !ArithmeticValue methodsFor:'mathematical functions'!
 ** aNumber
 "Answer the receiver raised to the power of the argument, aNumber."
 "same as Number>>raisedTo:"
 ^self raisedTo: aNumber
 "Modified: / 17-07-2006 / 12:51:33 / cg"
 !
 raisedTo: aNumber
 aNumber isInteger ifTrue:[
-^ self raisedToInteger:aNumber
+	^ self raisedToInteger:aNumber
 ].
 ^ self subclassResponsibility
 !
 raisedToInteger:exp
 "return the receiver raised to exp"
 |result e t|
 "use the addition chaining algorithm,
 which is much faster for big exp-arguments"
 result := 1.
 t := self.
 exp < 0 ifTrue:[
-e := exp negated.
+	e := exp negated.
 ] ifFalse:[
-e := exp.
+	e := exp.
 ].
 [e ~~ 0] whileTrue:[
-[(e bitAnd:1) == 0] whileTrue:[
+	[(e bitAnd:1) == 0] whileTrue:[
-e := e bitShift:-1.
+	    e := e bitShift:-1.
-t := t * t.
+	    t := t * t.
-].
+	].
-e := e - 1.
+	e := e - 1.
-result := result * t.
+	result := result * t.
 ].
 (exp < 0) ifTrue:[
-^ 1 / result
+	^ 1 / result
 ].
 ^ result
 "
 (2 raisedToInteger:216)
 (2 raisedTo:216)
 -> 105312291668557186697918027683670432318895095400549111254310977536
 (2 raisedToInteger:216) asFloat
 (2 raisedTo:216) asFloat
 -> 1.05312E+65
 (2 raisedToInteger:500)
 (2 raisedTo:500)
 -> 3273390607896141870013189696827599152216642046043064789483291368096133796404674554883270092325904157150886684127560071009217256545885393053328527589376
 2 raisedToInteger:10
 -> 1024
 -2 raisedToInteger:10
 -> 1024
 -2 raisedToInteger:9
 -> -512
 10 raisedToInteger:-10
 -> (1/10000000000)
 2 raisedToInteger:0
 -> 1
 2 raisedToInteger:-1
 -> (1/2)
 Time millisecondsToRun:[
-10000 timesRepeat:[
+	10000 timesRepeat:[
-(2 raisedToInteger:500)
+	    (2 raisedToInteger:500)
-]
+	]
 ]
 Time millisecondsToRun:[
-|bigNum|
+	|bigNum|
-bigNum := 2 raisedToInteger:500.
+	bigNum := 2 raisedToInteger:500.
-10 timesRepeat:[
+	10 timesRepeat:[
-(bigNum raisedToInteger:500)
+	    (bigNum raisedToInteger:500)
-]
+	]
 ]
 "
 "Created: / 27.4.1999 / 15:19:22 / stefan"
 "Modified: / 27.4.1999 / 16:16:11 / stefan"
 "Modified: / 9.7.1998 / 10:19:27 / cg"
 !
 isFinite
 "return true, if the receiver is finite
 i.e. it can be represented as a rational number."
 ^ true
 !
 "return the receiver rounded to multiples of aNumber"
 ^ (self / aNumber) rounded * aNumber
 "
 0 roundTo:4
 1 roundTo:4
 2 roundTo:4
 3 roundTo:4
 4 roundTo:4
 5 roundTo:4
 "return the receiver rounded up to the next multiple of aNumber"
 ^ (self / aNumber) ceiling * aNumber
 "
 0 roundUpTo:4
 1 roundUpTo:4
 2 roundUpTo:4
 3 roundUpTo:4
 4 roundUpTo:4
 5 roundUpTo:4
 6 roundUpTo:4
 7 roundUpTo:4
 8 roundUpTo:4
 "
 !
 rounded
 "return the integer nearest the receiver"
 self negative ifTrue:[
-^ (self - 0.5) ceiling
+	^ (self - 0.5) ceiling
 ].
 ^ (self + 0.5) floor
 "Modified: 5.11.1996 / 11:31:59 / cg"
 !
 ! !
 !ArithmeticValue class methodsFor:'documentation'!
 version
-^ '$Header: /cvs/stx/stx/libbasic/ArithmeticValue.st,v 1.75 2007-01-12 21:11:28 cg Exp $'
+^ '$Header: /cvs/stx/stx/libbasic/ArithmeticValue.st,v 1.76 2007-01-12 23:18:42 cg Exp $'
 ! !
 ArithmeticValue initialize!

changeset 10326	b1103ad3581f
parent 10324	25973c64a974
child 10911	38e7677d10a7