Magma V2.19-8 Tue Aug 20 2013 16:18:05 on localhost [Seed = 4071845434] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2316 geometric_solution 5.70950933 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.282393436846 0.242098533311 2 0 3 0 0132 2310 0132 0132 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 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.676568524356 1.507702457621 1 3 4 5 0132 3201 0132 0132 0 0 0 0 0 0 0 0 0 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 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.066868262611 0.989935191925 5 4 2 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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.066868262611 0.989935191925 6 6 3 2 0132 2310 2310 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.159762980308 0.819326655138 5 5 2 3 1302 2031 0132 2310 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 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.391406309211 1.152218040991 4 6 6 4 0132 3201 2310 3201 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 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.695944746613 0.844756388479 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['1']), 's_1_6' : negation(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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_5']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_0']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0011_4, c_0011_5, c_0101_0, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 38328423049060519391864916021131994500959/1396608784542849481606254\ 185404070540057*c_0101_3^20 - 5080452050744783279007361374546299171\ 05355/1396608784542849481606254185404070540057*c_0101_3^19 - 2240569902949981747217857714450466515619333/13966087845428494816062\ 54185404070540057*c_0101_3^18 - 65139941124433933485313368287345650\ 69933878/1396608784542849481606254185404070540057*c_0101_3^17 - 16871409701166594961713306860448979522526242/1396608784542849481606\ 254185404070540057*c_0101_3^16 + 2646008949745384777692729682203492\ 3007142790/1396608784542849481606254185404070540057*c_0101_3^15 - 44654953034960645467277984201517566649620143/1396608784542849481606\ 254185404070540057*c_0101_3^14 + 1001951556809069282238773147715482\ 6267509307/107431444964834575508173398877236195389*c_0101_3^13 + 222273197518519502274694556486278781327488066/139660878454284948160\ 6254185404070540057*c_0101_3^12 - 478694194384360877202499687339805\ 183753813447/1396608784542849481606254185404070540057*c_0101_3^11 - 193675795386051533579206991576352756073668055/139660878454284948160\ 6254185404070540057*c_0101_3^10 + 545482412293724907451069875504159\ 684030335479/1396608784542849481606254185404070540057*c_0101_3^9 - 30136662191125071981721185495714611599295577/1396608784542849481606\ 254185404070540057*c_0101_3^8 - 25357542514355088847551563710361316\ 5596435357/1396608784542849481606254185404070540057*c_0101_3^7 + 102990172342764700947465349400340915264221961/139660878454284948160\ 6254185404070540057*c_0101_3^6 + 2761602100550269853299437166144829\ 6420607084/1396608784542849481606254185404070540057*c_0101_3^5 - 44920140369591907536205068336361878065741035/1396608784542849481606\ 254185404070540057*c_0101_3^4 + 87644481956734288566064961700781796\ 8412970/107431444964834575508173398877236195389*c_0101_3^3 + 7395855456864992259178797498401138875367411/13966087845428494816062\ 54185404070540057*c_0101_3^2 - 225854149905477989765287818291433133\ 0531933/1396608784542849481606254185404070540057*c_0101_3 - 407560820959057115893124754746027249114822/139660878454284948160625\ 4185404070540057, c_0011_0 - 1, c_0011_1 - 19382053826451503556259572073965146/851954361338894333926831\ 07753557649*c_0101_3^20 - 259349897294545059971269953142006404/8519\ 5436133889433392683107753557649*c_0101_3^19 - 1171076204119913057150548303825536223/85195436133889433392683107753\ 557649*c_0101_3^18 - 3511651422434389839134490052189627890/85195436\ 133889433392683107753557649*c_0101_3^17 - 9273158687878383730951454826714561361/85195436133889433392683107753\ 557649*c_0101_3^16 + 11342276777453878111962394421778246533/8519543\ 6133889433392683107753557649*c_0101_3^15 - 23436856141273014503652813082826324573/8519543613388943339268310775\ 3557649*c_0101_3^14 + 66878171562914565704456734977560954648/851954\ 36133889433392683107753557649*c_0101_3^13 + 112377611829886130586472521631285348386/851954361338894333926831077\ 53557649*c_0101_3^12 - 205037978278522937187716511355368162240/8519\ 5436133889433392683107753557649*c_0101_3^11 - 102825756780119910017458992738039844059/851954361338894333926831077\ 53557649*c_0101_3^10 + 201325443571531612625270750696731415225/8519\ 5436133889433392683107753557649*c_0101_3^9 + 9163973079232822802808043558259525867/85195436133889433392683107753\ 557649*c_0101_3^8 - 81950596195848619072487508048101363134/85195436\ 133889433392683107753557649*c_0101_3^7 + 25559232342338389458601064252354018129/8519543613388943339268310775\ 3557649*c_0101_3^6 + 9355451796021643831924771749972707405/85195436\ 133889433392683107753557649*c_0101_3^5 - 13323939330248348293340292594542679293/8519543613388943339268310775\ 3557649*c_0101_3^4 + 1522537853536134440592159090521245841/85195436\ 133889433392683107753557649*c_0101_3^3 + 2545992205771008888167290481853353082/85195436133889433392683107753\ 557649*c_0101_3^2 - 159412149205301899706497797956869194/8519543613\ 3889433392683107753557649*c_0101_3 - 78691981304881557484057347786782216/8519543613388943339268310775355\ 7649, c_0011_3 - 9147081836550445899492629926656035/8519543613388943339268310\ 7753557649*c_0101_3^20 - 115410165177927250889128446925281667/85195\ 436133889433392683107753557649*c_0101_3^19 - 460731951123945003363394593537667080/851954361338894333926831077535\ 57649*c_0101_3^18 - 1255473137879987258526117404782944872/851954361\ 33889433392683107753557649*c_0101_3^17 - 3199117781989731410119560706325927232/85195436133889433392683107753\ 557649*c_0101_3^16 + 8439293911454028549440367438757514068/85195436\ 133889433392683107753557649*c_0101_3^15 - 15812411104098013655703716787363690914/8519543613388943339268310775\ 3557649*c_0101_3^14 + 41114668654254103542430131985050268721/851954\ 36133889433392683107753557649*c_0101_3^13 + 27002585960540851841826696463695211392/8519543613388943339268310775\ 3557649*c_0101_3^12 - 131772168586867172237547230776411329919/85195\ 436133889433392683107753557649*c_0101_3^11 + 33860285383951297975385109689001323288/8519543613388943339268310775\ 3557649*c_0101_3^10 + 112428869490834870387173306042969993792/85195\ 436133889433392683107753557649*c_0101_3^9 - 73431914952590560730040631442255391986/8519543613388943339268310775\ 3557649*c_0101_3^8 - 21121904339353303436698348354605074415/8519543\ 6133889433392683107753557649*c_0101_3^7 + 37265358256287751626126895046429302143/8519543613388943339268310775\ 3557649*c_0101_3^6 - 12607283600008083370900720633968164481/8519543\ 6133889433392683107753557649*c_0101_3^5 - 4911395301391339721682461574774578586/85195436133889433392683107753\ 557649*c_0101_3^4 + 5110657096542899608384351324763160051/851954361\ 33889433392683107753557649*c_0101_3^3 - 541098297387566015707088574755160903/851954361338894333926831077535\ 57649*c_0101_3^2 - 440440949375706643670207755299023629/85195436133\ 889433392683107753557649*c_0101_3 + 64080175219689730998753107489513860/8519543613388943339268310775355\ 7649, c_0011_4 - 20249690298172090699026100438232090/851954361338894333926831\ 07753557649*c_0101_3^20 - 262653209110461646155777736333510775/8519\ 5436133889433392683107753557649*c_0101_3^19 - 1112621570663319428925136441123473468/85195436133889433392683107753\ 557649*c_0101_3^18 - 3170073935780252730880369631710593933/85195436\ 133889433392683107753557649*c_0101_3^17 - 8190805390170987450355170315263220800/85195436133889433392683107753\ 557649*c_0101_3^16 + 15832528794250330886313678921208309296/8519543\ 6133889433392683107753557649*c_0101_3^15 - 29261923182414974815217813252611091806/8519543613388943339268310775\ 3557649*c_0101_3^14 + 80706673584114926765868279329570173174/851954\ 36133889433392683107753557649*c_0101_3^13 + 89198389810781375532886401919649951567/8519543613388943339268310775\ 3557649*c_0101_3^12 - 261526652053505055513901325422713872067/85195\ 436133889433392683107753557649*c_0101_3^11 - 16209279169233328850769561144367609492/8519543613388943339268310775\ 3557649*c_0101_3^10 + 241301300568678906209856319597246731630/85195\ 436133889433392683107753557649*c_0101_3^9 - 80752656953425694428646108553127582814/8519543613388943339268310775\ 3557649*c_0101_3^8 - 70266064788508647188326925596037699334/8519543\ 6133889433392683107753557649*c_0101_3^7 + 57327285060290892544933742745240541630/8519543613388943339268310775\ 3557649*c_0101_3^6 - 9703632899193165969055851237293659783/85195436\ 133889433392683107753557649*c_0101_3^5 - 12698443644315186045356924413131753862/8519543613388943339268310775\ 3557649*c_0101_3^4 + 6884078329506793069318018090775377664/85195436\ 133889433392683107753557649*c_0101_3^3 + 811450129803518222232061923513770804/851954361338894333926831077535\ 57649*c_0101_3^2 - 634837522862800500532647118831158019/85195436133\ 889433392683107753557649*c_0101_3 + 11344449270065243360510237593177819/8519543613388943339268310775355\ 7649, c_0011_5 - 26766028196791137525141465816536149/851954361338894333926831\ 07753557649*c_0101_3^20 - 376963334695387075755552715082853966/8519\ 5436133889433392683107753557649*c_0101_3^19 - 1877092740932417186181019735639985301/85195436133889433392683107753\ 557649*c_0101_3^18 - 6110190977996255176663961340122198018/85195436\ 133889433392683107753557649*c_0101_3^17 - 16916314546944760120630236517372428418/8519543613388943339268310775\ 3557649*c_0101_3^16 + 4126964595536463330327205830923192773/8519543\ 6133889433392683107753557649*c_0101_3^15 - 28827570110709639080862163937551750031/8519543613388943339268310775\ 3557649*c_0101_3^14 + 64271336263598864411880418653375595436/851954\ 36133889433392683107753557649*c_0101_3^13 + 209716507154250662898203077099241603482/851954361338894333926831077\ 53557649*c_0101_3^12 - 167089480189737308832100494700994224104/8519\ 5436133889433392683107753557649*c_0101_3^11 - 258930037336907288554494588848096822593/851954361338894333926831077\ 53557649*c_0101_3^10 + 196361009186424483009584794270360168239/8519\ 5436133889433392683107753557649*c_0101_3^9 + 104716573353542270016040983284725166525/851954361338894333926831077\ 53557649*c_0101_3^8 - 111288256390824024965673321220420660411/85195\ 436133889433392683107753557649*c_0101_3^7 + 10948347631849128405022369930808529453/8519543613388943339268310775\ 3557649*c_0101_3^6 + 26408409338675050695651582070833760153/8519543\ 6133889433392683107753557649*c_0101_3^5 - 17431816850097365145997131778904963724/8519543613388943339268310775\ 3557649*c_0101_3^4 - 1723254013945551752913440592872631012/85195436\ 133889433392683107753557649*c_0101_3^3 + 3399788951492303184805067969728576911/85195436133889433392683107753\ 557649*c_0101_3^2 + 48495572640607136758288586027533485/85195436133\ 889433392683107753557649*c_0101_3 - 151028990308595100439476940444037258/851954361338894333926831077535\ 57649, c_0101_0 + 42227850201090745221647059202379941/851954361338894333926831\ 07753557649*c_0101_3^20 + 570625867165676102160345490215011785/8519\ 5436133889433392683107753557649*c_0101_3^19 + 2623931762628300081788312423261230822/85195436133889433392683107753\ 557649*c_0101_3^18 + 7966863740284477262853861332453916719/85195436\ 133889433392683107753557649*c_0101_3^17 + 21186967812109956223282429260870186496/8519543613388943339268310775\ 3557649*c_0101_3^16 - 21960377660721240088755001884051807078/851954\ 36133889433392683107753557649*c_0101_3^15 + 48261166265718999205617031336944176540/8519543613388943339268310775\ 3557649*c_0101_3^14 - 133575195919646264867791654906313898914/85195\ 436133889433392683107753557649*c_0101_3^13 - 269556663364045107111325824494453574111/851954361338894333926831077\ 53557649*c_0101_3^12 + 434945844128647432989593386302040533188/8519\ 5436133889433392683107753557649*c_0101_3^11 + 268173183521204488445869277876296864160/851954361338894333926831077\ 53557649*c_0101_3^10 - 465817050922785292684256729939611575255/8519\ 5436133889433392683107753557649*c_0101_3^9 - 30650012858703610867092520021281462833/8519543613388943339268310775\ 3557649*c_0101_3^8 + 203295014292087516065436237790227413369/851954\ 36133889433392683107753557649*c_0101_3^7 - 69147885336423557802906845709531815394/8519543613388943339268310775\ 3557649*c_0101_3^6 - 21408578938274488527754844951670231930/8519543\ 6133889433392683107753557649*c_0101_3^5 + 33377550567058882768887634965863283721/8519543613388943339268310775\ 3557649*c_0101_3^4 - 5406230446540864133728665992874024691/85195436\ 133889433392683107753557649*c_0101_3^3 - 5506571541476031330626333325967061729/85195436133889433392683107753\ 557649*c_0101_3^2 + 589017234740215255665205706594343397/8519543613\ 3889433392683107753557649*c_0101_3 + 244311202772084195558935739284737403/851954361338894333926831077535\ 57649, c_0101_3^21 + 14*c_0101_3^20 + 69*c_0101_3^19 + 223*c_0101_3^18 + 615*c_0101_3^17 - 202*c_0101_3^16 + 1102*c_0101_3^15 - 2549*c_0101_3^14 - 7537*c_0101_3^13 + 6646*c_0101_3^12 + 9099*c_0101_3^11 - 7292*c_0101_3^10 - 3750*c_0101_3^9 + 3828*c_0101_3^8 - 182*c_0101_3^7 - 921*c_0101_3^6 + 548*c_0101_3^5 + 109*c_0101_3^4 - 132*c_0101_3^3 - 15*c_0101_3^2 + 8*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB