Magma V2.19-8 Tue Aug 20 2013 16:17:30 on localhost [Seed = 846442219] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1729 geometric_solution 5.43482150 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.325088840752 0.765587925092 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.846154618746 1.108452689194 1 3 0 4 1230 2310 0132 3201 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.846154618746 1.108452689194 1 5 5 2 0132 0132 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.867111512882 0.505356783569 6 2 6 1 0132 2310 2310 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.063616168956 1.155285010816 5 3 3 5 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.574366345966 0.436751237895 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.448054810244 0.111918225242 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 9462575124863360028118533667/103924496434466400110796790*c_0101_5^1\ 9 - 79857442225663309396613320688/51962248217233200055398395*c_0101\ _5^18 - 416539532366435893846055060509/103924496434466400110796790*\ c_0101_5^17 + 1184504105198112718004113119459/103924496434466400110\ 796790*c_0101_5^16 + 2616707447194878855391491466379/10392449643446\ 6400110796790*c_0101_5^15 - 1532729980243633946322852118428/5196224\ 8217233200055398395*c_0101_5^14 - 3540006667328148984640568445107/5\ 1962248217233200055398395*c_0101_5^13 + 1717865744443532315468067903202/51962248217233200055398395*c_0101_5\ ^12 + 10541042699668468772815654944431/103924496434466400110796790*\ c_0101_5^11 - 122881770327801112447201942698/5196224821723320005539\ 8395*c_0101_5^10 - 10907569051961615033035295052113/103924496434466\ 400110796790*c_0101_5^9 - 1610455201013343076737574978068/519622482\ 17233200055398395*c_0101_5^8 + 7778089731342322493916166115131/1039\ 24496434466400110796790*c_0101_5^7 + 2108512773623320296097511793227/51962248217233200055398395*c_0101_5\ ^6 - 2047046806668231966215384901599/51962248217233200055398395*c_0\ 101_5^5 - 1856005980370939060524591424703/1039244964344664001107967\ 90*c_0101_5^4 + 471442542920495318263486193859/51962248217233200055\ 398395*c_0101_5^3 + 100933482788202354804265889189/2078489928689328\ 0022159358*c_0101_5^2 - 6348657163146995328285106251/10392449643446\ 6400110796790*c_0101_5 - 23314696482281879540909147171/207848992868\ 93280022159358, c_0011_0 - 1, c_0011_1 - 1557963998278524499054773/51962248217233200055398395*c_0101_\ 5^19 + 22121011784227865428965442/51962248217233200055398395*c_0101\ _5^18 + 274527428310723042014499669/103924496434466400110796790*c_0\ 101_5^17 + 33213080597773972133464831/103924496434466400110796790*c\ _0101_5^16 - 334340998976431960905464945/20784899286893280022159358\ *c_0101_5^15 - 301782559189208591797656969/207848992868932800221593\ 58*c_0101_5^14 + 3577562266051999668601057449/103924496434466400110\ 796790*c_0101_5^13 + 2416907798009677887620157238/51962248217233200\ 055398395*c_0101_5^12 - 3048726288096079908348356401/10392449643446\ 6400110796790*c_0101_5^11 - 7016221907305061622646017829/1039244964\ 34466400110796790*c_0101_5^10 - 103238550918628871684482129/1039244\ 96434466400110796790*c_0101_5^9 + 3216559209444553445440987452/5196\ 2248217233200055398395*c_0101_5^8 + 1249493097000020614678508067/51962248217233200055398395*c_0101_5^7 - 1772258311260375766142677707/51962248217233200055398395*c_0101_5^6 - 2526042613448551840792809539/103924496434466400110796790*c_0101_5^5 + 183550710346155563149372127/20784899286893280022159358*c_0101_5^4 + 306732316313533522497490651/51962248217233200055398395*c_0101_5^3 + 145751349185839337554811287/51962248217233200055398395*c_0101_5^2 - 70020454358163274630374781/51962248217233200055398395*c_0101_5 - 65824000614248877223412123/103924496434466400110796790, c_0011_4 + 2027604420585618789975717/20784899286893280022159358*c_0101_\ 5^19 - 34569416112307686716344119/20784899286893280022159358*c_0101\ _5^18 - 82420886307310938594428823/20784899286893280022159358*c_010\ 1_5^17 + 252385014947996094586389855/20784899286893280022159358*c_0\ 101_5^16 + 473982552464639852150232241/20784899286893280022159358*c\ _0101_5^15 - 317035394992722896591819543/10392449643446640011079679\ *c_0101_5^14 - 1141544536627218737745534307/20784899286893280022159\ 358*c_0101_5^13 + 712693133741483543553361753/207848992868932800221\ 59358*c_0101_5^12 + 1451628764339513056301295253/207848992868932800\ 22159358*c_0101_5^11 - 91031200615291142037520052/10392449643446640\ 011079679*c_0101_5^10 - 689700503747183199373283730/103924496434466\ 40011079679*c_0101_5^9 - 91627358574752171150549901/103924496434466\ 40011079679*c_0101_5^8 + 885515674565587758831357849/20784899286893\ 280022159358*c_0101_5^7 + 248163201249194302956674239/2078489928689\ 3280022159358*c_0101_5^6 - 238625994338427083298882144/103924496434\ 46640011079679*c_0101_5^5 + 66364343040617151734260506/103924496434\ 46640011079679*c_0101_5^4 + 7319412743810044459553892/1039244964344\ 6640011079679*c_0101_5^3 - 26340664333692567663726657/2078489928689\ 3280022159358*c_0101_5^2 - 1013006548698733755704592/10392449643446\ 640011079679*c_0101_5 - 5022890437829673681761209/10392449643446640\ 011079679, c_0101_0 - 3389185316974267388510425/20784899286893280022159358*c_0101_\ 5^19 + 56001489065099467539667741/20784899286893280022159358*c_0101\ _5^18 + 168276885397359351960550931/20784899286893280022159358*c_01\ 01_5^17 - 350950361854689917848607375/20784899286893280022159358*c_\ 0101_5^16 - 1029820779845994919686781895/20784899286893280022159358\ *c_0101_5^15 + 316967422803166673738185787/103924496434466400110796\ 79*c_0101_5^14 + 2578760270277078002519838561/207848992868932800221\ 59358*c_0101_5^13 - 71821634011293602868870489/20784899286893280022\ 159358*c_0101_5^12 - 3364673918908196681736436943/20784899286893280\ 022159358*c_0101_5^11 - 683618267880468575748746432/103924496434466\ 40011079679*c_0101_5^10 + 1429643216737200318951962476/103924496434\ 46640011079679*c_0101_5^9 + 1098086690150331570911359862/1039244964\ 3446640011079679*c_0101_5^8 - 1456087855210100136610777893/20784899\ 286893280022159358*c_0101_5^7 - 1888067043801000992102432831/207848\ 99286893280022159358*c_0101_5^6 + 232301162308850691265404572/10392\ 449643446640011079679*c_0101_5^5 + 336056034829274337918333262/10392449643446640011079679*c_0101_5^4 + 32351180116964108338686246/10392449643446640011079679*c_0101_5^3 - 167058244635510965095269943/20784899286893280022159358*c_0101_5^2 - 21014784093121312169876478/10392449643446640011079679*c_0101_5 + 9423833509531181436923822/10392449643446640011079679, c_0101_1 - 9761072945483053912325749/103924496434466400110796790*c_0101\ _5^19 + 158201385124537989264115261/103924496434466400110796790*c_0\ 101_5^18 + 535973629840276066531811921/103924496434466400110796790*\ c_0101_5^17 - 863749080697039309748641481/1039244964344664001107967\ 90*c_0101_5^16 - 657558996009144201590197217/2078489928689328002215\ 9358*c_0101_5^15 + 97357447364245947384504692/103924496434466400110\ 79679*c_0101_5^14 + 8029802016187235745865878721/103924496434466400\ 110796790*c_0101_5^13 + 1743784208966488366365274089/10392449643446\ 6400110796790*c_0101_5^12 - 9937128180722685302883831169/1039244964\ 34466400110796790*c_0101_5^11 - 3056271965865009467159569203/519622\ 48217233200055398395*c_0101_5^10 + 3784405254321668131768216152/51962248217233200055398395*c_0101_5^9 + 3958574052639147413384030688/51962248217233200055398395*c_0101_5^8 - 3214683406400036151377726329/103924496434466400110796790*c_0101_5^7 - 6199859151478184171943115161/103924496434466400110796790*c_0101_5\ ^6 + 302177440864377235123657527/51962248217233200055398395*c_0101_\ 5^5 + 214175600700871606972382807/10392449643446640011079679*c_0101\ _5^4 + 33549852895647708210861179/51962248217233200055398395*c_0101\ _5^3 - 422271072472571506466224129/103924496434466400110796790*c_01\ 01_5^2 + 21372854401801432498311461/51962248217233200055398395*c_01\ 01_5 + 7411966356468165559106509/51962248217233200055398395, c_0101_4 + 1012013939774391846785161/20784899286893280022159358*c_0101_\ 5^19 - 18020766683226552117722491/20784899286893280022159358*c_0101\ _5^18 - 14229254899151457208824247/10392449643446640011079679*c_010\ 1_5^17 + 82149879301727061824532125/10392449643446640011079679*c_01\ 01_5^16 + 74580990999100542054211341/10392449643446640011079679*c_0\ 101_5^15 - 582374350373529326382264719/20784899286893280022159358*c\ _0101_5^14 - 208195134581741385576315865/10392449643446640011079679\ *c_0101_5^13 + 1103923335433619523690046311/20784899286893280022159\ 358*c_0101_5^12 + 417043160338830603225253139/103924496434466400110\ 79679*c_0101_5^11 - 1094745108641640496331942263/207848992868932800\ 22159358*c_0101_5^10 - 1351913975102489326049398201/207848992868932\ 80022159358*c_0101_5^9 + 312895571039480272701686187/10392449643446\ 640011079679*c_0101_5^8 + 1328943369025591490944862975/207848992868\ 93280022159358*c_0101_5^7 - 77325154202920640208585543/207848992868\ 93280022159358*c_0101_5^6 - 894012308021754273157100569/20784899286\ 893280022159358*c_0101_5^5 - 20188810059251840307287069/20784899286\ 893280022159358*c_0101_5^4 + 98776478996501773685193820/10392449643\ 446640011079679*c_0101_5^3 + 71129132854836375779939339/20784899286\ 893280022159358*c_0101_5^2 - 7100940755707521235509768/103924496434\ 46640011079679*c_0101_5 - 5930265062528498507502851/207848992868932\ 80022159358, c_0101_5^20 - 17*c_0101_5^19 - 42*c_0101_5^18 + 131*c_0101_5^17 + 263*c_0101_5^16 - 360*c_0101_5^15 - 719*c_0101_5^14 + 456*c_0101_5^13 + 1094*c_0101_5^12 - 154*c_0101_5^11 - 1178*c_0101_5^10 - 221*c_0101_5^9 + 883*c_0101_5^8 + 371*c_0101_5^7 - 493*c_0101_5^6 - 162*c_0101_5^5 + 123*c_0101_5^4 + 47*c_0101_5^3 - 6*c_0101_5^2 - 13*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB