Squeak-dev October 2011

squeak-dev@lists.squeakfoundation.org

47 participants
160 discussions

The Inbox: Kernel-dtl.639.mcz
by commits＠source.squeak.org 15 Oct '11

15 Oct '11

A new version of Kernel was added to project The Inbox: http://source.squeak.org/inbox/Kernel-dtl.639.mcz ==================== Summary ==================== Name: Kernel-dtl.639 Author: dtl Time: 15 October 2011, 9:35:19.698 am UUID: b1253797-d31f-419d-99e5-3d274a1ea82f Ancestors: Kernel-nice.638 As reported on Pharo list <http://code.google.com/p/pharo/issues/detail?id=4909> number parser does not attempt to interpret fractions. Fraction readFromString: '1/2' ==> 1 '1/2' asNumber ==> 1 Change parsers to look for $/ (no space) after first numeric input, and if present read additional input as fraction. No attempt is made to ensure integer valued numerator and denominator, instead just permit conversion to float. See #testFraction tests for expected behavior With this change: Number readFrom: '1/2' ==> (1/2) Number readFrom: '1 / 2' ==> 1 Number readFrom: '2/1.6' ==> 1.25 Number readFrom: '1.6/2' ==> 0.8 Number readFrom: '1.6/3.2' ==> 0.5 Number readFrom: '1.6e3/3.2e2' ==> 5.0 Number readFrom: '13/10/2011' ==> (13/10) "a date is not a number" =============== Diff against Kernel-nice.638 =============== Item was removed: - ----- Method: ExtendedNumberParser>>nextNumber (in category 'parsing-public') ----- - nextNumber - "main method for reading a number. - This one can read Float Integer and ScaledDecimal" - - | numberOfTrailingZeroInIntegerPart | - base := 10. - neg := self peekSignIsMinus. - integerPart := self nextUnsignedIntegerOrNilBase: base. - integerPart ifNil: [(sourceStream peekFor: $.) - ifTrue: [ - "Try .1 syntax" - ^self readNumberWithoutIntegerPart] - ifFalse: [ - "This is not a regular number beginning with a digit - It is time to check for exceptional condition NaN and Infinity" - ^self readNamedFloatOrFail]]. - numberOfTrailingZeroInIntegerPart := nDigits - lastNonZero. - (sourceStream peekFor: $r) - ifTrue: ["<base>r<integer>" - | oldNeg pos | - pos := sourceStream position. - (base := integerPart) < 2 - ifTrue: ["A radix currently need to be greater than 1, ungobble the r and return the integer part" - sourceStream skip: -1. - ^neg - ifTrue: [base negated] - ifFalse: [base]]. - oldNeg := neg. - self peekSignIsMinus ifTrue: [neg := neg not]. - integerPart := self nextUnsignedIntegerOrNilBase: base. - integerPart ifNil: [ - (sourceStream peekFor: $.) ifTrue: [self readNumberWithoutIntegerPartOrNil ifNotNil: [:aNumber | ^aNumber]]. - sourceStream position: pos. - ^oldNeg - ifTrue: [base negated] - ifFalse: [base]]. - numberOfTrailingZeroInIntegerPart := nDigits - lastNonZero]. - ^ (sourceStream peekFor: $.) - ifTrue: [self readNumberWithFractionPartNumberOfTrailingZeroInIntegerPart: numberOfTrailingZeroInIntegerPart] - ifFalse: [self makeIntegerOrScaledInteger]! Item was added: + ----- Method: ExtendedNumberParser>>nextNumericPart (in category 'parsing-public') ----- + nextNumericPart + "main method for reading a number. + This one can read Float Integer and ScaledDecimal" + + | numberOfTrailingZeroInIntegerPart | + base := 10. + neg := self peekSignIsMinus. + integerPart := self nextUnsignedIntegerOrNilBase: base. + integerPart ifNil: [(sourceStream peekFor: $.) + ifTrue: [ + "Try .1 syntax" + ^self readNumberWithoutIntegerPart] + ifFalse: [ + "This is not a regular number beginning with a digit + It is time to check for exceptional condition NaN and Infinity" + ^self readNamedFloatOrFail]]. + numberOfTrailingZeroInIntegerPart := nDigits - lastNonZero. + (sourceStream peekFor: $r) + ifTrue: ["<base>r<integer>" + | oldNeg pos | + pos := sourceStream position. + (base := integerPart) < 2 + ifTrue: ["A radix currently need to be greater than 1, ungobble the r and return the integer part" + sourceStream skip: -1. + ^neg + ifTrue: [base negated] + ifFalse: [base]]. + oldNeg := neg. + self peekSignIsMinus ifTrue: [neg := neg not]. + integerPart := self nextUnsignedIntegerOrNilBase: base. + integerPart ifNil: [ + (sourceStream peekFor: $.) ifTrue: [self readNumberWithoutIntegerPartOrNil ifNotNil: [:aNumber | ^aNumber]]. + sourceStream position: pos. + ^oldNeg + ifTrue: [base negated] + ifFalse: [base]]. + numberOfTrailingZeroInIntegerPart := nDigits - lastNonZero]. + ^ (sourceStream peekFor: $.) + ifTrue: [self readNumberWithFractionPartNumberOfTrailingZeroInIntegerPart: numberOfTrailingZeroInIntegerPart] + ifFalse: [self makeIntegerOrScaledInteger]! Item was changed: ----- Method: SqNumberParser>>nextNumber (in category 'parsing-public') ----- nextNumber "main method for reading a number. + This one can read Float Integer ScaledDecimal and Fraction" - This one can read Float Integer and ScaledDecimal" + | num | + num := self nextNumericPart. + (sourceStream peekFor: $/) + ifTrue: [^num / self nextNumericPart] + ifFalse: [^num] + ! - | numberOfTrailingZeroInIntegerPart | - base := 10. - neg := self peekSignIsMinus. - integerPart := self nextUnsignedIntegerOrNilBase: base. - integerPart ifNil: [ - "This is not a regular number beginning with a digit - It is time to check for exceptional condition NaN and Infinity" - ^self readNamedFloatOrFail]. - numberOfTrailingZeroInIntegerPart := nDigits - lastNonZero. - (sourceStream peekFor: $r) - ifTrue: ["<base>r<integer>" - (base := integerPart) < 2 - ifTrue: [ - sourceStream skip: -1. - ^ self expected: 'an integer greater than 1 as valid radix']. - self peekSignIsMinus - ifTrue: [neg := neg not]. - integerPart := self nextUnsignedIntegerBase: base. - numberOfTrailingZeroInIntegerPart := nDigits - lastNonZero]. - ^ (sourceStream peekFor: $.) - ifTrue: [self readNumberWithFractionPartNumberOfTrailingZeroInIntegerPart: numberOfTrailingZeroInIntegerPart] - ifFalse: [self makeIntegerOrScaledInteger]! Item was added: + ----- Method: SqNumberParser>>nextNumericPart (in category 'parsing-public') ----- + nextNumericPart + "main method for reading a number. + This one can read Float Integer and ScaledDecimal" + + | numberOfTrailingZeroInIntegerPart | + base := 10. + neg := self peekSignIsMinus. + integerPart := self nextUnsignedIntegerOrNilBase: base. + integerPart ifNil: [ + "This is not a regular number beginning with a digit + It is time to check for exceptional condition NaN and Infinity" + ^self readNamedFloatOrFail]. + numberOfTrailingZeroInIntegerPart := nDigits - lastNonZero. + (sourceStream peekFor: $r) + ifTrue: ["<base>r<integer>" + (base := integerPart) < 2 + ifTrue: [ + sourceStream skip: -1. + ^ self expected: 'an integer greater than 1 as valid radix']. + self peekSignIsMinus + ifTrue: [neg := neg not]. + integerPart := self nextUnsignedIntegerBase: base. + numberOfTrailingZeroInIntegerPart := nDigits - lastNonZero]. + ^ (sourceStream peekFor: $.) + ifTrue: [self readNumberWithFractionPartNumberOfTrailingZeroInIntegerPart: numberOfTrailingZeroInIntegerPart] + ifFalse: [self makeIntegerOrScaledInteger]!

1 0

Re: [Pharo-project] [squeak-dev] Any serializer can customize serialization strategy?
by Masashi UMEZAWA 15 Oct '11

15 Oct '11

Hi, Hernán Morales Durand <hernan.morales(a)gmail.com> wrote: >Is there any serializer (Fuel/StOMP/Ma object >serialization/BOSS/SRP/SIXX??) which let me attach an external >compressor/decompressor for specific Strings to the >serialization/deserialization process? Mariano Martinez Peck <marianopeck(a)gmail.com> wrote: > I think StOMP should support this as well: > http://stomp.smalltalk-users.jp/home/how-to-use-stomp/hook-methods Yes. StOMP does support such kind of custom serialization. Pattern 1: Using Memento. StOMP has two basic hook methods (stompWriteValue/stompReadValue). With a memento pattern, you can customize serialization/deserialization behavior easily. SpecificString>> stompWriteValue ^ StringCompressedMemento on: self StringCompressedMemento>> stompReadValue ^ SpecificString on: self uncompressToString SpecificString is a mere wrapper class (holding original string). And StringCompressedMemento should implement compress/uncompress logic. Pattern 2: Subclassing Writer/Reader Pattern 1 is usable, but it is basically suitable for pointer objects. For String-like objects, defining a new String wrapper and Memento is overwhelming. You can also subclass StompWriter/Reader for adding custom serialization/deserialization behaviors. MyStompWriter>>writeString: aString (self isSpecificString: aString) ifTrue: [^super writeString: (self compressString: aString)]. ^ super writeString: string MyStompReader>>readByteString | rawString | rawString := self basicReadObject asString. ^ (self isCompressedString: rawString) ifTrue: [self uncompressString: rawString] ifFalse: [rawString] You have to add some marking headers to the original string for determining it should be compressed/uncompressed. (Yes. this is a little awkward, but works well). I've attached working sample codes. So please see for details. Best regards, -- [:masashi | ^umezawa]

1 0

Daily Commit Log
by commits＠source.squeak.org 15 Oct '11

15 Oct '11

Changes to Trunk (http://source.squeak.org/trunk.html) in the last 24 hours: http://lists.squeakfoundation.org/pipermail/packages/2011-October/005026.ht… Name: Kernel-nice.635 Ancestors: Kernel-nice.634 Integrate great changes Juan made in Cuis: - make #sqrt exact when possible. - compute #nthRoot: ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-October/005027.ht… Name: KernelTests-nice.203 Ancestors: KernelTests-ul.202 Integrate tests Juan made in Cuis for exact/inexact #sqrt and #nthRoot: ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-October/005028.ht… Name: KernelTests-nice.204 Ancestors: KernelTests-nice.203 Add tests for ScaledDecimal sqrt. Put high expectations on exactness whenever possible. ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-October/005029.ht… Name: Kernel-nice.636 Ancestors: Kernel-nice.635 Fix ScaledDecimal which didn't work anymore, and let it be exact when possible. ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-October/005030.ht… Name: KernelTests-nice.205 Ancestors: KernelTests-nice.204 Ass tests for ScaledDecimal #nthRoot: ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-October/005031.ht… Name: Kernel-nice.637 Ancestors: Kernel-nice.636 Implement ScaledDecimal>>nthRoot: #mightBeASquare now verifies whether the receiver is an even power of two. ============================================= http://lists.squeakfoundation.org/pipermail/packages/2011-October/005032.ht… Name: Kernel-nice.638 Ancestors: Kernel-nice.637 Cheaper #mightBeASquare (only test expensive lowBit where necessary). Remove powers of 2 before performing sqrtFloor on a large integer. =============================================

1 0

The Trunk: Kernel-nice.638.mcz
by commits＠source.squeak.org 15 Oct '11

15 Oct '11

Nicolas Cellier uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-nice.638.mcz ==================== Summary ==================== Name: Kernel-nice.638 Author: nice Time: 15 October 2011, 12:01:04.127 am UUID: 83cd4ee4-8be1-410e-9663-dcbd2e6f07b9 Ancestors: Kernel-nice.637 Cheaper #mightBeASquare (only test expensive lowBit where necessary). Remove powers of 2 before performing sqrtFloor on a large integer. =============== Diff against Kernel-nice.637 =============== Item was changed: ----- Method: LargePositiveInteger>>mightBeASquare (in category 'mathematical functions') ----- mightBeASquare "In base 16, a square number can end only with 0,1,4 or 9 and - in case 0, only 0,1,4,9 can precede it, - in case 4, only even numbers can precede it. See http://en.wikipedia.org/wiki/Square_number So, in hex, the last byte must be one of: 00 10 40 90 x1 e4 x9 where x is any hex digit and e is any even digit Also, the receiver must be an aven power of two." | lsb | lsb := self digitAt: 1. + ^(lsb = 0 and: [ self lowBit odd ]) "00 (and even power of 2)" + or: [ lsb = 16r40 "40" + or: [ (lsb bitAnd: 16r7) = 1 "any|1 or any|9" + or: [ (lsb bitAnd: 16r1F) = 4 "even|4" + or: [ (lsb bitAnd: 16r7F) = 16 ]]]] "10 or 90"! - ^((lsb bitAnd: 7) = 1 "any|1 or any|9" - or: [(lsb bitAnd: 31) = 4 "even|4" - or: [(lsb bitAnd: 127) = 16 "10 or 90" - or: [(lsb bitAnd: 191) = 0]]]) "00 or 40" - and: [self lowBit odd] "even power of 2"! Item was added: + ----- Method: LargePositiveInteger>>sqrtFloor (in category 'mathematical functions') ----- + sqrtFloor + "Return the integer part of the square root of self" + + | powerOfTwo | + (powerOfTwo := self lowBit - 1 // 2) > 1 + ifFalse: [^super sqrtFloor]. + ^(self bitShift: -2 * powerOfTwo) sqrtFloor bitShift: powerOfTwo!

1 0

Re: [squeak-dev] The Trunk: Kernel-nice.637.mcz
by Juan Vuletich 14 Oct '11

14 Oct '11

Thanks for reviewing and integrating all this, Nicolas! And for fixing ScaledDecimal, that is not included in Cuis. Note that the check for being an even power of two (great idea BTW) is implicit in most of the tests already done, so this is enough: ... Also, the receiver must be an aven power of two. This needs additional testing in the 00 suffix, as it implied in all the other conditions" | lsb | lsb := self digitAt: 1. ^(lsb = 0 and: [ self lowBit odd ]) "00 (and even power of 2)" or: [ lsb = 16r40 "40" or: [ (lsb bitAnd: 16r7) = 1 "any|1 or any|9" or: [ (lsb bitAnd: 16r1F) = 4 "even|4" or: [ (lsb bitAnd: 16r7F) = 16 ]]]] "10 or 90" Cheers, Juan Vuletich commits(a)source.squeak.org wrote: > Nicolas Cellier uploaded a new version of Kernel to project The Trunk: > http://source.squeak.org/trunk/Kernel-nice.637.mcz > > ==================== Summary ==================== > > Name: Kernel-nice.637 > Author: nice > Time: 14 October 2011, 10:28:53.269 pm > UUID: 90981f89-5348-4bf9-8981-4cc51da6bc29 > Ancestors: Kernel-nice.636 > > Implement ScaledDecimal>>nthRoot: > #mightBeASquare now verifies whether the receiver is an even power of two. > > =============== Diff against Kernel-nice.636 =============== > > ... >

1 0

The Trunk: Kernel-nice.637.mcz
by commits＠source.squeak.org 14 Oct '11

14 Oct '11

Nicolas Cellier uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-nice.637.mcz ==================== Summary ==================== Name: Kernel-nice.637 Author: nice Time: 14 October 2011, 10:28:53.269 pm UUID: 90981f89-5348-4bf9-8981-4cc51da6bc29 Ancestors: Kernel-nice.636 Implement ScaledDecimal>>nthRoot: #mightBeASquare now verifies whether the receiver is an even power of two. =============== Diff against Kernel-nice.636 =============== Item was changed: ----- Method: Integer>>sqrt (in category 'mathematical functions') ----- sqrt "Answer the square root of the receiver." | selfAsFloat floatResult guess | selfAsFloat := self asFloat. floatResult := selfAsFloat sqrt. floatResult isInfinite ifFalse: [ guess := floatResult truncated. "If got an exact answer, answer it. Otherwise answer float approximate answer." guess squared = self ifTrue: [ ^ guess ]]. "In this case, maybe it failed because we are such a big integer that the Float method becomes inexact, even if we are a whole square number. So, try the slower but more general method" selfAsFloat >= Float maxExactInteger asFloat squared ifTrue: [ guess := self sqrtFloor. + guess squared = self ifTrue: [ - guess * guess = self ifTrue: [ ^guess ]]. "We need an approximate result" ^floatResult! Item was changed: ----- Method: LargePositiveInteger>>mightBeASquare (in category 'mathematical functions') ----- mightBeASquare "In base 16, a square number can end only with 0,1,4 or 9 and - in case 0, only 0,1,4,9 can precede it, - in case 4, only even numbers can precede it. See http://en.wikipedia.org/wiki/Square_number So, in hex, the last byte must be one of: 00 10 40 90 x1 e4 x9 where x is any hex digit and e is any even digit + Also, the receiver must be an aven power of two." + | lsb | + lsb := self digitAt: 1. + ^((lsb bitAnd: 7) = 1 "any|1 or any|9" + or: [(lsb bitAnd: 31) = 4 "even|4" + or: [(lsb bitAnd: 127) = 16 "10 or 90" + or: [(lsb bitAnd: 191) = 0]]]) "00 or 40" + and: [self lowBit odd] "even power of 2"! - " - | lsb | - lsb := self digitAt: 1. - ^((lsb bitAnd: 7) = 1 "any|1 or any|9" - or: [(lsb bitAnd: 31) = 4 "even|4" - or: [(lsb bitAnd: 127) = 16 "10 or 90" - or: [(lsb bitAnd: 191) = 0]]]) "00 or 40"! Item was added: + ----- Method: ScaledDecimal>>nthRoot: (in category 'mathematical functions') ----- + nthRoot: anInteger + "Answer the nth root of the receiver. + Preserve receiver class and scale if answer is exact. + Otherwise, answer a Float to denote inexactness." + | nthRoot | + nthRoot := self asFraction nthRoot: anInteger. + ^nthRoot isFloat + ifTrue: [nthRoot] + ifFalse: [nthRoot asScaledDecimal: scale]!

1 0

The Trunk: KernelTests-nice.205.mcz
by commits＠source.squeak.org 14 Oct '11

14 Oct '11

Nicolas Cellier uploaded a new version of KernelTests to project The Trunk: http://source.squeak.org/trunk/KernelTests-nice.205.mcz ==================== Summary ==================== Name: KernelTests-nice.205 Author: nice Time: 14 October 2011, 10:26:29.433 pm UUID: d20ffbad-0ed3-446c-812f-bd205e50f3e8 Ancestors: KernelTests-nice.204 Ass tests for ScaledDecimal #nthRoot: =============== Diff against KernelTests-nice.204 =============== Item was added: + ----- Method: ScaledDecimalTest>>testExactNthRoot (in category 'tests') ----- + testExactNthRoot + | eight thousandth tenth two | + eight := 8.0s1. + two := eight raisedTo: 1/3. + self assert: two = 2. + self assert: (two class = eight class and: [two scale = eight scale]). + thousandth := 0.001s3. + tenth := thousandth raisedTo: 1/3. + self assert: tenth * 10 = 1. + self assert: (tenth class = thousandth class and: [tenth scale = thousandth scale]).! Item was added: + ----- Method: ScaledDecimalTest>>testInexactNthRoot (in category 'tests') ----- + testInexactNthRoot + | tenth cubicRoot3 fifthRootTenth three | + three := 3.0s1. + cubicRoot3 := three raisedTo: 1/3. + self assert: cubicRoot3 class = Float. + self deny: cubicRoot3 squared = 3. + tenth := 0.10s2. + fifthRootTenth := tenth raisedTo: 1/5. + self assert: fifthRootTenth class = Float. + self deny: fifthRootTenth squared = tenth.!

1 0

The Trunk: Kernel-nice.636.mcz
by commits＠source.squeak.org 14 Oct '11

14 Oct '11

Nicolas Cellier uploaded a new version of Kernel to project The Trunk: http://source.squeak.org/trunk/Kernel-nice.636.mcz ==================== Summary ==================== Name: Kernel-nice.636 Author: nice Time: 14 October 2011, 10:05:36.672 pm UUID: 87b3aaea-65b6-4ebf-8855-ef8f27bcb0c3 Ancestors: Kernel-nice.635 Fix ScaledDecimal which didn't work anymore, and let it be exact when possible. =============== Diff against Kernel-nice.635 =============== Item was added: + ----- Method: ScaledDecimal>>sqrt (in category 'mathematical functions') ----- + sqrt + "Answer the square root of the receiver. + Preserve receiver class and scale if answer is exact. + Otherwise, answer a Float to denote inexactness." + | squareRoot | + squareRoot := self asFraction sqrt. + ^squareRoot isFloat + ifTrue: [squareRoot] + ifFalse: [squareRoot asScaledDecimal: scale]!

1 0

The Trunk: KernelTests-nice.204.mcz
by commits＠source.squeak.org 14 Oct '11

14 Oct '11

Nicolas Cellier uploaded a new version of KernelTests to project The Trunk: http://source.squeak.org/trunk/KernelTests-nice.204.mcz ==================== Summary ==================== Name: KernelTests-nice.204 Author: nice Time: 14 October 2011, 10:04:18.249 pm UUID: 8a7e78cf-95dd-4a05-b423-a45b0842443a Ancestors: KernelTests-nice.203 Add tests for ScaledDecimal sqrt. Put high expectations on exactness whenever possible. =============== Diff against KernelTests-nice.203 =============== Item was added: + ----- Method: ScaledDecimalTest>>testExactSqrt (in category 'tests') ----- + testExactSqrt + | four hundredth tenth two | + four := 4.0s1. + two := four sqrt. + self assert: two = 2. + self assert: (two class = four class and: [two scale = four scale]). + hundredth := 0.01s2. + tenth := hundredth sqrt. + self assert: tenth * 10 = 1. + self assert: (tenth class = hundredth class and: [tenth scale = hundredth scale]).! Item was added: + ----- Method: ScaledDecimalTest>>testInexactSqrt (in category 'tests') ----- + testInexactSqrt + | tenth sqrt3 sqrtTenth three | + three := 3.0s1. + sqrt3 := three sqrt. + self assert: sqrt3 class = Float. + self deny: sqrt3 squared = 3. + tenth := 0.10s2. + sqrtTenth := tenth sqrt. + self assert: sqrtTenth class = Float. + self deny: sqrtTenth squared = tenth.!

1 0

The Trunk: KernelTests-nice.203.mcz
by commits＠source.squeak.org 14 Oct '11

14 Oct '11

Nicolas Cellier uploaded a new version of KernelTests to project The Trunk: http://source.squeak.org/trunk/KernelTests-nice.203.mcz ==================== Summary ==================== Name: KernelTests-nice.203 Author: nice Time: 14 October 2011, 9:50:43.911 pm UUID: e0f108e0-cb07-4ab9-a1c1-51e93c09197a Ancestors: KernelTests-ul.202 Integrate tests Juan made in Cuis for exact/inexact #sqrt and #nthRoot: =============== Diff against KernelTests-ul.202 =============== Item was added: + ----- Method: FloatTest>>testMaxExactInteger (in category 'testing') ----- + testMaxExactInteger + " + FloatTest new testMaxExactInteger + " + + self assert: Float maxExactInteger asFloat truncated = Float maxExactInteger. + 0 to: 10000 do: [ :j | + self assert: (Float maxExactInteger-j) asFloat truncated = (Float maxExactInteger-j) ]. + self deny: (Float maxExactInteger+1) asFloat truncated = (Float maxExactInteger+1) + ! Item was added: + ----- Method: FloatTest>>testNthRoot (in category 'tests - mathematical functions') ----- + testNthRoot + " + FloatTest new testNthRoot + " + self should: [ -1.23 nthRoot: 4 ] raise: ArithmeticError! Item was changed: + ----- Method: FloatTest>>testRaisedTo (in category 'tests - mathematical functions') ----- - ----- Method: FloatTest>>testRaisedTo (in category 'testing - arithmetic') ----- testRaisedTo + " + FloatTest new testRaisedTo + " + self should: [ -1.23 raisedTo: 1/4 ] raise: ArithmeticError! - "this is a test related to http://bugs.squeak.org/view.php?id=6781" - - self should: [0.0 raisedTo: -1] raise: ZeroDivide. - self should: [0.0 raisedTo: -1.0] raise: ZeroDivide.! Item was added: + ----- Method: FloatTest>>testZeroRaisedToNegativePower (in category 'testing - arithmetic') ----- + testZeroRaisedToNegativePower + "this is a test related to http://bugs.squeak.org/view.php?id=6781" + + self should: [0.0 raisedTo: -1] raise: ZeroDivide. + self should: [0.0 raisedTo: -1.0] raise: ZeroDivide.! Item was added: + ----- Method: FractionTest>>assert:classAndValueEquals: (in category 'private') ----- + assert: a classAndValueEquals: b + self assert: a class = b class. + self assert: a = b! Item was added: + ----- Method: FractionTest>>testExactRaisedTo (in category 'tests - mathematical functions') ----- + testExactRaisedTo + " + FractionTest new testExactRaisedTo + " + | f | + self assert: (4/9 raisedTo: 1/2) classAndValueEquals: 2/3. + self assert: (9/4 raisedTo: 1/2) classAndValueEquals: 3/2. + #( 1 5 29 135 1234 567890 123123123 456456456456 98765432109876543210987654321 987123987123987123987123987123987123987123987123) pairsDo: [ :a :b | + f := a / b. + self assert: (f squared raisedTo: 1/2) classAndValueEquals: f. + self assert: (f negated squared raisedTo: 1/2) classAndValueEquals: f. + f := b / a. + self assert: (f squared raisedTo: 1/2) classAndValueEquals: f. + self assert: (f negated squared raisedTo: 1/2) classAndValueEquals: f ]. + + self assert: (8/27 raisedTo: 1/3) classAndValueEquals: 2/3. + self assert: (27/8 raisedTo: 1/3) classAndValueEquals: 3/2. + #( 1 5 29 135 1234 567890 123123123 456456456456 98765432109876543210987654321 987123987123987123987123987123987123987123987123) pairsDo: [ :a :b | + f := a / b. + self assert: ((f raisedTo: 3) raisedTo: 1/3) classAndValueEquals: f. + self assert: ((f negated raisedTo: 3) raisedTo: 1/3) classAndValueEquals: f negated. + f := b / a. + self assert: ((f raisedTo: 3) raisedTo: 1/3) classAndValueEquals: f. + self assert: ((f negated raisedTo: 3) raisedTo: 1/3) classAndValueEquals: f negated ]. + + self assert: (4/9 raisedTo: 3/2) classAndValueEquals: 8/27. + self assert: (8/27 raisedTo: 2/3) classAndValueEquals: 4/9. + #( 1 5 29 135 1234 567890 123123123 456456456456 98765432109876543210987654321 987123987123987123987123987123987123987123987123) pairsDo: [ :a :b | + f := a / b. + self assert: ((f raisedTo: 3) raisedTo: 2/3) classAndValueEquals: f*f. + self assert: ((f raisedTo: 2) raisedTo: 3/2) classAndValueEquals: f*f*f. + self assert: ((f negated raisedTo: 3) raisedTo: 2/3) classAndValueEquals: f*f. + self assert: ((f negated raisedTo: 2) raisedTo: 3/2) classAndValueEquals: f*f*f. + f := b / a. + self assert: ((f raisedTo: 3) raisedTo: 2/3) classAndValueEquals: f*f. + self assert: ((f raisedTo: 2) raisedTo: 3/2) classAndValueEquals: f*f*f. + self assert: ((f negated raisedTo: 3) raisedTo: 2/3) classAndValueEquals: f*f. + self assert: ((f negated raisedTo: 2) raisedTo: 3/2) classAndValueEquals: f*f*f ]. + + self assert: (32/243 raisedTo: 3/5) classAndValueEquals: 8/27. + self assert: (8/27 raisedTo: 5/3) classAndValueEquals: 32/243. + #( 1 5 29 135 1234 567890 123123123 456456456456 98765432109876543210987654321 987123987123987123987123987123987123987123987123) pairsDo: [ :a :b | + f := a / b. + self assert: ((f raisedTo: 5) raisedTo: 3/5) classAndValueEquals: f*f*f. + self assert: ((f raisedTo: 3) raisedTo: 5/3) classAndValueEquals: f*f*f*f*f. + self assert: ((f negated raisedTo: 5) raisedTo: 3/5) classAndValueEquals: (f*f*f) negated. + self assert: ((f negated raisedTo: 3) raisedTo: 5/3) classAndValueEquals: (f*f*f*f*f) negated. + + self assert: ((f raisedTo: -5) raisedTo: 3/5) classAndValueEquals: 1/(f*f*f). + self assert: ((f raisedTo: -3) raisedTo: 5/3) classAndValueEquals: 1/(f*f*f*f*f). + self assert: ((f negated raisedTo: -5) raisedTo: 3/5) classAndValueEquals: -1/(f*f*f). + self assert: ((f negated raisedTo: -3) raisedTo: 5/3) classAndValueEquals: -1/(f*f*f*f*f). + self assert: ((f raisedTo: 5) raisedTo: -3/5) classAndValueEquals: 1/(f*f*f). + self assert: ((f raisedTo: 3) raisedTo: -5/3) classAndValueEquals: 1/(f*f*f*f*f). + self assert: ((f negated raisedTo: 5) raisedTo: -3/5) classAndValueEquals: -1/(f*f*f). + self assert: ((f negated raisedTo: 3) raisedTo: -5/3) classAndValueEquals: -1/(f*f*f*f*f). + + "No exact result => Float result" + self assert: ((f raisedTo: 3) +1 raisedTo: 5/3) isFloat. + self assert: ((f negated raisedTo: 3) -1 raisedTo: 5/3) isFloat. + + f := b / a. + self assert: ((f raisedTo: 5) raisedTo: 3/5) classAndValueEquals: f*f*f. + self assert: ((f raisedTo: 3) raisedTo: 5/3) classAndValueEquals: f*f*f*f*f. + self assert: ((f negated raisedTo: 5) raisedTo: 3/5) classAndValueEquals: (f*f*f) negated. + self assert: ((f negated raisedTo: 3) raisedTo: 5/3) classAndValueEquals: (f*f*f*f*f) negated. + + "No exact result => Float result" + self assert: ((f raisedTo: 3) +1 raisedTo: 5/3) isFloat. + self assert: ((f negated raisedTo: 3) -1 raisedTo: 5/3) isFloat ].! Item was added: + ----- Method: FractionTest>>testExactSqrt (in category 'tests - mathematical functions') ----- + testExactSqrt + " + FractionTest new testExactSqrt + " + | f | + self assert: (4/9) sqrt classAndValueEquals: 2/3. + #( 1 5 29 135 1234 567890 123123123 456456456456 98765432109876543210987654321 987123987123987123987123987123987123987123987123) pairsDo: [ :i :j | + f := i / j. + self assert: f squared sqrt classAndValueEquals: f. + f := j / i. + self assert: f squared sqrt classAndValueEquals: f ]! Item was added: + ----- Method: FractionTest>>testInexactRaisedTo (in category 'tests - mathematical functions') ----- + testInexactRaisedTo + " + FractionTest new testInexactRaisedTo + " + self assert: (((1 << 1024 + 1) / (1 << 1024 + 3)) raisedTo: 1/3) = 1.0. + self assert: (((1 << 1024 + 1) / (1 << 1024 + 3)) negated raisedTo: 1/3) = -1.0! Item was added: + ----- Method: FractionTest>>testInexactSqrt (in category 'tests - mathematical functions') ----- + testInexactSqrt + " + FractionTest new testInexactSqrt + " + self assert: ((1 << 1024 + 1) / (1 << 1024 + 3)) sqrt = 1.0! Item was added: + ----- Method: FractionTest>>testRaisedToErrorConditions (in category 'tests - mathematical functions') ----- + testRaisedToErrorConditions + " + FractionTest new testRaisedToErrorConditions + " + self should: [ (-1/16) raisedTo: 1/4 ] raise: ArithmeticError. + self should: [ ((1 << 1024 + 1) / (1 << 1024 + 3)) negated raisedTo: 1/4 ] raise: ArithmeticError! Item was added: + ----- Method: FractionTest>>testSqrtErrorConditions (in category 'tests - mathematical functions') ----- + testSqrtErrorConditions + " + FractionTest new testSqrtErrorConditions + " + self should: [ (-1/4) sqrt ] raise: DomainError. + self should: [ ((1 << 1024 + 1) / (1 << 1024 + 3)) negated sqrt ] raise: DomainError! Item was added: + ----- Method: IntegerTest>>assert:classAndValueEquals: (in category 'private') ----- + assert: a classAndValueEquals: b + self assert: a class = b class. + self assert: a = b! Item was added: + ----- Method: IntegerTest>>testExactRaisedTo (in category 'tests - mathematical functions') ----- + testExactRaisedTo + " + IntegerTest new testExactRaisedTo + " + self assert: (4 raisedTo: 1/2) classAndValueEquals: 2. + self assert: (9 raisedTo: 1/2) classAndValueEquals: 3. + self assert: (9 raisedTo: -1/2) classAndValueEquals: 1/3. + self assert: (-1 raisedTo: 1/3) classAndValueEquals: -1. + #( 1 5 29 135 1234 567890 123123123 456456456456 98765432109876543210987654321 987123987123987123987123987123987123987123987123) do: [ :i | + self assert: (i squared raisedTo: 1/2) classAndValueEquals: i. + self assert: (i negated squared raisedTo: 1/2) classAndValueEquals: i ]. + + self assert: (8 raisedTo: 1/3) classAndValueEquals: 2. + self assert: (27 raisedTo: 1/3) classAndValueEquals: 3. + #( 1 5 29 135 1234 567890 123123123 456456456456 98765432109876543210987654321 987123987123987123987123987123987123987123987123) do: [ :i | + self assert: ((i raisedTo: 3) raisedTo: 1/3) classAndValueEquals: i. + self assert: ((i negated raisedTo: 3) raisedTo: 1/3) classAndValueEquals: i negated ]. + + self assert: (4 raisedTo: 3/2) classAndValueEquals: 8. + self assert: (8 raisedTo: 2/3) classAndValueEquals: 4. + self assert: (8 raisedTo: -2/3) classAndValueEquals: 1/4. + #( 1 5 29 135 1234 567890 123123123 456456456456 98765432109876543210987654321 987123987123987123987123987123987123987123987123) do: [ :i | + self assert: ((i raisedTo: 3) raisedTo: 2/3) classAndValueEquals: i*i. + self assert: ((i raisedTo: 2) raisedTo: 3/2) classAndValueEquals: i*i*i. + self assert: ((i negated raisedTo: 3) raisedTo: 2/3) classAndValueEquals: i*i. + self assert: ((i negated raisedTo: 2) raisedTo: 3/2) classAndValueEquals: i*i*i ]. + + self assert: (32 raisedTo: 3/5) classAndValueEquals: 8. + self assert: (8 raisedTo: 5/3) classAndValueEquals: 32. + #( 1 5 29 135 1234 567890 123123123 456456456456 98765432109876543210987654321 987123987123987123987123987123987123987123987123) do: [ :i | + self assert: ((i raisedTo: 5) raisedTo: 3/5) classAndValueEquals: i*i*i. + self assert: ((i raisedTo: 3) raisedTo: 5/3) classAndValueEquals: i*i*i*i*i. + self assert: ((i negated raisedTo: 5) raisedTo: 3/5) classAndValueEquals: (i*i*i) negated. + self assert: ((i negated raisedTo: 3) raisedTo: 5/3) classAndValueEquals: (i*i*i*i*i) negated. + + self assert: ((i raisedTo: -5) raisedTo: 3/5) classAndValueEquals: 1/(i*i*i). + self assert: ((i raisedTo: -3) raisedTo: 5/3) classAndValueEquals: 1/(i*i*i*i*i). + self assert: ((i negated raisedTo: -5) raisedTo: 3/5) classAndValueEquals: -1/(i*i*i). + self assert: ((i negated raisedTo: -3) raisedTo: 5/3) classAndValueEquals: -1/(i*i*i*i*i). + + self assert: ((i raisedTo: 5) raisedTo: -3/5) classAndValueEquals: 1/(i*i*i). + self assert: ((i raisedTo: 3) raisedTo: -5/3) classAndValueEquals: 1/(i*i*i*i*i). + self assert: ((i negated raisedTo: 5) raisedTo: -3/5) classAndValueEquals: -1/(i*i*i). + self assert: ((i negated raisedTo: 3) raisedTo: -5/3) classAndValueEquals: -1/(i*i*i*i*i). + + "No exact result => Float result" + self assert: ((i raisedTo: 3) +1 raisedTo: 5/3) isFloat. + self assert: ((i negated raisedTo: 3) -1 raisedTo: 5/3) isFloat ].! Item was added: + ----- Method: IntegerTest>>testExactSqrt (in category 'tests - mathematical functions') ----- + testExactSqrt + " + IntegerTest new testExactSqrt + " + self assert: 4 sqrt classAndValueEquals: 2. + self assert: 9 sqrt classAndValueEquals: 3. + self assert: Float maxExactInteger squared sqrt classAndValueEquals: Float maxExactInteger. + self assert: (Float maxExactInteger+1) squared sqrt classAndValueEquals: Float maxExactInteger+1. + #( 1 5 29 135 1234 567890 123123123 456456456456 98765432109876543210987654321 987123987123987123987123987123987123987123987123) do: [ :i | + self assert: i squared sqrt classAndValueEquals: i ]! Item was added: + ----- Method: IntegerTest>>testNthRootErrorConditions (in category 'tests - mathematical functions') ----- + testNthRootErrorConditions + " + IntegerTest new testExactRaisedToErrorConditions + " + + self should: [ -2 nthRoot: 1/4 ] raise: ArithmeticError. + self should: [ -2 nthRoot: 1.24 ] raise: ArithmeticError.! Item was added: + ----- Method: IntegerTest>>testRaisedToErrorConditions (in category 'tests - mathematical functions') ----- + testRaisedToErrorConditions + " + IntegerTest new testRaisedToErrorConditions + " + + self should: [ -2 raisedTo: 1/4 ] raise: ArithmeticError. + self should: [ -2 raisedTo: 1.24 ] raise: ArithmeticError.! Item was added: + ----- Method: IntegerTest>>testRaisedToModulo (in category 'testing - arithmetic') ----- + testRaisedToModulo + #(301 2047) do: [:m | + 1 to: m - 1 by: (m // 30) do: [:x | + 11 to: m - 1 by: (m // 40) do: [:y | + self assert: (x raisedTo: y) \\ m = (x raisedTo: y modulo: m)]]]. + self assert: (8951195 raisedTo: 7742931 modulo: 15485863) = 15485862.! Item was added: + ----- Method: IntegerTest>>testSqrtErrorConditions (in category 'tests - mathematical functions') ----- + testSqrtErrorConditions + " + IntegerTest new testSqrtErrorConditions + " + + self should: [ -1 sqrt ] raise: ArithmeticError!

1 0

← Newer
1
...
6
7
8
9
10
11
12
...
16
Older →

Jump to page: