Skip to content

Instantly share code, notes, and snippets.

@kmtm0723

kmtm0723/Coxeter.ipynb

Last active February 10, 2020 07:06
Show Gist options
  • Save kmtm0723/f42f06ced1e904d4ca57a56641399871 to your computer and use it in GitHub Desktop.
Save kmtm0723/f42f06ced1e904d4ca57a56641399871 to your computer and use it in GitHub Desktop.
Download ZIP
coxeter element test
Display the source blob
Display the rendered blob
Raw
Coxeter.ipynb
{
"cells": [
{
"cell_type": "code",
"execution_count": 1,
"metadata": {},
"outputs": [],
"source": [
"load('cluster_modular_group.sage')"
]
},
{
"cell_type": "code",
"execution_count": 4,
"metadata": {},
"outputs": [],
"source": [
"k = 3\n",
"B_coxeter = matrix.zero(6)\n",
"B_coxeter[0,1] = 1\n",
"B_coxeter[1,2] = 1\n",
"B_coxeter[2,0] = 1\n",
"B_coxeter[3,4] = 1\n",
"B_coxeter[4,5] = 1\n",
"B_coxeter[5,3] = 1\n",
"B_coxeter[0,3] = k\n",
"B_coxeter[1,4] = k\n",
"B_coxeter[2,5] = k\n",
"B_coxeter[3,2] = k\n",
"B_coxeter[4,0] = k\n",
"B_coxeter[5,1] = k\n",
"B_coxeter = B_coxeter - B_coxeter.transpose()"
]
},
{
"cell_type": "code",
"execution_count": 4,
"metadata": {},
"outputs": [],
"source": [
"R1 = MutationLoop(B_coxeter, [0,1,2,0], [0,2,1,3,4,5])\n",
"R2 = MutationLoop(B_coxeter, [3,4,5,3], [0,1,2,3,5,4])"
]
},
{
"cell_type": "code",
"execution_count": 5,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"sequence of vertices: [0, 1, 2, 0, 3, 4, 5, 3]\n",
"permutation: [0, 2, 1, 3, 5, 4]\n"
]
}
],
"source": [
"c = R1.compose(R2)"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {},
"outputs": [],
"source": []
},
{
"cell_type": "code",
"execution_count": 7,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"sequence of vertices: [0, 1, 2, 0, 3, 4, 5, 3, 0, 2, 1, 0, 3, 5, 4, 3, 0, 1, 2, 0, 3, 4, 5, 3]\n",
"permutation: [0, 2, 1, 3, 5, 4]\n"
]
}
],
"source": [
"c_3 = c.iterate(3)"
]
},
{
"cell_type": "code",
"execution_count": 8,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
"[[1, 0, 0, 0, 0, 0],\n",
" [0, 1, 0, 0, 0, 0],\n",
" [0, 0, 1, 0, 0, 0],\n",
" [0, 0, 0, 1, 0, 0],\n",
" [0, 0, 0, 0, 1, 0],\n",
" [0, 0, 0, 0, 0, 1]]"
]
},
"execution_count": 8,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"rays = [list(a) for a in matrix.identity(6).rows()]\n",
"rays"
]
},
{
"cell_type": "code",
"execution_count": 12,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"ray: [1, 0, 0, 0, 0, 0]\n",
"eigen value= 321.9968943799849? \n",
"eigen vector= [0.934172358962716, 0.000000000000000, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000]\n",
"\n",
"\n",
"ray: [0, 1, 0, 0, 0, 0]\n",
"eigen value= 321.9968943799849? \n",
"eigen vector= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, 0.000000000000000, -0.356822089773090]\n",
"\n",
"\n",
"ray: [0, 0, 1, 0, 0, 0]\n",
"eigen value= 321.9968943799849? \n",
"eigen vector= [0.000000000000000, 0.000000000000000, 0.934172358962716, -0.356822089773090, 0.000000000000000, 0.000000000000000]\n",
"\n",
"\n",
"ray: [0, 0, 0, 1, 0, 0]\n",
"eigen value= 321.9968943799849? \n",
"eigen vector= [0.000000000000000, 0.000000000000000, 0.934172358962716, -0.356822089773090, 0.000000000000000, 0.000000000000000]\n",
"\n",
"\n",
"ray: [0, 0, 0, 0, 1, 0]\n",
"eigen value= 321.9968943799849? \n",
"eigen vector= [0.934172358962716, 0.000000000000000, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000]\n",
"\n",
"\n",
"ray: [0, 0, 0, 0, 0, 1]\n",
"eigen value= 321.9968943799849? \n",
"eigen vector= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, 0.000000000000000, -0.356822089773090]\n",
"\n",
"\n"
]
}
],
"source": [
"for ray in rays:\n",
" print 'ray:', ray\n",
" c_3.iterated_trial_in_x(ray)\n",
" print '\\n'"
]
},
{
"cell_type": "code",
"execution_count": 10,
"metadata": {},
"outputs": [
{
"data": {
"text/plain": [
"321.996894379985"
]
},
"execution_count": 10,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"6.854101966249684^3"
]
},
{
"cell_type": "code",
"execution_count": 6,
"metadata": {
"scrolled": true
},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[ 1 ] \n",
"x= [0.542589986033689, 0.542589986033689, 0.542589986033689, -0.197305449466796, -0.197305449466796, -0.197305449466796] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"[ 2 ] \n",
"x= [0.539414228061601, 0.539414228061601, 0.539414228061601, -0.205829113339295, -0.205829113339295, -0.205829113339295] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"[ 3 ] \n",
"x= [0.539346143900036, 0.539346143900036, 0.539346143900036, -0.206007452276597, -0.206007452276597, -0.206007452276597] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"[ 4 ] \n",
"x= [0.539344694441286, 0.539344694441286, 0.539344694441286, -0.206011247050662, -0.206011247050662, -0.206011247050662] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"converged!\n",
"sign= [1, 1, 1, 1, 1, 1, 1, 1] \n",
"matrix= \n",
"[ 0 0 8 3 0 0]\n",
"[ 8 0 0 0 3 0]\n",
"[ 0 8 0 0 0 3]\n",
"[ 0 -3 0 0 0 -1]\n",
"[ 0 0 -3 -1 0 0]\n",
"[-3 0 0 0 -1 0] \n",
"\n",
"eigen value= 6.854101966249684? \n",
"eigen vector= [0.539344662916632, 0.539344662916632, 0.539344662916632, -0.206011329583298, -0.206011329583298, -0.206011329583298]\n"
]
},
{
"data": {
"text/plain": [
"[1, 1, 1, 1, 1, 1, 1, 1]"
]
},
"execution_count": 6,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"c.iterated_trial_in_x([1]*6, m=100, trace=True)"
]
},
{
"cell_type": "code",
"execution_count": 14,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[ 1 ] \n",
"x= [0.540589902719589, 0.540589902719589, 0.540589902719589, -0.202721213519846, -0.202721213519846, -0.202721213519846] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"[ 2 ] \n",
"x= [0.539371236742559, 0.539371236742559, 0.539371236742559, -0.205941744938068, -0.205941744938068, -0.205941744938068] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"[ 3 ] \n",
"x= [0.539345228602997, 0.539345228602997, 0.539345228602997, -0.206009848591065, -0.206009848591065, -0.206009848591065] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"converged!\n",
"sign= [1, 1, 1, 1, 1, 1, 1, 1] \n",
"matrix= \n",
"[ 0 0 8 3 0 0]\n",
"[ 8 0 0 0 3 0]\n",
"[ 0 8 0 0 0 3]\n",
"[ 0 -3 0 0 0 -1]\n",
"[ 0 0 -3 -1 0 0]\n",
"[-3 0 0 0 -1 0] \n",
"\n",
"eigen value= 6.854101966249684? \n",
"eigen vector= [0.539344662916632, 0.539344662916632, 0.539344662916632, -0.206011329583298, -0.206011329583298, -0.206011329583298]\n"
]
},
{
"data": {
"text/plain": [
"[1, 1, 1, 1, 1, 1, 1, 1]"
]
},
"execution_count": 14,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"c.iterated_trial_in_x([1,1,1,0,0,0], m=100, trace=True)"
]
},
{
"cell_type": "code",
"execution_count": 5,
"metadata": {},
"outputs": [],
"source": [
"L1 = MutationLoop(-B_coxeter, [0,1,2,0], [0,2,1,3,4,5])\n",
"L2 = MutationLoop(-B_coxeter, [3,4,5,3], [0,1,2,3,5,4])"
]
},
{
"cell_type": "code",
"execution_count": 6,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"sequence of vertices: [0, 1, 2, 0, 3, 4, 5, 3]\n",
"permutation: [0, 2, 1, 3, 5, 4]\n"
]
}
],
"source": [
"c_L = L1.compose(L2)"
]
},
{
"cell_type": "code",
"execution_count": 7,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[ 1 ] \n",
"x= [0.542589986033689, 0.542589986033689, 0.542589986033689, -0.197305449466796, -0.197305449466796, -0.197305449466796] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"[ 2 ] \n",
"x= [0.539414228061601, 0.539414228061601, 0.539414228061601, -0.205829113339295, -0.205829113339295, -0.205829113339295] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"[ 3 ] \n",
"x= [0.539346143900036, 0.539346143900036, 0.539346143900036, -0.206007452276597, -0.206007452276597, -0.206007452276597] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"[ 4 ] \n",
"x= [0.539344694441286, 0.539344694441286, 0.539344694441286, -0.206011247050662, -0.206011247050662, -0.206011247050662] \n",
"sign: [1, 1, 1, 1, 1, 1, 1, 1] \n",
"\n",
"converged!\n",
"sign= [1, 1, 1, 1, 1, 1, 1, 1] \n",
"matrix= \n",
"[ 0 8 0 0 3 0]\n",
"[ 0 0 8 0 0 3]\n",
"[ 8 0 0 3 0 0]\n",
"[ 0 -3 0 0 -1 0]\n",
"[ 0 0 -3 0 0 -1]\n",
"[-3 0 0 -1 0 0] \n",
"\n",
"eigen value= 6.854101966249684? \n",
"eigen vector= [0.539344662916632, 0.539344662916632, 0.539344662916632, -0.206011329583298, -0.206011329583298, -0.206011329583298]\n"
]
},
{
"data": {
"text/plain": [
"[1, 1, 1, 1, 1, 1, 1, 1]"
]
},
"execution_count": 7,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"c_L.iterated_trial_in_x([1]*6, m=100, trace=True)"
]
},
{
"cell_type": "code",
"execution_count": 8,
"metadata": {},
"outputs": [
{
"name": "stdout",
"output_type": "stream",
"text": [
"[ 1 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.936329177569045, 0.000000000000000, 0.000000000000000, -0.351123441588392] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 2 ] \n",
"x= [0.000000000000000, 0.934218386179373, 0.000000000000000, 0.000000000000000, -0.356701565632124, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 3 ] \n",
"x= [0.934173338760243, 0.000000000000000, 0.000000000000000, -0.356819524619297, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 4 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172379818941, 0.000000000000000, 0.000000000000000, -0.356822035170779] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 5 ] \n",
"x= [0.000000000000000, 0.934172359406666, 0.000000000000000, 0.000000000000000, -0.356822088610812, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 6 ] \n",
"x= [0.934172358972166, 0.000000000000000, 0.000000000000000, -0.356822089748349, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 7 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962917, 0.000000000000000, 0.000000000000000, -0.356822089772563] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 8 ] \n",
"x= [0.000000000000000, 0.934172358962720, 0.000000000000000, 0.000000000000000, -0.356822089773079, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 9 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 10 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 11 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 12 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 13 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 14 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 15 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 16 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 17 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 18 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 19 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 20 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 21 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 22 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 23 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 24 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 25 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 26 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 27 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 28 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 29 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 30 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 31 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 32 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 33 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 34 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 35 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 36 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 37 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 38 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 39 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 40 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 41 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 42 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 43 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 44 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 45 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 46 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 47 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 48 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 49 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 50 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 51 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 52 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 53 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 54 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 55 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 56 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 57 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 58 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 59 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 60 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 61 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 62 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 63 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 64 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 65 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 66 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 67 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 68 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n"
]
},
{
"name": "stdout",
"output_type": "stream",
"text": [
"[ 69 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 70 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 71 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 72 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 73 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 74 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 75 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 76 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 77 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 78 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 79 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 80 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 81 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 82 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 83 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 84 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 85 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 86 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 87 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 88 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 89 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 90 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 91 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 92 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 93 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 94 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 95 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 96 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 97 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"[ 98 ] \n",
"x= [0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000] \n",
"sign: [0, 0, 1, 0, 0, 0, 1, 0] \n",
"\n",
"[ 99 ] \n",
"x= [0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090, 0.000000000000000, 0.000000000000000] \n",
"sign: [0, 1, 0, 1, 0, 1, 0, 1] \n",
"\n",
"[ 100 ] \n",
"x= [0.000000000000000, 0.000000000000000, 0.934172358962716, 0.000000000000000, 0.000000000000000, -0.356822089773090] \n",
"sign: [1, 1, 0, 0, 1, 1, 0, 0] \n",
"\n",
"he still wandering now...\n"
]
}
],
"source": [
"c_L.iterated_trial_in_x([1,0,0,0,0,0], m=100, trace=True)"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {},
"outputs": [],
"source": []
}
],
"metadata": {
"kernelspec": {
"display_name": "SageMath 8.8",
"language": "sage",
"name": "sagemath"
}
},
"nbformat": 4,
"nbformat_minor": 2
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment