Magma V2.19-8 Tue Aug 20 2013 16:18:40 on localhost [Seed = 812756285] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2845 geometric_solution 6.06782090 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.693288641689 0.663409299004 0 0 3 2 0132 3201 0132 0132 0 0 0 0 0 -1 1 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 1 0 0 -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.800766335855 1.805506123159 4 5 1 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -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.402273284116 1.210778944127 5 4 6 1 3201 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.402273284116 1.210778944127 2 3 4 4 0132 0132 2031 1302 0 0 0 0 0 0 1 -1 -1 0 1 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 -1 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.127472575716 0.488753976002 5 2 5 3 2310 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.364725918379 1.040771631906 6 3 2 6 3201 3201 0132 2310 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.141166353665 0.539539927898 ==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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_6'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_6'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : negation(d['c_0011_2']), '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' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 175535532167038539261681749897858420857325/153044579867244069589270\ 92465052471211*c_0101_4^21 - 35460442638460367463370219288623365021\ 41121/72149587651700775663513435906675935709*c_0101_4^20 + 189863058335881685039788778326732281690244861/505047113561905429644\ 594051346731549963*c_0101_4^19 + 1086855629152685238063375940919371\ 27579959358/72149587651700775663513435906675935709*c_0101_4^18 - 16411845305904657180500530554699933977574033/7319523384955151154269\ 479005025094927*c_0101_4^17 - 6322832089730701442996099955227138863\ 921083482/505047113561905429644594051346731549963*c_0101_4^16 - 102173754654216106738635668016929285649464843/505047113561905429644\ 594051346731549963*c_0101_4^15 + 4841138066583676487232296196875852\ 775953661899/72149587651700775663513435906675935709*c_0101_4^14 + 21082789172652156565732262571545677086996447202/5050471135619054296\ 44594051346731549963*c_0101_4^13 - 5235553520211173239414171489050807876146832859/21958570154865453462\ 808437015075284781*c_0101_4^12 - 8220314758573531385667150970221895\ 4478950982596/505047113561905429644594051346731549963*c_0101_4^11 + 220964129648635096435375632566883051624759126739/505047113561905429\ 644594051346731549963*c_0101_4^10 + 43518341400214132315653417094079859125114720763/1683490378539684765\ 48198017115577183321*c_0101_4^9 - 606263712909853187951526888400895\ 87441376356786/168349037853968476548198017115577183321*c_0101_4^8 - 77043920107697454274638477112017529547554914281/5050471135619054296\ 44594051346731549963*c_0101_4^7 + 223383563869618446317264362216951\ 74277579075112/168349037853968476548198017115577183321*c_0101_4^6 + 13975805448187236748345452927644907592481201633/5050471135619054296\ 44594051346731549963*c_0101_4^5 - 357431405983510810802514086082308\ 9382209634287/168349037853968476548198017115577183321*c_0101_4^4 - 354644982525124923761440325702625261987205869/168349037853968476548\ 198017115577183321*c_0101_4^3 + 76601197126892362815788843567307280\ 9505650795/505047113561905429644594051346731549963*c_0101_4^2 + 4287772300269539224140071857934830522820375/72149587651700775663513\ 435906675935709*c_0101_4 - 1994801984227739118084052649037987180759\ 0313/505047113561905429644594051346731549963, c_0011_0 - 1, c_0011_2 + 71662047920302392208761167748629111094/104564619785073587918\ 1354143575013561*c_0101_4^21 + 306330612592529236979183681673830560\ 513/1045646197850735879181354143575013561*c_0101_4^20 - 2351860361779410605101319503440951171278/10456461978507358791813541\ 43575013561*c_0101_4^19 - 9386611618811338065178516184490177951300/\ 1045646197850735879181354143575013561*c_0101_4^18 + 14101974040171682223940401231885681483506/1045646197850735879181354\ 143575013561*c_0101_4^17 + 7095517055644152136334803010948741028035\ /95058745259157807198304922143183051*c_0101_4^16 + 479704952578857723855299731993776455837/104564619785073587918135414\ 3575013561*c_0101_4^15 - 419053610121182524357251887395966786712963\ /1045646197850735879181354143575013561*c_0101_4^14 - 256424378727801643273685076428789659759729/104564619785073587918135\ 4143575013561*c_0101_4^13 + 149140935496123164530774606386782147913\ 0290/1045646197850735879181354143575013561*c_0101_4^12 + 1000708361775743334928378627791143874929857/10456461978507358791813\ 54143575013561*c_0101_4^11 - 27406076164469194892132683487454473756\ 75357/1045646197850735879181354143575013561*c_0101_4^10 - 1584047490553083931230817605611680076874778/10456461978507358791813\ 54143575013561*c_0101_4^9 + 226047644003803989649581911578024830110\ 9090/1045646197850735879181354143575013561*c_0101_4^8 + 925854783589135058344969328888776843353908/104564619785073587918135\ 4143575013561*c_0101_4^7 - 8339983872457562137966165078427554808642\ 87/1045646197850735879181354143575013561*c_0101_4^6 - 162352596986448583122633996167560467977708/104564619785073587918135\ 4143575013561*c_0101_4^5 + 1328197287234244888843856772967726433933\ 52/1045646197850735879181354143575013561*c_0101_4^4 + 11646663315750226938384587000817942089515/1045646197850735879181354\ 143575013561*c_0101_4^3 - 9412732066057886353122111146672984195526/\ 1045646197850735879181354143575013561*c_0101_4^2 - 293832739227926333869511158195742392937/104564619785073587918135414\ 3575013561*c_0101_4 + 242982765524172514262478709858576294342/10456\ 46197850735879181354143575013561, c_0011_6 - 18336719026493076409977664481338857769/104564619785073587918\ 1354143575013561*c_0101_4^21 - 783783259576144942765595748286816722\ 77/1045646197850735879181354143575013561*c_0101_4^20 + 601738836938729914022603900117795282830/104564619785073587918135414\ 3575013561*c_0101_4^19 + 2401359829712456945913408701233394437312/1\ 045646197850735879181354143575013561*c_0101_4^18 - 3606728740193454651288457494339837490268/10456461978507358791813541\ 43575013561*c_0101_4^17 - 19961128935233645749193956054680868343715\ /1045646197850735879181354143575013561*c_0101_4^16 - 11866384149206571770380674567997594728/9505874525915780719830492214\ 3183051*c_0101_4^15 + 107149791844788947286849609790159691340662/10\ 45646197850735879181354143575013561*c_0101_4^14 + 65578483480489069858174051442471351745071/1045646197850735879181354\ 143575013561*c_0101_4^13 - 3812311764594864725598180605447488287474\ 20/1045646197850735879181354143575013561*c_0101_4^12 - 255681478594317857290210260392471177994785/104564619785073587918135\ 4143575013561*c_0101_4^11 + 699915653210838532111106317488840200058\ 879/1045646197850735879181354143575013561*c_0101_4^10 + 404091932680793691051637619157229684887775/104564619785073587918135\ 4143575013561*c_0101_4^9 - 5236439114287885179978370636093942993015\ 0/95058745259157807198304922143183051*c_0101_4^8 - 235143989550905750393367840264057224639840/104564619785073587918135\ 4143575013561*c_0101_4^7 + 2115560472604362876559181538312007123975\ 54/1045646197850735879181354143575013561*c_0101_4^6 + 40622232078922379990211778264344521038474/1045646197850735879181354\ 143575013561*c_0101_4^5 - 3034726647440403944542687990012752505089/\ 95058745259157807198304922143183051*c_0101_4^4 - 2863234752753856926191573434743549626919/10456461978507358791813541\ 43575013561*c_0101_4^3 + 2329315357803687607694855685382224708053/1\ 045646197850735879181354143575013561*c_0101_4^2 + 70522883762002366141703682719525934674/1045646197850735879181354143\ 575013561*c_0101_4 - 58985275915653120107397152783024310567/1045646\ 197850735879181354143575013561, c_0101_0 + 38019139937812744554116675160652973906/104564619785073587918\ 1354143575013561*c_0101_4^21 + 163027593468485224273119774841120278\ 195/1045646197850735879181354143575013561*c_0101_4^20 - 113234600861197829975659783570474698242/950587452591578071983049221\ 43183051*c_0101_4^19 - 4996642954971232106614359554778295838708/104\ 5646197850735879181354143575013561*c_0101_4^18 + 7415534706845849822694720827196229705269/10456461978507358791813541\ 43575013561*c_0101_4^17 + 41509475976381406782425039104771603461188\ /1045646197850735879181354143575013561*c_0101_4^16 + 801534773669859098936459528001890506603/104564619785073587918135414\ 3575013561*c_0101_4^15 - 222328274121674575517066424586401373134117\ /1045646197850735879181354143575013561*c_0101_4^14 - 138981606906980460820936846533715142463365/104564619785073587918135\ 4143575013561*c_0101_4^13 + 717735807343718119180334649598159856602\ 89/95058745259157807198304922143183051*c_0101_4^12 + 541362145821768391052926025671631163819048/104564619785073587918135\ 4143575013561*c_0101_4^11 - 144730873429439203430463728963527540491\ 1207/1045646197850735879181354143575013561*c_0101_4^10 - 859392122678453552091240477546778806908003/104564619785073587918135\ 4143575013561*c_0101_4^9 + 1189058246988682486151347601636344502660\ 248/1045646197850735879181354143575013561*c_0101_4^8 + 506389367379973331632474822608408524178315/104564619785073587918135\ 4143575013561*c_0101_4^7 - 4371145705125915807066794999530520563601\ 70/1045646197850735879181354143575013561*c_0101_4^6 - 91329008079392317552463451571811031156856/1045646197850735879181354\ 143575013561*c_0101_4^5 + 69895387065939600424794280099732521195112\ /1045646197850735879181354143575013561*c_0101_4^4 + 6851305647792517916107800657064209205971/10456461978507358791813541\ 43575013561*c_0101_4^3 - 4986950032203742148574304025139152753531/1\ 045646197850735879181354143575013561*c_0101_4^2 - 185850357839341812923030811604095195802/104564619785073587918135414\ 3575013561*c_0101_4 + 129601677638104776436976966388078408100/10456\ 46197850735879181354143575013561, c_0101_1 - 39011808219391169959739173827882837160/104564619785073587918\ 1354143575013561*c_0101_4^21 - 168642353499536561362630032874070112\ 121/1045646197850735879181354143575013561*c_0101_4^20 + 1272108774248965253864869323635205013480/10456461978507358791813541\ 43575013561*c_0101_4^19 + 5170782260429115681064333239076703558626/\ 1045646197850735879181354143575013561*c_0101_4^18 - 675044353217102703068615713154392338909/950587452591578071983049221\ 43183051*c_0101_4^17 - 42832976876788062851728894120524138108827/10\ 45646197850735879181354143575013561*c_0101_4^16 - 2326420701728046630638249179654217347799/10456461978507358791813541\ 43575013561*c_0101_4^15 + 22790298547327956078264144632507006924260\ 6/1045646197850735879181354143575013561*c_0101_4^14 + 150450631630088224884743521026555601726602/104564619785073587918135\ 4143575013561*c_0101_4^13 - 804177405739777840250063462806105404629\ 894/1045646197850735879181354143575013561*c_0101_4^12 - 582563574256717676593648063490003388085364/104564619785073587918135\ 4143575013561*c_0101_4^11 + 146260598671346104017875392376712953296\ 4455/1045646197850735879181354143575013561*c_0101_4^10 + 929322899679671246147566698392819124634904/104564619785073587918135\ 4143575013561*c_0101_4^9 - 1184355587173448318596674258777188431025\ 670/1045646197850735879181354143575013561*c_0101_4^8 - 555093048379919363319488340191158965197269/104564619785073587918135\ 4143575013561*c_0101_4^7 + 3885198565498685638892721765422133612424\ 5/95058745259157807198304922143183051*c_0101_4^6 + 104696798596640237231847731219741322903993/104564619785073587918135\ 4143575013561*c_0101_4^5 - 6783531396493723258182918938492075158901\ 2/1045646197850735879181354143575013561*c_0101_4^4 - 8384702795265238633694870478939566062001/10456461978507358791813541\ 43575013561*c_0101_4^3 + 4807623156737127493553842314261087294382/1\ 045646197850735879181354143575013561*c_0101_4^2 + 22500747425462604037566269908064065505/9505874525915780719830492214\ 3183051*c_0101_4 - 123810422941267027573254364243703674327/10456461\ 97850735879181354143575013561, c_0101_3 + 88090381617602034051670006009440155364/104564619785073587918\ 1354143575013561*c_0101_4^21 + 377067470276152674872688085218473166\ 004/1045646197850735879181354143575013561*c_0101_4^20 - 2888660180390046763912114532348846120257/10456461978507358791813541\ 43575013561*c_0101_4^19 - 11554481491355694242942691087285301102054\ /1045646197850735879181354143575013561*c_0101_4^18 + 17262355893075862823202267893688034177205/1045646197850735879181354\ 143575013561*c_0101_4^17 + 9602070298651000888269426539218678428590\ 8/1045646197850735879181354143575013561*c_0101_4^16 + 1175315796979328854798903849702318000409/10456461978507358791813541\ 43575013561*c_0101_4^15 - 51492625869891238434958701654951425309772\ 4/1045646197850735879181354143575013561*c_0101_4^14 - 318157333586563581601006153751141857456213/104564619785073587918135\ 4143575013561*c_0101_4^13 + 183050074810230849313195021402077257034\ 7383/1045646197850735879181354143575013561*c_0101_4^12 + 1239951544264236535272363981252064103802715/10456461978507358791813\ 54143575013561*c_0101_4^11 - 33584154132027497764063729443092709410\ 61904/1045646197850735879181354143575013561*c_0101_4^10 - 1963734175501217352261007375326273607633573/10456461978507358791813\ 54143575013561*c_0101_4^9 + 276171992010652028268834720012659420995\ 5327/1045646197850735879181354143575013561*c_0101_4^8 + 1149494406616044862621066010190788794380656/10456461978507358791813\ 54143575013561*c_0101_4^7 - 101465686204830772663456417115569858259\ 8108/1045646197850735879181354143575013561*c_0101_4^6 - 18434497758774309713436273089623109737137/9505874525915780719830492\ 2143183051*c_0101_4^5 + 161055659777112345508490196788895766206922/\ 1045646197850735879181354143575013561*c_0101_4^4 + 1344009076055782776441058332862459457862/95058745259157807198304922\ 143183051*c_0101_4^3 - 11374665962303380388265519589142196742645/10\ 45646197850735879181354143575013561*c_0101_4^2 - 385231271176758535615407557128508997088/104564619785073587918135414\ 3575013561*c_0101_4 + 292533388590829881496864559163539733949/10456\ 46197850735879181354143575013561, c_0101_4^22 + 4*c_0101_4^21 - 34*c_0101_4^20 - 122*c_0101_4^19 + 233*c_0101_4^18 + 1036*c_0101_4^17 - 294*c_0101_4^16 - 5857*c_0101_4^15 - 1971*c_0101_4^14 + 21836*c_0101_4^13 + 8267*c_0101_4^12 - 42230*c_0101_4^11 - 11675*c_0101_4^10 + 37897*c_0101_4^9 + 4365*c_0101_4^8 - 15423*c_0101_4^7 + 882*c_0101_4^6 + 2561*c_0101_4^5 - 347*c_0101_4^4 - 187*c_0101_4^3 + 33*c_0101_4^2 + 5*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB