Magma V2.19-8 Tue Aug 20 2013 16:16:09 on localhost [Seed = 1814950059] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0420 geometric_solution 4.47799909 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 -1 0 1 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.721273572517 0.051045135808 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 -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 1 -1 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.485963732787 0.171736975827 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 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 -1 0 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.618327737065 3.550559239278 2 2 5 4 0132 3201 0132 0132 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 -1 1 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.218535850533 0.509401332034 5 5 3 6 1230 3012 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 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.274586057312 1.174549558696 4 4 6 3 1230 3012 3201 0132 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 1 -1 -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 1.274586057312 1.174549558696 5 6 4 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.380636460906 0.616305202964 ==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' : 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_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 32404102550945302320062230176134385597688669/1346185744439376441981\ 662402802259841221879*c_0101_5^19 + 579243082693686628076076576791451333643673606/134618574443937644198\ 1662402802259841221879*c_0101_5^18 - 3428381987826694477074494824967612452235384079/13461857444393764419\ 81662402802259841221879*c_0101_5^17 + 2698805137583696988391671256191231195623442167/13461857444393764419\ 81662402802259841221879*c_0101_5^16 - 11127617484410467515358097305536505427016604020/1346185744439376441\ 981662402802259841221879*c_0101_5^15 + 147741752672422590098812361624109696283135398754/134618574443937644\ 1981662402802259841221879*c_0101_5^14 - 80748358537677002923019381143033878592164637948/1346185744439376441\ 981662402802259841221879*c_0101_5^13 + 75846311947036359837668010351247341682783170465/1346185744439376441\ 981662402802259841221879*c_0101_5^12 + 53400569914292344892485253697364734095791871037/1346185744439376441\ 981662402802259841221879*c_0101_5^11 - 305392558209167435815307815496363100492459126643/134618574443937644\ 1981662402802259841221879*c_0101_5^10 + 48174120891186778038990185702620702266130222836/1346185744439376441\ 981662402802259841221879*c_0101_5^9 - 143033277244002803490171582506962613438345229256/134618574443937644\ 1981662402802259841221879*c_0101_5^8 + 29601059889165297340962978396591877611786858261/1346185744439376441\ 981662402802259841221879*c_0101_5^7 + 35197816599423721557675276459987618050040357810/1346185744439376441\ 981662402802259841221879*c_0101_5^6 + 6200991160704505933605801585254483083691355547/13461857444393764419\ 81662402802259841221879*c_0101_5^5 + 15540216407442021210929647604618121457952801063/1346185744439376441\ 981662402802259841221879*c_0101_5^4 - 297053758088804736463501517989159584583802002/134618574443937644198\ 1662402802259841221879*c_0101_5^3 - 613368247347578416948393832868386776865713887/134618574443937644198\ 1662402802259841221879*c_0101_5^2 - 232167551264726617511761905141764586833356344/134618574443937644198\ 1662402802259841221879*c_0101_5 - 325250993437205283155506568281776\ 592322877287/1346185744439376441981662402802259841221879, c_0011_0 - 1, c_0011_4 - 104659063992345104717676971274925183381285/13461857444393764\ 41981662402802259841221879*c_0101_5^19 + 1830544050450545026399203933389441555528894/13461857444393764419816\ 62402802259841221879*c_0101_5^18 - 10332001953761069434688431932521263649499140/1346185744439376441981\ 662402802259841221879*c_0101_5^17 + 4084268843501667207071140570185713195244697/13461857444393764419816\ 62402802259841221879*c_0101_5^16 - 30403230103775209619919910225011985814997033/1346185744439376441981\ 662402802259841221879*c_0101_5^15 + 461624897903498875561149719352179714640036269/134618574443937644198\ 1662402802259841221879*c_0101_5^14 - 69933794066440818633483966498015743575998171/1346185744439376441981\ 662402802259841221879*c_0101_5^13 + 50370535712508087914752710035043365835154399/1346185744439376441981\ 662402802259841221879*c_0101_5^12 + 318031530559010773582380853339763636033583536/134618574443937644198\ 1662402802259841221879*c_0101_5^11 - 969487408768953383759893559677953351699447278/134618574443937644198\ 1662402802259841221879*c_0101_5^10 - 250923263393340149757590948010433388753775886/134618574443937644198\ 1662402802259841221879*c_0101_5^9 - 214079970302979578061697245721861192261528673/134618574443937644198\ 1662402802259841221879*c_0101_5^8 - 108993972566155681343234066916791811052473961/134618574443937644198\ 1662402802259841221879*c_0101_5^7 + 245731016899274926156880462358938208282761306/134618574443937644198\ 1662402802259841221879*c_0101_5^6 + 29936555797635773419705329467430110859344633/1346185744439376441981\ 662402802259841221879*c_0101_5^5 + 41940841421922128153462512520179762150432361/1346185744439376441981\ 662402802259841221879*c_0101_5^4 + 9297138411239933917904640111091146381076891/13461857444393764419816\ 62402802259841221879*c_0101_5^3 - 108888906473416571585851299430639\ 45172182716/1346185744439376441981662402802259841221879*c_0101_5^2 - 250252225481877324895189768802897553806253/134618574443937644198166\ 2402802259841221879*c_0101_5 - 124534405169873915110226310782845239\ 4517245/1346185744439376441981662402802259841221879, c_0011_6 + 48451685428855122830661787794792512174621/134618574443937644\ 1981662402802259841221879*c_0101_5^19 - 853493088914291598358148664276607716221778/134618574443937644198166\ 2402802259841221879*c_0101_5^18 + 488840464838852709617236742101137\ 6898681687/1346185744439376441981662402802259841221879*c_0101_5^17 - 2464436675555814937741482359821291798116524/13461857444393764419816\ 62402802259841221879*c_0101_5^16 + 14004406736142927813194743959690738051023955/1346185744439376441981\ 662402802259841221879*c_0101_5^15 - 213891325006019333830193908320126492245239937/134618574443937644198\ 1662402802259841221879*c_0101_5^14 + 57307438409346548143950716377279434567131678/1346185744439376441981\ 662402802259841221879*c_0101_5^13 - 20033072763265072430625203409526973328984400/1346185744439376441981\ 662402802259841221879*c_0101_5^12 - 209721130144616828372457493190730537227180971/134618574443937644198\ 1662402802259841221879*c_0101_5^11 + 521200899273709438356695709290687260563247017/134618574443937644198\ 1662402802259841221879*c_0101_5^10 + 26144538887681365601790416720983048280770868/1346185744439376441981\ 662402802259841221879*c_0101_5^9 + 62860486060836990450510489846718019595828719/1346185744439376441981\ 662402802259841221879*c_0101_5^8 + 175575456371924095504085364990373811791079081/134618574443937644198\ 1662402802259841221879*c_0101_5^7 - 175922257089488123001368440143774593218555735/134618574443937644198\ 1662402802259841221879*c_0101_5^6 + 51016391015980926526962609832013030409215627/1346185744439376441981\ 662402802259841221879*c_0101_5^5 - 47720452366365641101627271566162446576354448/1346185744439376441981\ 662402802259841221879*c_0101_5^4 - 11755241617593991917739515264783370608855481/1346185744439376441981\ 662402802259841221879*c_0101_5^3 + 6495342459808457603500328937806031326415111/13461857444393764419816\ 62402802259841221879*c_0101_5^2 - 300192157255731838060394612979320\ 5979476372/1346185744439376441981662402802259841221879*c_0101_5 + 1650223192863986304455574826505731780903528/13461857444393764419816\ 62402802259841221879, c_0101_0 + 352887528235682042744460585334206798477119/13461857444393764\ 41981662402802259841221879*c_0101_5^19 - 6408691532368774622878347488436333173891661/13461857444393764419816\ 62402802259841221879*c_0101_5^18 + 39070047710109889929758378266048133461210214/1346185744439376441981\ 662402802259841221879*c_0101_5^17 - 38870678268782535485416403323357050743581453/1346185744439376441981\ 662402802259841221879*c_0101_5^16 + 122489351318356738013002324364570423854513678/134618574443937644198\ 1662402802259841221879*c_0101_5^15 - 1636683408436408161702104423312322771198153171/13461857444393764419\ 81662402802259841221879*c_0101_5^14 + 1316199454952973871964089379750282963527662101/13461857444393764419\ 81662402802259841221879*c_0101_5^13 - 779694298563225113636124671561988140115880841/134618574443937644198\ 1662402802259841221879*c_0101_5^12 - 574924205308035794155020654069177770200141127/134618574443937644198\ 1662402802259841221879*c_0101_5^11 + 3618775019669694763944320276528928986160068428/13461857444393764419\ 81662402802259841221879*c_0101_5^10 - 1353909804753862152081690607230046880610998797/13461857444393764419\ 81662402802259841221879*c_0101_5^9 + 1050560235550114674458455446837080532533414030/13461857444393764419\ 81662402802259841221879*c_0101_5^8 - 545595951847363650116716506883066395054404637/134618574443937644198\ 1662402802259841221879*c_0101_5^7 - 456700881961851740053189044840458334996258766/134618574443937644198\ 1662402802259841221879*c_0101_5^6 + 121119528023232366152447081824613082455335679/134618574443937644198\ 1662402802259841221879*c_0101_5^5 - 65893347122152233432994611443362411166032716/1346185744439376441981\ 662402802259841221879*c_0101_5^4 + 28589864742341257298105744679977062857655621/1346185744439376441981\ 662402802259841221879*c_0101_5^3 + 13770382168378392066832388013656591097651336/1346185744439376441981\ 662402802259841221879*c_0101_5^2 - 280209777731367784169407032466111125768999/134618574443937644198166\ 2402802259841221879*c_0101_5 + 401853732370431031688936073165444993\ 773159/1346185744439376441981662402802259841221879, c_0101_1 - 57812826787215442312699625228073927697397/134618574443937644\ 1981662402802259841221879*c_0101_5^19 + 1086128945669519057801254880152365050716919/13461857444393764419816\ 62402802259841221879*c_0101_5^18 - 7014411358776784327616903926038022875277169/13461857444393764419816\ 62402802259841221879*c_0101_5^17 + 9591642729537408070531788091332887016312392/13461857444393764419816\ 62402802259841221879*c_0101_5^16 - 19404053330269783468694370272067099784578788/1346185744439376441981\ 662402802259841221879*c_0101_5^15 + 277024180637517463106780133388164270188650520/134618574443937644198\ 1662402802259841221879*c_0101_5^14 - 368674578416096827597354936034317905251099841/134618574443937644198\ 1662402802259841221879*c_0101_5^13 + 62869795536568958972994892599364565815916462/1346185744439376441981\ 662402802259841221879*c_0101_5^12 + 125245533579806350320527616831726411253054317/134618574443937644198\ 1662402802259841221879*c_0101_5^11 - 746636647605345953508841679067489241124604550/134618574443937644198\ 1662402802259841221879*c_0101_5^10 + 507897767604235965539085190990864752517603130/134618574443937644198\ 1662402802259841221879*c_0101_5^9 + 113202878906498141067775625471116450388209504/134618574443937644198\ 1662402802259841221879*c_0101_5^8 + 125294468638631758774900702643355475714815825/134618574443937644198\ 1662402802259841221879*c_0101_5^7 + 190255911863962847450325501166290850294106372/134618574443937644198\ 1662402802259841221879*c_0101_5^6 - 86854092556475095377903938755147405153347538/1346185744439376441981\ 662402802259841221879*c_0101_5^5 - 35714594735277734877681429165135965536765751/1346185744439376441981\ 662402802259841221879*c_0101_5^4 - 10957765568571243387501681692725147194797690/1346185744439376441981\ 662402802259841221879*c_0101_5^3 - 16502821159768368549657984610725837594414482/1346185744439376441981\ 662402802259841221879*c_0101_5^2 + 959385544350073156107007536619053770980501/134618574443937644198166\ 2402802259841221879*c_0101_5 + 119725580104361920445195043359735194\ 3406956/1346185744439376441981662402802259841221879, c_0101_2 - 77418556799271786637057111192240658163151/134618574443937644\ 1981662402802259841221879*c_0101_5^19 + 1403716026523159343968138418050885189193619/13461857444393764419816\ 62402802259841221879*c_0101_5^18 - 8502606108350521322578856093673326785062561/13461857444393764419816\ 62402802259841221879*c_0101_5^17 + 7772323835012734722474779684995488100269430/13461857444393764419816\ 62402802259841221879*c_0101_5^16 - 23530274368135519519332404229088023671231732/1346185744439376441981\ 662402802259841221879*c_0101_5^15 + 355073018073421446180250020742249803360008456/134618574443937644198\ 1662402802259841221879*c_0101_5^14 - 268263047101975713638555468905680878892796513/134618574443937644198\ 1662402802259841221879*c_0101_5^13 + 33183583077154180430162944930235577237196296/1346185744439376441981\ 662402802259841221879*c_0101_5^12 + 240154009551007155405609118569768470130599877/134618574443937644198\ 1662402802259841221879*c_0101_5^11 - 865967349005358109615782586759598780916344774/134618574443937644198\ 1662402802259841221879*c_0101_5^10 + 243776529312511328213446968180701918366719575/134618574443937644198\ 1662402802259841221879*c_0101_5^9 + 53176895246423105537504991535785907782934395/1346185744439376441981\ 662402802259841221879*c_0101_5^8 - 2197622206521412174083738540211890448794865/13461857444393764419816\ 62402802259841221879*c_0101_5^7 + 213670187918749868285460299487239\ 966234237733/1346185744439376441981662402802259841221879*c_0101_5^6 - 88820091491627217036849659015251139959727482/13461857444393764419\ 81662402802259841221879*c_0101_5^5 - 4166051600637213816803166707413044608762685/13461857444393764419816\ 62402802259841221879*c_0101_5^4 - 417436766776795220327665547086602\ 3839210857/1346185744439376441981662402802259841221879*c_0101_5^3 - 8940658420385467332607993335409046018840840/13461857444393764419816\ 62402802259841221879*c_0101_5^2 + 249487147662381900206270642053030\ 8364330822/1346185744439376441981662402802259841221879*c_0101_5 - 17679718674675030550049685327388532796691/1346185744439376441981662\ 402802259841221879, c_0101_5^20 - 18*c_0101_5^19 + 108*c_0101_5^18 - 96*c_0101_5^17 + 351*c_0101_5^16 - 4599*c_0101_5^15 + 3050*c_0101_5^14 - 2536*c_0101_5^13 - 1463*c_0101_5^12 + 9705*c_0101_5^11 - 2636*c_0101_5^10 + 4353*c_0101_5^9 - 1337*c_0101_5^8 - 1077*c_0101_5^7 + 3*c_0101_5^6 - 443*c_0101_5^5 + 63*c_0101_5^4 + 21*c_0101_5^3 + 3*c_0101_5^2 + 9*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB