Magma V2.19-8 Tue Aug 20 2013 16:16:07 on localhost [Seed = 3052677497] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0372 geometric_solution 4.42793011 oriented_manifold CS_known -0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 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 -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 8.483528159780 4.633283993316 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -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 -1 0 1 -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.107026960842 0.088006970215 1 1 3 3 2310 0132 0132 2310 0 0 0 0 0 -1 1 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 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 3.447628235130 4.140749280465 2 4 5 2 3201 0132 0132 0132 0 0 0 0 0 1 0 -1 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 -1 1 -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.079688395184 0.329044840863 5 3 5 6 2310 0132 2103 0132 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253595520226 1.246949319837 4 6 4 3 2103 2310 3201 0132 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 -1 0 1 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.253595520226 1.246949319837 6 6 4 5 1302 2031 0132 3201 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 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.595638036643 0.598202861954 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_5'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], '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_0011_6']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : negation(d['c_0110_6']), 'c_1001_2' : d['c_0011_5'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0011_5']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_5']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : d['c_0011_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_5, c_0011_6, c_0101_2, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 134790215004353746205699295165159917517055017100176/254407043016238\ 3756213275306351892832634939232973*c_0110_6^21 - 277912519529482103959423932806409493974622776620729/254407043016238\ 3756213275306351892832634939232973*c_0110_6^20 + 2003947959952595849063736436760523094470048032601668/25440704301623\ 83756213275306351892832634939232973*c_0110_6^19 + 930917847508335045096404345786926460248228800278011/254407043016238\ 3756213275306351892832634939232973*c_0110_6^18 - 7480410197844764203052887789959256523050435258844103/25440704301623\ 83756213275306351892832634939232973*c_0110_6^17 - 5306998609142406289606917644865682363595894135796199/25440704301623\ 83756213275306351892832634939232973*c_0110_6^16 - 7913946319702381600746702791052180491980233007408687/25440704301623\ 83756213275306351892832634939232973*c_0110_6^15 - 5329388681623391932758836646286332728441627837494585/23127913001476\ 2159655752300577444802966812657543*c_0110_6^14 - 50990339647638477901621404040467557859793201973759705/2544070430162\ 383756213275306351892832634939232973*c_0110_6^13 + 178080845979174127515952389146915416647978590313980908/254407043016\ 2383756213275306351892832634939232973*c_0110_6^12 - 19459432731263749124851087661011183673032614292870253/2312791300147\ 62159655752300577444802966812657543*c_0110_6^11 + 365028719025179582609808542176724585238723927826605370/254407043016\ 2383756213275306351892832634939232973*c_0110_6^10 + 8499736439003881619594002961961229700764136841322968/23127913001476\ 2159655752300577444802966812657543*c_0110_6^9 + 26545085712450094840007043729818883222261165486409732/2544070430162\ 383756213275306351892832634939232973*c_0110_6^8 + 240296037522061162818072935089962177790334444117912048/254407043016\ 2383756213275306351892832634939232973*c_0110_6^7 + 176071391763991104107652544146173265921240665906073582/254407043016\ 2383756213275306351892832634939232973*c_0110_6^6 - 156005981707296142703483179171437448603129116230278397/254407043016\ 2383756213275306351892832634939232973*c_0110_6^5 - 454884217487056383390169979203461573992314573492669123/254407043016\ 2383756213275306351892832634939232973*c_0110_6^4 - 250394228097758897356105961923042627916056355045236069/254407043016\ 2383756213275306351892832634939232973*c_0110_6^3 - 60152813008635750512768292420395511084657380446585905/2544070430162\ 383756213275306351892832634939232973*c_0110_6^2 - 114093976201633808612134085254361042147795286194058/231279130014762\ 159655752300577444802966812657543*c_0110_6 + 5048160722276284657572716920353880001417164205696270/25440704301623\ 83756213275306351892832634939232973, c_0011_0 - 1, c_0011_1 - 721869388402391149253973135233063336230/20993503500572962834\ 22007502949565686338129*c_0110_6^21 - 1007703219613123639395098929452392477137/20993503500572962834220075\ 02949565686338129*c_0110_6^20 + 10789748570394294313288198110214505\ 496611/2099350350057296283422007502949565686338129*c_0110_6^19 - 2477983701649343073056086987877317881164/20993503500572962834220075\ 02949565686338129*c_0110_6^18 - 27890795807351828700434805496890019\ 811399/2099350350057296283422007502949565686338129*c_0110_6^17 - 21689173529737766632163672579130064330677/2099350350057296283422007\ 502949565686338129*c_0110_6^16 - 5900904875141894462104063376987991\ 3001802/2099350350057296283422007502949565686338129*c_0110_6^15 - 236413127916395620578381677136432596691710/209935035005729628342200\ 7502949565686338129*c_0110_6^14 - 156399091363736469874766425435711\ 069322418/2099350350057296283422007502949565686338129*c_0110_6^13 + 810339519404635211756259454744559102562791/209935035005729628342200\ 7502949565686338129*c_0110_6^12 - 149497408469350634349760394007079\ 9721838012/2099350350057296283422007502949565686338129*c_0110_6^11 + 3887955034082694218186821059748415336929009/20993503500572962834220\ 07502949565686338129*c_0110_6^10 - 4618833445950014870914953825401337017931290/20993503500572962834220\ 07502949565686338129*c_0110_6^9 + 751763777337950967509009472738243\ 7969825567/2099350350057296283422007502949565686338129*c_0110_6^8 - 6464755575625859356420254670677233583484660/20993503500572962834220\ 07502949565686338129*c_0110_6^7 + 548844258715068480484384270758730\ 2894669527/2099350350057296283422007502949565686338129*c_0110_6^6 - 1673417446764554217039107438404988475578558/20993503500572962834220\ 07502949565686338129*c_0110_6^5 - 281951889081854258201816648807431\ 8475817306/2099350350057296283422007502949565686338129*c_0110_6^4 - 636805762853549873977068411751660759194151/209935035005729628342200\ 7502949565686338129*c_0110_6^3 - 1296061215879226072065569624634206\ 58000452/2099350350057296283422007502949565686338129*c_0110_6^2 + 453507235933419496073241120220686090886073/209935035005729628342200\ 7502949565686338129*c_0110_6 - 184907981933779037372580727463025051\ 9251954/2099350350057296283422007502949565686338129, c_0011_3 - 790809307051734245563841603130103496884/20993503500572962834\ 22007502949565686338129*c_0110_6^21 - 1637832419203536671644085803699728615255/20993503500572962834220075\ 02949565686338129*c_0110_6^20 + 10942801192148047201351153000216319\ 092272/2099350350057296283422007502949565686338129*c_0110_6^19 + 5767860944478914510267468429892251991562/20993503500572962834220075\ 02949565686338129*c_0110_6^18 - 30265819855137768769088350533654454\ 252756/2099350350057296283422007502949565686338129*c_0110_6^17 - 56911790018592019401023974253547252321958/2099350350057296283422007\ 502949565686338129*c_0110_6^16 - 7129505938165044302287324849681741\ 4332791/2099350350057296283422007502949565686338129*c_0110_6^15 - 273516407270988740089800038220788645074694/209935035005729628342200\ 7502949565686338129*c_0110_6^14 - 387454971403861622437726431844064\ 952931887/2099350350057296283422007502949565686338129*c_0110_6^13 + 770233517751468874946060064196976486008915/209935035005729628342200\ 7502949565686338129*c_0110_6^12 - 891260383267901224984518311341322\ 922362770/2099350350057296283422007502949565686338129*c_0110_6^11 + 3009336748938515917247034825838879059111440/20993503500572962834220\ 07502949565686338129*c_0110_6^10 - 3515916870748934894475582674406337996858132/20993503500572962834220\ 07502949565686338129*c_0110_6^9 + 806265091942075066523148178128775\ 4437187717/2099350350057296283422007502949565686338129*c_0110_6^8 - 7873154154273893000408401090693195868442854/20993503500572962834220\ 07502949565686338129*c_0110_6^7 + 829657838676728115802329665150678\ 3536867360/2099350350057296283422007502949565686338129*c_0110_6^6 - 2601078033681628857901778106401111775844091/20993503500572962834220\ 07502949565686338129*c_0110_6^5 - 402289830609350698256106383741652\ 1734462598/2099350350057296283422007502949565686338129*c_0110_6^4 - 943449791356402500036069765390697488112415/209935035005729628342200\ 7502949565686338129*c_0110_6^3 - 7744378179498016741464542077102728\ 8882903/2099350350057296283422007502949565686338129*c_0110_6^2 + 1717177392113828736867368829012404888407594/20993503500572962834220\ 07502949565686338129*c_0110_6 - 73326654147210357800572281969306076\ 4354696/2099350350057296283422007502949565686338129, c_0011_5 + 97002218517856037084617053359560927219888880/564095439060395\ 5113554934160425482999190552623*c_0110_6^21 + 188065265729781635258777162966264535145306588/564095439060395511355\ 4934160425482999190552623*c_0110_6^20 - 1462409104614086964695881472449550528381748100/56409543906039551135\ 54934160425482999190552623*c_0110_6^19 - 484898077078970289476708301245641258968963649/564095439060395511355\ 4934160425482999190552623*c_0110_6^18 + 5399746165599016740815035375834332051774809484/56409543906039551135\ 54934160425482999190552623*c_0110_6^17 + 3149538051161728928761048317839080742218195614/56409543906039551135\ 54934160425482999190552623*c_0110_6^16 + 5454461404785669803279016531699890733903585762/56409543906039551135\ 54934160425482999190552623*c_0110_6^15 + 41584270764699985944172077079978428144006611047/5640954390603955113\ 554934160425482999190552623*c_0110_6^14 + 31770147882916793400468827603673775933883787123/5640954390603955113\ 554934160425482999190552623*c_0110_6^13 - 130833087461022889443118032413769006383424319533/564095439060395511\ 3554934160425482999190552623*c_0110_6^12 + 170975927556582111860271047250690567064697386483/564095439060395511\ 3554934160425482999190552623*c_0110_6^11 - 287288688648931435353100673711358085372644277865/564095439060395511\ 3554934160425482999190552623*c_0110_6^10 - 25766381175632283689566227363868940541154143496/5640954390603955113\ 554934160425482999190552623*c_0110_6^9 - 26396580969295747723183749637206915853681426632/5640954390603955113\ 554934160425482999190552623*c_0110_6^8 - 166670601117134055095974799568665597763894236141/564095439060395511\ 3554934160425482999190552623*c_0110_6^7 - 111525117785612485247760096918548414032253087741/564095439060395511\ 3554934160425482999190552623*c_0110_6^6 + 125680636727711916605206820027797268729152300504/564095439060395511\ 3554934160425482999190552623*c_0110_6^5 + 302368409523955790673066928227429181395907426090/564095439060395511\ 3554934160425482999190552623*c_0110_6^4 + 151616879869588542029083423691122709456768352825/564095439060395511\ 3554934160425482999190552623*c_0110_6^3 + 30213740147117498893002115180814019449061334061/5640954390603955113\ 554934160425482999190552623*c_0110_6^2 - 1496907668141369930700596880079309219767884308/56409543906039551135\ 54934160425482999190552623*c_0110_6 - 1969115741774775730315358280180010987906892300/56409543906039551135\ 54934160425482999190552623, c_0011_6 + 88500823530860267898571790530907820236978506/564095439060395\ 5113554934160425482999190552623*c_0110_6^21 + 152386086209048397828619103313904372520252219/564095439060395511355\ 4934160425482999190552623*c_0110_6^20 - 1371182932862665316393507276928271870927054420/56409543906039551135\ 54934160425482999190552623*c_0110_6^19 - 149012888463270305375631714907471319949428129/564095439060395511355\ 4934160425482999190552623*c_0110_6^18 + 5022118087175249272740968152919725493313858821/56409543906039551135\ 54934160425482999190552623*c_0110_6^17 + 1747054246814148498415642602886402700325439999/56409543906039551135\ 54934160425482999190552623*c_0110_6^16 + 4395871947425983917417884126758755501034309925/56409543906039551135\ 54934160425482999190552623*c_0110_6^15 + 37063150988738902453293556235767846750353709961/5640954390603955113\ 554934160425482999190552623*c_0110_6^14 + 20721545598545108656730261630652395437476735207/5640954390603955113\ 554934160425482999190552623*c_0110_6^13 - 125405536852973847933930429284797201305941712289/564095439060395511\ 3554934160425482999190552623*c_0110_6^12 + 183323555565216233694530310356197005024874816302/564095439060395511\ 3554934160425482999190552623*c_0110_6^11 - 296296153357259737456874062959488892752559912860/564095439060395511\ 3554934160425482999190552623*c_0110_6^10 + 28675730508835215921696895110782888762440547108/5640954390603955113\ 554934160425482999190552623*c_0110_6^9 - 9502146987151980536224902107523131554193100509/56409543906039551135\ 54934160425482999190552623*c_0110_6^8 - 162824207652871833219304367387436086593131847470/564095439060395511\ 3554934160425482999190552623*c_0110_6^7 - 60115401829598463289581792342137181738688289720/5640954390603955113\ 554934160425482999190552623*c_0110_6^6 + 131115767034153958799553343883296633042093587314/564095439060395511\ 3554934160425482999190552623*c_0110_6^5 + 247222595219945835676798023019568861763685479761/564095439060395511\ 3554934160425482999190552623*c_0110_6^4 + 73772292712019780147777822154035467572248604301/5640954390603955113\ 554934160425482999190552623*c_0110_6^3 + 7523632962459360716215279433216941773191745138/56409543906039551135\ 54934160425482999190552623*c_0110_6^2 - 3700973457577009528424142402570142929472220082/56409543906039551135\ 54934160425482999190552623*c_0110_6 - 1916683774724757127935890680082162599457816642/56409543906039551135\ 54934160425482999190552623, c_0101_2 + 1194438230449017066623500352815611709899/2099350350057296283\ 422007502949565686338129*c_0110_6^21 + 1966818524985477575087143894316940107830/20993503500572962834220075\ 02949565686338129*c_0110_6^20 - 17278890212829102077845881436254035\ 168961/2099350350057296283422007502949565686338129*c_0110_6^19 - 509413778811279666635486506186481033820/209935035005729628342200750\ 2949565686338129*c_0110_6^18 + 446904053162075496714205011755892016\ 80817/2099350350057296283422007502949565686338129*c_0110_6^17 + 54172505959319018468287948351803972462279/2099350350057296283422007\ 502949565686338129*c_0110_6^16 + 1066705017307486296837800280451468\ 79129765/2099350350057296283422007502949565686338129*c_0110_6^15 + 402324546043039978747889197809550593309723/209935035005729628342200\ 7502949565686338129*c_0110_6^14 + 380950826603048843219383346661706\ 466174954/2099350350057296283422007502949565686338129*c_0110_6^13 - 1248664799460511391787092795882662610343823/20993503500572962834220\ 07502949565686338129*c_0110_6^12 + 2075553011288265963830793539925392560584108/20993503500572962834220\ 07502949565686338129*c_0110_6^11 - 5825906784187697047849799629211580430035005/20993503500572962834220\ 07502949565686338129*c_0110_6^10 + 6983616417168183316203995496952711797182570/20993503500572962834220\ 07502949565686338129*c_0110_6^9 - 125105761274092004245682690553872\ 82042800142/2099350350057296283422007502949565686338129*c_0110_6^8 + 11152372596614753057852327672208125750717964/2099350350057296283422\ 007502949565686338129*c_0110_6^7 - 10302407559795606815851243752792061729002677/2099350350057296283422\ 007502949565686338129*c_0110_6^6 + 3153566414018028959655152190955831727754860/20993503500572962834220\ 07502949565686338129*c_0110_6^5 + 515912326650500467948444984888443\ 0875782672/2099350350057296283422007502949565686338129*c_0110_6^4 + 1183984875064886232067824257263357929808483/20993503500572962834220\ 07502949565686338129*c_0110_6^3 + 190942089516410346749965784256689\ 103146066/2099350350057296283422007502949565686338129*c_0110_6^2 - 1121007368345164265236761870792509549180462/20993503500572962834220\ 07502949565686338129*c_0110_6 + 13756252164183226834076793021953860\ 23560340/2099350350057296283422007502949565686338129, c_0110_6^22 + 2*c_0110_6^21 - 15*c_0110_6^20 - 6*c_0110_6^19 + 56*c_0110_6^18 + 36*c_0110_6^17 + 56*c_0110_6^16 + 431*c_0110_6^15 + 351*c_0110_6^14 - 1347*c_0110_6^13 + 1667*c_0110_6^12 - 2800*c_0110_6^11 - 533*c_0110_6^10 - 141*c_0110_6^9 - 1764*c_0110_6^8 - 1192*c_0110_6^7 + 1248*c_0110_6^6 + 3313*c_0110_6^5 + 1646*c_0110_6^4 + 312*c_0110_6^3 - 34*c_0110_6^2 - 45*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB