"

 COPYRIGHT (c) 1993 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.

"

"{ Package: 'stx:libbasic' }"

"{ NameSpace: Smalltalk }"

Magnitude subclass:#ArithmeticValue

	instanceVariableNames:''

	classVariableNames:'ArithmeticSignal ConversionErrorSignal DivisionByZeroSignal

		DomainErrorSignal OverflowSignal UnderflowSignal UnorderedSignal'

	poolDictionaries:''

	category:'Magnitude-Numbers'

!

!ArithmeticValue class methodsFor:'documentation'!

copyright

"

 COPYRIGHT (c) 1993 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

"

    ArithmeticValue is an abstract superclass for all things responding to

    arithmetic messages. It was inserted into the hierarchy, to allow objects

    like matrices, functions etc. to share the arithmetic methods defined here.

    Notice, that what used to be signals are now exception classes - the class

    variables and signal accessors remain here for backward compatibility.

    [class variables:]

    [author:]

    [See also:]

"

! !

!ArithmeticValue class methodsFor:'Signal constants'!

arithmeticSignal

    "return the parent of all arithmetic signals"

    ^ ArithmeticError

!

divisionByZeroSignal

    "return the signal which is raised on division by zero.

     No longer used - we now have the class based ZeroDivide exception.

     This method is kept for backward compatibility."

    ^ ZeroDivide

    "Modified (comment): / 20-06-2017 / 17:53:33 / cg"

!

domainErrorSignal

    "return the signal which is raised on math errors

     (such as log of 0 etc.)"

    ^ DomainError

!

imaginaryResultSignal

    "return the signal which is raised when an imaginary result would be created

     (such as when taking the sqrt of a negative number)"

    ^ ImaginaryResultError

!

operationNotPossibleSignal

    ^ Error

!

overflowSignal

    "return the signal which is raised on overflow conditions (in floats)"

    ^ OverflowError

!

rangeErrorSignal

    "return the parent of the overflow/underflow signals"

    ^ RangeError

!

undefinedResultSignal

    ^ Error

!

underflowSignal

    "return the signal which is raised on underflow conditions (in floats)"

    ^ UnderflowError

!

unorderedSignal

    "return the signal which is raised when numbers are compared,

     for which no ordering is defined (for example: complex numbers)"

    ^ UnorderedNumbersError

! !

!ArithmeticValue class methodsFor:'class initialization'!

initialize

    "setup the signals"

    "/ Notice that we now use class based exceptions;

    "/ however, for backward compatibility, the class variables

    "/ referring to those are kept for a while, for subclass compatibility.

    "/ Please convert your code to access those via the Signal-constants class

    "/ messages (accessors) instead of referring to the class variables.

    ArithmeticSignal := ArithmeticError.

    DivisionByZeroSignal := ZeroDivide.

    UnorderedSignal := UnorderedNumbersError.

    ConversionErrorSignal := ConversionError.

    OverflowSignal := OverflowError.

    UnderflowSignal := UnderflowError.

! !

!ArithmeticValue class methodsFor:'coercing & converting'!

coerce:aNumber

    "convert the argument aNumber into an instance of the receiver (class) and return it."

    ^ self subclassResponsibility

! !

!ArithmeticValue class methodsFor:'constants'!

NaN

    "return the constant NaN (not a Number)."

    ^ NotANumber new

!

infinity

    "return something which represents positive infinity (for my instances)"

    ^ Infinity positive

    "Modified (comment): / 20-06-2017 / 13:45:23 / cg"

!

nan

    "VW compatibility"

    ^ self NaN

!

negativeInfinity

    "return something which represents negative infinity (for my instances)"

    ^ Infinity negative

!

unity

    "return something which represents the unity element (for my instances).

     That is the neutral element for multiplication."

    ^ self subclassResponsibility

    "Modified: / 16-06-2017 / 11:04:36 / cg"

!

zero

    "return something which represents the zero element (for my instances).

     That is the neutral element for addition."

    ^ self subclassResponsibility

    "Modified: / 16-06-2017 / 11:04:33 / cg"

! !

!ArithmeticValue class methodsFor:'error reporting'!

raise:aSignalSymbolOrErrorClass receiver:someNumber selector:sel arguments:argArray errorString:text 

    "ST-80 compatible signal raising. Provided for PD numeric classes.

     aSignalSymbolOrErrorClass is either an Error-subclass, or

     the selector which is sent to myself, to retrieve the Exception class / Signal."

    <context: #return>

    |msg signalOrException|

    msg := MessageSend

                receiver:someNumber

                selector:sel

                arguments:argArray.

    aSignalSymbolOrErrorClass isSymbol ifTrue:[

        signalOrException := self perform:aSignalSymbolOrErrorClass.

    ] ifFalse:[

        signalOrException := aSignalSymbolOrErrorClass.    "/ assume its an Error-Subclass

    ].

    ^ signalOrException

         raiseRequestWith:msg 

         errorString:text 

         in:thisContext sender

    "

     Number 

        raise:#domainErrorSignal

        receiver:1.0

        selector:#foo 

        errorString:'foo bar test'

    "

    "Modified: / 16.11.2001 / 14:12:09 / cg"

! !

!ArithmeticValue class methodsFor:'queries'!

isAbstract

    "Return if this class is an abstract class.

     True is returned for ArithmeticValue here; false for subclasses.

     Abstract subclasses must redefine this again."

    ^ self == ArithmeticValue

! !

!ArithmeticValue methodsFor:'arithmetic'!

* something

    "return the product of the receiver and the argument."

    ^ self subclassResponsibility

!

+ something

    "return the sum of the receiver and the argument"

    ^ self subclassResponsibility

!

- something

    "return the difference of the receiver and the argument"

    ^ self subclassResponsibility

!

/ something

    "return the quotient of the receiver and the argument"

    ^ self subclassResponsibility

!

// something

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

     truncation towards negative infinity.

     Please be aware of the effect of truncation on negative receivers,

     and understand the difference between '//' vs. 'quo:'

     and the corresponding '\\' vs. 'rem:'"

    "/ Note: '^ (self / something) floor' may lead to infinite recursion

    ^ self subclassResponsibility

    "Modified: / 5.11.1996 / 11:46:27 / cg"

    "Modified: / 12.2.1998 / 16:31:36 / stefan"

!

\\ something

    "return the receiver modulo something.

     The remainder has the same sign as the argument, something.

     The following is always true:

        (receiver // something) * something + (receiver \\ something) = receiver

     Please be aware of the effect of truncation on negative receivers,

     and understand the difference between '//' vs. 'quo:'

     and the corresponding '\\' vs. 'rem:'."

    ^ self - ((self // something) * something)

   "

     0.9 \\ 0.4

     0.9 \\ -0.4

    -0.9 \\ 0.4

    -0.9 \\ -0.4

   "

    "Modified: / 12.2.1998 / 19:14:37 / stefan"

!

abs

    "return the absolute value of the receiver"

    (self negative) ifTrue:[^ self negated].

    ^ self

!

dist:arg

    "return the distance between the arg and the receiver."

    ^ (arg - self) abs

    "

     (1%1) dist:(0%0)

     (1@1) dist:(0@0)

     (1) dist:(0)

    "

!

modulusOf:aNumber

    "return aNumber modulo the receiver.

     The remainder has the same sign as something.

     Defined for protocol compatibility with ModuloNumber."

    ^ aNumber \\ self

!

negated

    "return the receiver negated"

    ^ self class zero - self

!