Magma V2.19-8 Tue Aug 20 2013 16:17:35 on localhost [Seed = 2530675279] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1820 geometric_solution 5.47953481 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 -1 0 1 0 0 -1 1 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 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.523262870763 0.278815457670 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 1 -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.988258555458 0.514305663604 1 4 5 3 0132 0132 0132 2310 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 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.377408630751 1.072929681870 2 5 4 1 3201 1023 1023 0132 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 0 0 0 0.377408630751 1.072929681870 4 2 3 4 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 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.939704690567 0.833922798697 3 6 6 2 1023 0132 3201 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 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.113544427638 0.553364332518 5 5 6 6 2310 0132 1230 3012 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 2.333613972421 0.650156948539 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], '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_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], '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_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 16156375242177162198110750088904350421110159993049/1470347000315397\ 2398721077152898451984488495831392*c_0101_6^28 + 144579959520218738254201262190434435293209458724727/367586750078849\ 3099680269288224612996122123957848*c_0101_6^26 - 15828078754452033696539060097388659792863231714177539/1470347000315\ 3972398721077152898451984488495831392*c_0101_6^24 + 70454185971098056191626998266152471880485746442587025/1470347000315\ 3972398721077152898451984488495831392*c_0101_6^22 - 81440952428428576716662100867546660417614865984257395/3675867500788\ 493099680269288224612996122123957848*c_0101_6^20 + 1652914603319862144788980247833554670162483964729758519/14703470003\ 153972398721077152898451984488495831392*c_0101_6^18 - 108970180198064024856736421231062424885170910404035709/459483437598\ 561637460033661028076624515265494731*c_0101_6^16 + 4021557150005672285856876954931984103284027285888804907/14703470003\ 153972398721077152898451984488495831392*c_0101_6^14 - 1474219005044121372248602646151116596733968186513589405/49011566677\ 17990799573692384299483994829498610464*c_0101_6^12 + 1751475087508100303346105512970252222944780929506231725/73517350015\ 76986199360538576449225992244247915696*c_0101_6^10 - 1128007544956698877187868192107409040364390701740345301/14703470003\ 153972398721077152898451984488495831392*c_0101_6^8 + 27504453975252902260812245487549824534514842038557149/7351735001576\ 986199360538576449225992244247915696*c_0101_6^6 - 4455086623275934436451826787609160928150983937284391/49011566677179\ 90799573692384299483994829498610464*c_0101_6^4 + 518732539227149063772314932747905891918654149381387/459483437598561\ 637460033661028076624515265494731*c_0101_6^2 - 778104684577017373231456315726751867461832141940409/147034700031539\ 72398721077152898451984488495831392, c_0011_0 - 1, c_0011_1 - 297726659184624040255049069581812653308485/12657945939354315\ 08154362702556684916020015137*c_0101_6^28 + 10545539884211423536538999230889631786093411/1265794593935431508154\ 362702556684916020015137*c_0101_6^26 - 288055367606398714177570705427127468033278222/126579459393543150815\ 4362702556684916020015137*c_0101_6^24 + 1202147222481672024449901206455180663540416645/12657945939354315081\ 54362702556684916020015137*c_0101_6^22 - 5875714039655494844549708645584559569726903371/12657945939354315081\ 54362702556684916020015137*c_0101_6^20 + 29641686104820650188267086368768512285442718298/1265794593935431508\ 154362702556684916020015137*c_0101_6^18 - 59553881454288552282627470771946047784407678471/1265794593935431508\ 154362702556684916020015137*c_0101_6^16 + 84455689539623996566356595554242270182913125017/1265794593935431508\ 154362702556684916020015137*c_0101_6^14 - 114787336500640240532726161805655451077764081540/126579459393543150\ 8154362702556684916020015137*c_0101_6^12 + 89649789440205116361865984552860367612991222747/1265794593935431508\ 154362702556684916020015137*c_0101_6^10 - 62333297323251595310039776533169038573131198184/1265794593935431508\ 154362702556684916020015137*c_0101_6^8 + 33132886797527963283750494670313303309637105843/1265794593935431508\ 154362702556684916020015137*c_0101_6^6 + 2874018652994762576246793512762056402223192804/12657945939354315081\ 54362702556684916020015137*c_0101_6^4 - 22039665687685679899278087464953595161840611/1265794593935431508154\ 362702556684916020015137*c_0101_6^2 - 1127627599866648638724545118266904762852573673/12657945939354315081\ 54362702556684916020015137, c_0011_3 - 41095307034355802709767562545644033332688839/253158918787086\ 3016308725405113369832040030274*c_0101_6^29 + 740368931393407468695115178834938792896798742/126579459393543150815\ 4362702556684916020015137*c_0101_6^27 - 40609371561207936882904752329679907456937793655/2531589187870863016\ 308725405113369832040030274*c_0101_6^25 + 188769163465882485994937087660995764900087417765/253158918787086301\ 6308725405113369832040030274*c_0101_6^23 - 435976786621257734327938330838324475918864680660/126579459393543150\ 8154362702556684916020015137*c_0101_6^21 + 4403488636094640945640147254404835705096751599229/25315891878708630\ 16308725405113369832040030274*c_0101_6^19 - 4939778285609948219824857601199702044991336701574/12657945939354315\ 08154362702556684916020015137*c_0101_6^17 + 12405994011417695364545689232762439245232882309523/2531589187870863\ 016308725405113369832040030274*c_0101_6^15 - 13760180696577576147935137922769801568352537711217/2531589187870863\ 016308725405113369832040030274*c_0101_6^13 + 5799243275483860180124947822576064089569301206529/12657945939354315\ 08154362702556684916020015137*c_0101_6^11 - 5042968726829094911240651302502770710136337701807/25315891878708630\ 16308725405113369832040030274*c_0101_6^9 + 396064701608461242909399216676980175557601700386/126579459393543150\ 8154362702556684916020015137*c_0101_6^7 + 6322642464812982398607699949875885276372316169/25315891878708630163\ 08725405113369832040030274*c_0101_6^5 + 27475576562539499057955530582702587388227682593/1265794593935431508\ 154362702556684916020015137*c_0101_6^3 - 18972794493420980607629751687487998566284283037/2531589187870863016\ 308725405113369832040030274*c_0101_6, c_0101_0 + 37584953607894912143552282160700381334987059/126579459393543\ 1508154362702556684916020015137*c_0101_6^29 - 1344611032420419483506147138998369592776138808/12657945939354315081\ 54362702556684916020015137*c_0101_6^27 + 36794455459592429839243983792163176868553867814/1265794593935431508\ 154362702556684916020015137*c_0101_6^25 - 163166569630651164076470041137122372609943555882/126579459393543150\ 8154362702556684916020015137*c_0101_6^23 + 754573985646487042043845212020527869626139689809/126579459393543150\ 8154362702556684916020015137*c_0101_6^21 - 3830275089307394626356919556422447000536146733304/12657945939354315\ 08154362702556684916020015137*c_0101_6^19 + 8036081987506374081566779665393286933888635799637/12657945939354315\ 08154362702556684916020015137*c_0101_6^17 - 9196808011452809609330296152251719971794219307223/12657945939354315\ 08154362702556684916020015137*c_0101_6^15 + 10117205913489800875945543541619964220599065235244/1265794593935431\ 508154362702556684916020015137*c_0101_6^13 - 7974244296657847675416681538570596733541154422614/12657945939354315\ 08154362702556684916020015137*c_0101_6^11 + 2494602355778540603308267191922396244990395844741/12657945939354315\ 08154362702556684916020015137*c_0101_6^9 - 114266587543702616836974268809338567259339916023/126579459393543150\ 8154362702556684916020015137*c_0101_6^7 + 57758501036579535261537518793740004690319085139/1265794593935431508\ 154362702556684916020015137*c_0101_6^5 - 45699933001637848689352007957760014448486324197/1265794593935431508\ 154362702556684916020015137*c_0101_6^3 + 3755538465071948787112826920439674823865356710/12657945939354315081\ 54362702556684916020015137*c_0101_6, c_0101_1 - 4081773225770119013826160100382389843377104/1265794593935431\ 508154362702556684916020015137*c_0101_6^28 + 144067268050554404359776498646414217899242527/126579459393543150815\ 4362702556684916020015137*c_0101_6^26 - 3925948277316770017403072040865528869073007670/12657945939354315081\ 54362702556684916020015137*c_0101_6^24 + 15806304408007256331174837994919115400283896670/1265794593935431508\ 154362702556684916020015137*c_0101_6^22 - 73557563457575848493859480934973028945185488977/1265794593935431508\ 154362702556684916020015137*c_0101_6^20 + 377225098619291756820434835225316980838339929101/126579459393543150\ 8154362702556684916020015137*c_0101_6^18 - 675694256244972333922236726515660599393567288007/126579459393543150\ 8154362702556684916020015137*c_0101_6^16 + 593129263548297385344007012371178098975709012273/126579459393543150\ 8154362702556684916020015137*c_0101_6^14 - 651939770082228672067034660768629516179378195788/126579459393543150\ 8154362702556684916020015137*c_0101_6^12 + 379274777557445537369291885370327343085514257404/126579459393543150\ 8154362702556684916020015137*c_0101_6^10 + 103644744684363581773226698812417513675354356864/126579459393543150\ 8154362702556684916020015137*c_0101_6^8 - 79850145514779065738753181930493738160776500125/1265794593935431508\ 154362702556684916020015137*c_0101_6^6 - 13893834713649492330769679017171220162020740979/1265794593935431508\ 154362702556684916020015137*c_0101_6^4 + 1128194003223995848320284498301070396656251778/12657945939354315081\ 54362702556684916020015137*c_0101_6^2 + 840639355253494584747829415013462709422923377/126579459393543150815\ 4362702556684916020015137, c_0101_4 - 77703080163356347739021549093950369603101543/253158918787086\ 3016308725405113369832040030274*c_0101_6^29 + 1396134770765463499654480938236607575385756509/12657945939354315081\ 54362702556684916020015137*c_0101_6^27 - 76514247511404292253533519057680311283483882855/2531589187870863016\ 308725405113369832040030274*c_0101_6^25 + 349526666699077121687928739717107734833513590647/253158918787086301\ 6308725405113369832040030274*c_0101_6^23 - 807440723154822616174904398895699765886833408995/126579459393543150\ 8154362702556684916020015137*c_0101_6^21 + 8171092373723239173481903790734893789633457762919/25315891878708630\ 16308725405113369832040030274*c_0101_6^19 - 8947241052183308510204489965464532916970578581518/12657945939354315\ 08154362702556684916020015137*c_0101_6^17 + 21746356420658144681810732729320738221215499031475/2531589187870863\ 016308725405113369832040030274*c_0101_6^15 - 24034890821927425351881925685149560911589971772865/2531589187870863\ 016308725405113369832040030274*c_0101_6^13 + 9914970509598470982040510996162028017642205301394/12657945939354315\ 08154362702556684916020015137*c_0101_6^11 - 7826512215376127293245312787129815144196115006493/25315891878708630\ 16308725405113369832040030274*c_0101_6^9 + 494377965476415426452789963621364982928512425987/126579459393543150\ 8154362702556684916020015137*c_0101_6^7 - 45086750452051108480314486650538610455196281151/2531589187870863016\ 308725405113369832040030274*c_0101_6^5 + 50178592409873145585332553514217016666388906991/1265794593935431508\ 154362702556684916020015137*c_0101_6^3 - 20581867689555855944378846571862180819798451265/2531589187870863016\ 308725405113369832040030274*c_0101_6, c_0101_6^30 - 36*c_0101_6^28 + 987*c_0101_6^26 - 4561*c_0101_6^24 + 21044*c_0101_6^22 - 106383*c_0101_6^20 + 236536*c_0101_6^18 - 291843*c_0101_6^16 + 322087*c_0101_6^14 - 269986*c_0101_6^12 + 111117*c_0101_6^10 - 15378*c_0101_6^8 + 1037*c_0101_6^6 - 1384*c_0101_6^4 + 321*c_0101_6^2 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB