Enteleform
6/26/2015 - 1:40 AM

Mathematics & Plausible Reasoning [01] 01 ( Incomplete )

Mathematics & Plausible Reasoning [01] 01 ( Incomplete )

#!/usr/bin/env python
# -*- coding: utf-8 -*-

#═════      { Import }      ═══════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════⌠¦s1⌡#

import itertools
import math

#▄▄▄▄▄───────────────────▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄¦⌠#
#░░░░░      Problem      ░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░s2#
#▀▀▀▀▀───────────────────▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀¦⌡#

#		guess the rule according to which the succesive terms
#		of the following sequence are chosen:

#		11, 31, 41, 61, 71, 101, 131

#▄▄▄▄▄───────────────────────▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄¦⌠#
#░░░░░      Conjectures      ░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░░s2#
#▀▀▀▀▀───────────────────────▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀¦⌡#

	#═════      •   Unproven      ══════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════⌠¦•s1⌡#


	#═════      •   Proven      ════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════⌠¦•s1⌡#

#		{ Induction } all numbers are prime { Conjecture 01 } numbers are related to primes?

	#═════      •   Disproven      ═════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════⌠¦•s1⌡#

#		{ Conjecture 02 ( False ) } follows a particular incremental sequence within primes?
#     ----------------------------------------------------------------------------------
#			{ Steps } 5 { Item } 11
#			{ Steps } 6 { Item } 31
#			{ Steps } 2 { Item } 41
#			{ Steps } 5 { Item } 61
#			{ Steps } 2 { Item } 71
#			{ Steps } 6 { Item } 101
#			{ Steps } 6 { Item } 131

#		{ Conjecture 03 ( False ) } numbers are products of primes?
#     ---------------------------------------------------------
#			[
#				'2 + 29 = 31'
#				'2 + 59 = 61
#			]

#		{ Conjecture 04 ( False ) } numbers are related to squares?
#     ---------------------------------------------------------
#			{ Item } 11  { SquareRoot } 9   { Difference } 2
#			{ Item } 31  { SquareRoot } 25  { Difference } 6
#			{ Item } 41  { SquareRoot } 36  { Difference } 5
#			{ Item } 61  { SquareRoot } 49  { Difference } 12
#			{ Item } 71  { SquareRoot } 64  { Difference } 7
#			{ Item } 101 { SquareRoot } 100 { Difference } 1
#			{ Item } 131 { SquareRoot } 121 { Difference } 10
#     --------------------------------------------------
#			{ Item } 11  { Squared } 121
#			{ Item } 31  { Squared } 961
#			{ Item } 41  { Squared } 1681
#			{ Item } 61  { Squared } 3721
#			{ Item } 71  { Squared } 5041
#			{ Item } 101 { Squared } 10201
#			{ Item } 131 { Squared } 17161

#▐▌▒▓▒▐▌════════════════════════▐▌▒▓▒▐▌▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄¦⌠#
#▐▌▓▒▓▐▌      { Solution }      ▐▌▓▒▓▐▌▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓c2#
#▐▌▒▓▒▐▌════════════════════════▐▌▒▓▒▐▌▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀¦⌡#

	#▐▌»»▒▐▌───────────────────────────▐▌▒««▐▌_________________________________________________________________________________________________________________________________________________________¦•⌠#
	#▐▌»»▒▐▌    •   { Functions }      ▐▌▒««▐▌░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬m2#
	#▐▌»»▒▐▌───────────────────────────▐▌▒««▐▌‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾¦•⌡#

		#■»»≡▌■     • •   verify_Prime      ■▐≡««■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■⌠¦••m1⌡#

def verify_Prime ( i_PotentialPrime ):

	for _X_i_Dividend in range ( 2, i_PotentialPrime ):
		if ( i_PotentialPrime % _X_i_Dividend == 0 ):

			return ( False )

	return ( True )

		#■»»≡▌■     • •   list_Primes      ■▐≡««■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■⌠¦••m1⌡#

def list_Primes ( i_MaxNumber ):

	l_PrimeNumbers = []

	for _X_i_PotentialPrime in range ( 2, i_MaxNumber + 1 ):
		b_IsPrime = verify_Prime ( _X_i_PotentialPrime )
		if ( b_IsPrime == True ):
			l_PrimeNumbers.append ( _X_i_PotentialPrime )

	return ( l_PrimeNumbers )

		#■»»≡▌■     • •   verify_Square      ■▐≡««■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■⌠¦••m1⌡#

def verify_Square ( i_PotentialSquare ):

	return ( int ( math.sqrt ( i_PotentialSquare ) ) ** 2 )

		#■»»≡▌■     • •   list_Squares      ■▐≡««■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■■⌠¦••m1⌡#

def square_List ( i_MaxNumber ):

	l_SquaredNumbers = []

	for _X_i_Item in range ( 2, i_MaxNumber + 1 ):
		l_SquaredNumbers.append ( _X_i_Item * _X_i_Item )

	return ( l_SquaredNumbers )

	#▐▌»»▒▐▌────────────────────────▐▌▒««▐▌____________________________________________________________________________________________________________________________________________________________¦•⌠#
	#▐▌»»▒▐▌    •   { Script }      ▐▌▒««▐▌░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░╬░m2#
	#▐▌»»▒▐▌────────────────────────▐▌▒««▐▌‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾‾¦•⌡#

		#═════      • •   { Problem Items }      ════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════⌠¦••s1⌡#

l_ProblemItems = [ 11, 31, 41, 61, 71, 101, 131 ]
i_Max_ProblemItem = max ( l_ProblemItems )
print ( "Problem Items: " + str ( l_ProblemItems ) )

		#═════      • •   { All Primes }      ═══════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════⌠¦••s1⌡#

l_Primes = list_Primes ( i_Max_ProblemItem )
print ( "All Primes: " + str ( l_Primes ) )

		# ✓ ✓ ✓     • •   { Induction } all numbers are prime { Conjecture 01 } numbers are related to primes?      ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓ ✓⌠¦••t1⌡#

for _X_i_PotentialPrime in l_ProblemItems:
	xb_IsPrime = verify_Prime ( _X_i_PotentialPrime )
	print ( str ( _X_i_PotentialPrime ) + ": " + str ( xb_IsPrime ) )

		# ! ! !     • •   { Conjecture 02 ( False ) } follows a particular sequence within primes?      ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !⌠¦••b1⌡#

# i_PrimeSteps = 1

# for _X_i_Prime in l_Primes:

# 	if _X_i_Prime in l_ProblemItems:
# 		print ( "{ Steps } " + str ( i_PrimeSteps ) + " { Prime } " + str ( _X_i_Prime ) )
# 		i_PrimeSteps = 1
# 	else:
# 		i_PrimeSteps = i_PrimeSteps + 1

		# ! ! !     • •   { Conjecture 03 ( False ) } numbers are products of primes?      ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! !⌠¦••b1⌡#

# l_PotentialAddends_x = []
# l_PotentialAddends_y = []
# l_PotentialAddends_Results = []
# l_PotentialAddends_Print = []

# for _X_i_Item in l_ProblemItems:

# 	for _X_i_PotentialAddend_x in l_Primes:
# 		for _X_i_PotentialAddend_y in l_Primes:

# 			if _X_i_PotentialAddend_x + _X_i_PotentialAddend_y == _X_i_Item \
# 			and not _X_i_PotentialAddend_y in l_PotentialAddends_x:

# 				l_PotentialAddends_x.append ( _X_i_PotentialAddend_x )
# 				l_PotentialAddends_y.append ( _X_i_PotentialAddend_y )
# 				l_PotentialAddends_Results.append ( _X_i_Item )
# 				l_PotentialAddends_Print.append ( str ( _X_i_PotentialAddend_x ) + " + " + str ( _X_i_PotentialAddend_y ) + " = " + str ( _X_i_Item ) )

# print ( l_PotentialAddends_Print )

		# ! ! !     • •   { Conjecture 04 ( False ) } numbers are related to squares?      ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ! ⌠¦••b1⌡#

			#═════      • • •   { Square Root }      ═════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════⌠¦•••s1⌡#

# for _X_i_Item in l_ProblemItems:

# 	_X_i_PotentialSquare = verify_Square ( _X_i_Item )
# 	print ( "{ Item } " + str( _X_i_Item ) + " { SquareRoot } " + str ( _X_i_PotentialSquare ) + " { Difference } " + str ( _X_i_Item - _X_i_PotentialSquare ) )

			#═════      • • •   { Squared }      ═════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════════⌠¦•••s1⌡#

# for _X_i_Item in l_ProblemItems:
# 	xi_SquaredNumber = _X_i_Item * _X_i_Item
# 	print ( "{ Item } " + str ( _X_i_Item ) + " { Squared } " + str ( xi_SquaredNumber ) )