Magma V2.19-8 Tue Aug 20 2013 16:14:44 on localhost [Seed = 678016049] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s714 geometric_solution 5.22210777 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 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 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.359514841144 0.213455351457 2 0 3 0 0132 2310 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 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.583930083776 1.007586553088 1 4 5 3 0132 0132 0132 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.948912101660 1.016851442285 2 5 4 1 3012 1023 0132 0132 0 0 0 0 0 1 0 -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 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.948912101660 1.016851442285 4 2 4 3 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.509292417715 0.807642561512 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 -1 1 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 0 0 0 0 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.191647428711 0.728224631853 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_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_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], '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 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 5093815917765516557497767810591530290333637765311/36027788397827835\ 37764204298168500353563644976845*c_0101_5^22 + 49105952859774018259144713392316322623877595298721/3602778839782783\ 537764204298168500353563644976845*c_0101_5^21 - 109371679042314842516375414931246817069255165216996/360277883978278\ 3537764204298168500353563644976845*c_0101_5^20 - 29421963758355677117810907365826373034837481807601/1200926279927594\ 512588068099389500117854548325615*c_0101_5^19 + 185497571167206833221750942125016892057950973926439/120092627992759\ 4512588068099389500117854548325615*c_0101_5^18 - 937745621762538016107295503468212636316640746147626/360277883978278\ 3537764204298168500353563644976845*c_0101_5^17 + 105304587196173688949366393405236641228421607905312/120092627992759\ 4512588068099389500117854548325615*c_0101_5^16 - 1127982330181886275002643807318728422571252049033598/36027788397827\ 83537764204298168500353563644976845*c_0101_5^15 - 1934039788732596148454212322273989282827211858041664/36027788397827\ 83537764204298168500353563644976845*c_0101_5^14 + 692633028305716222834215740102219666425815399039847/400308759975864\ 837529356033129833372618182775205*c_0101_5^13 - 2621301619563655489566070535662267688239911868263377/36027788397827\ 83537764204298168500353563644976845*c_0101_5^12 - 456191524285654352241976772098454105322664236655798/720555767956556\ 707552840859633700070712728995369*c_0101_5^11 - 12920284502229279408828994569251823015300431738670647/3602778839782\ 783537764204298168500353563644976845*c_0101_5^10 - 4752017328500513773144863295589247509224646227738934/36027788397827\ 83537764204298168500353563644976845*c_0101_5^9 - 665969220587062982281266865767507676442638591873364/360277883978278\ 3537764204298168500353563644976845*c_0101_5^8 + 6921196581588838691536732860668745835089300806395874/12009262799275\ 94512588068099389500117854548325615*c_0101_5^7 + 3047153028479617158024977039883716389795834302064460/72055576795655\ 6707552840859633700070712728995369*c_0101_5^6 + 12483836806766065319538150744895154020614995699023378/3602778839782\ 783537764204298168500353563644976845*c_0101_5^5 - 20270422150342959828917318762929878718613354224196/3602778839782783\ 537764204298168500353563644976845*c_0101_5^4 - 63880534028031093014571398221786237466555314348892/1334362533252882\ 79176452011043277790872727591735*c_0101_5^3 - 455805001832701974970924366174345726528786380465104/720555767956556\ 707552840859633700070712728995369*c_0101_5^2 - 62121993970462457254835187518337890478439614920977/1200926279927594\ 512588068099389500117854548325615*c_0101_5 - 50514294806613625082628638693326307045495486528777/4003087599758648\ 37529356033129833372618182775205, c_0011_0 - 1, c_0011_1 - 1559494201274251543398553054688062375756672958/2401852559855\ 18902517613619877900023570909665123*c_0101_5^22 + 15232625030463801662888534190520022479176282464/2401852559855189025\ 17613619877900023570909665123*c_0101_5^21 - 35377812284871492621216152187964626736210474841/2401852559855189025\ 17613619877900023570909665123*c_0101_5^20 - 7685465716583306385053813797665845892398218034/80061751995172967505\ 871206625966674523636555041*c_0101_5^19 + 58364142138062563997611980946678280871682324120/8006175199517296750\ 5871206625966674523636555041*c_0101_5^18 - 309699785526500820603203632481751263066293905760/240185255985518902\ 517613619877900023570909665123*c_0101_5^17 + 42271759695110660903863090281171233297751397019/8006175199517296750\ 5871206625966674523636555041*c_0101_5^16 - 341197918973020122002786156396892756554983107685/240185255985518902\ 517613619877900023570909665123*c_0101_5^15 - 558421454773820970246822111898110754196861466791/240185255985518902\ 517613619877900023570909665123*c_0101_5^14 + 218373065755838524707872875907442777017009878363/266872506650576558\ 35290402208655558174545518347*c_0101_5^13 - 1021202713004333459125740739616976215032800945214/24018525598551890\ 2517613619877900023570909665123*c_0101_5^12 - 677677803199005171306341796911748454944459672568/240185255985518902\ 517613619877900023570909665123*c_0101_5^11 - 3755749462322729221822814015984947965678659977159/24018525598551890\ 2517613619877900023570909665123*c_0101_5^10 - 874907295201073140370616305933936290949587132739/240185255985518902\ 517613619877900023570909665123*c_0101_5^9 - 239046750640134961062820724390679279058550766445/240185255985518902\ 517613619877900023570909665123*c_0101_5^8 + 2095629837914699235587989449197801337945242360470/80061751995172967\ 505871206625966674523636555041*c_0101_5^7 + 3806986858557230471876193788300900577367332771965/24018525598551890\ 2517613619877900023570909665123*c_0101_5^6 + 3300036710961610822540577675529143814786458635121/24018525598551890\ 2517613619877900023570909665123*c_0101_5^5 - 375472939496993244734663130304873240954198174303/240185255985518902\ 517613619877900023570909665123*c_0101_5^4 - 29465505224052557407500794644833589549732479149/2668725066505765583\ 5290402208655558174545518347*c_0101_5^3 - 583519856605255781257693589422891401131000866883/240185255985518902\ 517613619877900023570909665123*c_0101_5^2 + 20253495421181330942156362530263438213790316510/8006175199517296750\ 5871206625966674523636555041*c_0101_5 - 1956067447649138729389583133842571551268200692/26687250665057655835\ 290402208655558174545518347, c_0011_3 + 2309892398282964531469982738849255035180607516/2401852559855\ 18902517613619877900023570909665123*c_0101_5^22 - 22430601678577931844657011666354424374280143288/2401852559855189025\ 17613619877900023570909665123*c_0101_5^21 + 51013669720752711665804176470451766638843910867/2401852559855189025\ 17613619877900023570909665123*c_0101_5^20 + 4228284359191717373473444291072065197808241328/26687250665057655835\ 290402208655558174545518347*c_0101_5^19 - 86305051915621522269374409437905419848790095179/8006175199517296750\ 5871206625966674523636555041*c_0101_5^18 + 440082738833819569984401306240084627971207590552/240185255985518902\ 517613619877900023570909665123*c_0101_5^17 - 16661379739347241028560239840911609906762894971/2668725066505765583\ 5290402208655558174545518347*c_0101_5^16 + 484513500676038743637129355059495650737658321578/240185255985518902\ 517613619877900023570909665123*c_0101_5^15 + 842727370614392017286251120691069811198666063440/240185255985518902\ 517613619877900023570909665123*c_0101_5^14 - 957012812182232043124345813283732605995668336231/800617519951729675\ 05871206625966674523636555041*c_0101_5^13 + 1292985164817599907217844899383390047716558076437/24018525598551890\ 2517613619877900023570909665123*c_0101_5^12 + 1221123237558560678956350790879415827891951074325/24018525598551890\ 2517613619877900023570909665123*c_0101_5^11 + 5661657072497759467926455030718787561458125640046/24018525598551890\ 2517613619877900023570909665123*c_0101_5^10 + 1433981550277818476430469017573400710706710323956/24018525598551890\ 2517613619877900023570909665123*c_0101_5^9 + 150178524528560145928041483180125862362935563355/240185255985518902\ 517613619877900023570909665123*c_0101_5^8 - 3170492458055786287195344846097351747138726896050/80061751995172967\ 505871206625966674523636555041*c_0101_5^7 - 5839824169428161303827536970600056186714044835746/24018525598551890\ 2517613619877900023570909665123*c_0101_5^6 - 4688060832811755362058399819152858667635437655189/24018525598551890\ 2517613619877900023570909665123*c_0101_5^5 + 634251294267210607144553000632718972391662977552/240185255985518902\ 517613619877900023570909665123*c_0101_5^4 + 112393660334158747405106062781777280886007065985/800617519951729675\ 05871206625966674523636555041*c_0101_5^3 + 801757611690744851799056260139022872860013285207/240185255985518902\ 517613619877900023570909665123*c_0101_5^2 - 13493000012312913155959400550523394896189954389/2668725066505765583\ 5290402208655558174545518347*c_0101_5 + 27890465850890553576475801678385831950426848729/2668725066505765583\ 5290402208655558174545518347, c_0101_0 + 1848119423336593498556629723724507683375230782/2401852559855\ 18902517613619877900023570909665123*c_0101_5^22 - 18983307478430872934330706622732332633444151838/2401852559855189025\ 17613619877900023570909665123*c_0101_5^21 + 51377804312579343273981193163642105922360756431/2401852559855189025\ 17613619877900023570909665123*c_0101_5^20 + 303119325032349315556543309420495909290057013/266872506650576558352\ 90402208655558174545518347*c_0101_5^19 - 71085692465076956987510869082646350672866751257/8006175199517296750\ 5871206625966674523636555041*c_0101_5^18 + 477611558138090058889930499188240292564976818395/240185255985518902\ 517613619877900023570909665123*c_0101_5^17 - 42020986602658718191000771101754890884654017610/2668725066505765583\ 5290402208655558174545518347*c_0101_5^16 + 553898434727395179944992361138161069803386896537/240185255985518902\ 517613619877900023570909665123*c_0101_5^15 + 434145875833594510347935131039809225315739959989/240185255985518902\ 517613619877900023570909665123*c_0101_5^14 - 871206568853358575939249695684065802891177342058/800617519951729675\ 05871206625966674523636555041*c_0101_5^13 + 2557301522525630007383088058099512070326384977533/24018525598551890\ 2517613619877900023570909665123*c_0101_5^12 - 327934066644080578837869645707145668998122630770/240185255985518902\ 517613619877900023570909665123*c_0101_5^11 + 4305819652898537179005014170232671384347271995022/24018525598551890\ 2517613619877900023570909665123*c_0101_5^10 - 949106605347465294556308483180698133888181935953/240185255985518902\ 517613619877900023570909665123*c_0101_5^9 + 368952233200620126556756604455676727643561163908/240185255985518902\ 517613619877900023570909665123*c_0101_5^8 - 2377265757553115167667257000269503252572037567576/80061751995172967\ 505871206625966674523636555041*c_0101_5^7 - 1092882206095547775641974159212382775141208599933/24018525598551890\ 2517613619877900023570909665123*c_0101_5^6 - 2855717802010927140852978706678657511638369607192/24018525598551890\ 2517613619877900023570909665123*c_0101_5^5 + 1237100519869966847310857193294911627157031143208/24018525598551890\ 2517613619877900023570909665123*c_0101_5^4 - 74604962475431056424486957603079796309276602196/8006175199517296750\ 5871206625966674523636555041*c_0101_5^3 + 496945720353168898364515541007115125782258812166/240185255985518902\ 517613619877900023570909665123*c_0101_5^2 - 6727431022158211420544595120994363128473116278/26687250665057655835\ 290402208655558174545518347*c_0101_5 + 27200475465308189195109705794248121833075218156/2668725066505765583\ 5290402208655558174545518347, c_0101_3 + 62784321878369186596099562427377626524489764/240185255985518\ 902517613619877900023570909665123*c_0101_5^22 - 515255811443632217880202042050636914476316327/240185255985518902517\ 613619877900023570909665123*c_0101_5^21 + 38682165673553798427899851053912246090101609/2401852559855189025176\ 13619877900023570909665123*c_0101_5^20 + 2483786688878085850983818827782315599995798847/80061751995172967505\ 871206625966674523636555041*c_0101_5^19 - 5485216931124581972994307169431100319443614186/80061751995172967505\ 871206625966674523636555041*c_0101_5^18 - 2289233224701796535760986601919579260863174339/24018525598551890251\ 7613619877900023570909665123*c_0101_5^17 + 21721165977551470705089906573148606601982614008/8006175199517296750\ 5871206625966674523636555041*c_0101_5^16 - 95267213512754449815200252611740669685258253531/2401852559855189025\ 17613619877900023570909665123*c_0101_5^15 + 100854704567059796220274120212887841062932994639/240185255985518902\ 517613619877900023570909665123*c_0101_5^14 - 14802834923769274060368455961144756832323306315/2668725066505765583\ 5290402208655558174545518347*c_0101_5^13 - 235872575868444813247080933108359164511816132864/240185255985518902\ 517613619877900023570909665123*c_0101_5^12 + 677426112613683440518847490515978270322936960583/240185255985518902\ 517613619877900023570909665123*c_0101_5^11 - 243818723235013415805037391071124271359808829949/240185255985518902\ 517613619877900023570909665123*c_0101_5^10 + 126883832478989303392400510451816149463822721408/240185255985518902\ 517613619877900023570909665123*c_0101_5^9 - 758372747010435134625670362377707436007772590053/240185255985518902\ 517613619877900023570909665123*c_0101_5^8 - 94477903241481019169129987233654484888299495576/8006175199517296750\ 5871206625966674523636555041*c_0101_5^7 - 716451233093704630618074168025005372961898254727/240185255985518902\ 517613619877900023570909665123*c_0101_5^6 + 1218600727037394694105128080829968383601136613066/24018525598551890\ 2517613619877900023570909665123*c_0101_5^5 + 493414030838488239514196489040777314852936942701/240185255985518902\ 517613619877900023570909665123*c_0101_5^4 + 83921021735863430817453444156677560102567473149/2668725066505765583\ 5290402208655558174545518347*c_0101_5^3 + 124655891368230856521630029982684603603200668049/240185255985518902\ 517613619877900023570909665123*c_0101_5^2 + 42504421219115013452819846887305280371681208436/8006175199517296750\ 5871206625966674523636555041*c_0101_5 - 9116569477598221670769699036741031088069660468/26687250665057655835\ 290402208655558174545518347, c_0101_5^23 - 10*c_0101_5^22 + 25*c_0101_5^21 + 9*c_0101_5^20 - 114*c_0101_5^19 + 224*c_0101_5^18 - 135*c_0101_5^17 + 257*c_0101_5^16 + 292*c_0101_5^15 - 1344*c_0101_5^14 + 974*c_0101_5^13 + 182*c_0101_5^12 + 2432*c_0101_5^11 + 26*c_0101_5^10 - 52*c_0101_5^9 - 4098*c_0101_5^8 - 1522*c_0101_5^7 - 1618*c_0101_5^6 + 758*c_0101_5^5 + 210*c_0101_5^4 + 349*c_0101_5^3 - 99*c_0101_5^2 + 99*c_0101_5 - 27 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.220 seconds, Total memory usage: 32.09MB