Assertions

This page is under construction. Please come back later.

Assertions1.py

#!/usr/bin/env python3;
import Utils

TEST_BASE = 0.9

def exponentiation(base, powerArg) :
	assert powerArg >= 0, "powerArg >= 0"
	power = powerArg
	result = 1
	while (power > 0) :
		result *= base
		power -= 1
	return result

# Begin Main
for p in range(10, -1 + -1, -1) :
	print("{0:f} ^ {1:d} = {2:f}".format(TEST_BASE, p, exponentiation(TEST_BASE, p)))

Assertions2.py

#!/usr/bin/env python3;
import Utils

TEST_BASE = 0.9

def exponentiation(base, powerArg) :
	assert powerArg >= 0, "exponentiation() power must be non-negative, was " + str(powerArg)
	power = powerArg
	result = 1
	while (power > 0) :
		result *= base
		power -= 1
	return result

# Begin Main
for p in range(10, -1 + -1, -1) :
	print("{0:f} ^ {1:d} = {2:f}".format(TEST_BASE, p, exponentiation(TEST_BASE, p)))

Assertions3.py

#!/usr/bin/env python3;
import Utils

TEST_BASE = 0.9

def exponentiation(base, powerArg) :
	assert powerArg >= 0, "exponentiation() power must be non-negative, was " + str(powerArg)
	power = powerArg
	result = 1
	while (power > 0) :
		result *= base
		power -= 1
# This line will make the result incorrect.
	result = -result
# If power is odd and base is negative, then result should be negative.
# Otherwise result should be positive.
	assert result < 0 if (Utils.bitwiseAnd32(power, 1)) == 1 and (base < 0) else result >= 0, "Postcondition Failed: Result is wrong sign"
	return result

# Begin Main
for p in range(10, -1 + -1, -1) :
	print("{0:f} ^ {1:d} = {2:f}".format(TEST_BASE, p, exponentiation(TEST_BASE, p)))

Questions

• {{Who's on first?}}
• {{Who's on second?}}
• {{Who's on third?}}

Projects

More ★'s indicate higher difficulty level.

• Base Conversion
• Fast Exponentiation
• Fibonacci Numbers with Memoization
• Football Passer Rating (with Assertions)
• Julian Day Number
• Number of Primes (Estimate)
• Ordinal Date
• Ordinal Date (Revisited)
• Shuffle Deck
• Significant Digits

References

• [[Python Language Reference]]
• [[Python Standard Library]]
• [[Python at TutorialsPoint]]