Magma V2.19-8 Tue Aug 20 2013 16:18:02 on localhost [Seed = 2985307516] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2261 geometric_solution 5.68812015 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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.431028355326 0.235625199075 2 0 3 0 0132 2310 0132 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 -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.782730450634 0.740838255685 1 4 5 5 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.427896633658 1.606583863827 5 5 4 1 2310 1023 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -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.427896633658 1.606583863827 3 2 6 6 2310 0132 2310 0132 0 0 0 0 0 0 0 0 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 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.047697751086 0.632254416046 3 2 3 2 1023 2310 3201 0132 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 -1 1 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.154799042334 0.581209628651 6 4 4 6 3012 3201 0132 1230 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.424532886322 0.850532811918 ==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' : negation(d['1']), 's_3_5' : negation(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' : negation(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' : negation(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' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], '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' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_0101_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_1']), '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' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_1']), '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1231261204947468858858717091069044314444980001871336017341003865339\ 123637551/184611906455421195173377341604539585749301412981097774480\ 0478326378276435325*c_0101_3^30 + 132725426012667406800848890978521\ 75666482149957692931626071504803491697358183/2051243405060235501926\ 41490671710650832557125534553082755608702930919603925*c_0101_3^28 - 5863114934029360104695586928619856385731804912208052736472522029800\ 2835194571/18461190645542119517337734160453958574930141298109777448\ 00478326378276435325*c_0101_3^26 - 5688505181459426488396675773566322534706869969982359787269856718822\ 655709761731/527462589872631986209649547441541673569432608517422212\ 800136664679507552950*c_0101_3^24 - 1056734658730572467306079969363995680916011385431966152686469451614\ 71639953497032/6153730215180706505779244720151319524976713766036592\ 48266826108792758811775*c_0101_3^22 + 7782199406202047421156955917067834909217918206137895022077272449861\ 52621483800327/3692238129108423903467546832090791714986028259621955\ 489600956652756552870650*c_0101_3^20 + 2712327693064832925342829966202269834268463219280638394428366173071\ 27495870192694/3692238129108423903467546832090791714986028259621955\ 48960095665275655287065*c_0101_3^18 + 9377918119132382234752749791218473159148982016519291173624622969201\ 40628523347339/3692238129108423903467546832090791714986028259621955\ 48960095665275655287065*c_0101_3^16 - 1928132504986459835872885704085819740602664279893054645545276893100\ 816065736999987/369223812910842390346754683209079171498602825962195\ 548960095665275655287065*c_0101_3^14 + 6912459903055068552997340088521601456126461139848970132118782572622\ 366906615029896/615373021518070650577924472015131952497671376603659\ 248266826108792758811775*c_0101_3^12 - 9330621583228016245679959290662050555241929548476448534793746263505\ 921896157188107/123074604303614130115584894403026390499534275320731\ 8496533652217585517623550*c_0101_3^10 - 3747769294104759182592618608213902328196348935713929069475304541012\ 77229275566583/4102486810120471003852829813434213016651142510691061\ 65511217405861839207850*c_0101_3^8 + 9371588473660788525782086567091778857295404664858283562108636473619\ 11569255418261/3692238129108423903467546832090791714986028259621955\ 489600956652756552870650*c_0101_3^6 + 1539854429911315474112012237039621308762301492595093470908344212548\ 34359366795703/1846119064554211951733773416045395857493014129810977\ 744800478326378276435325*c_0101_3^4 - 1109819419446260505845750800353361439130997792850452472850848139598\ 76511595142143/4102486810120471003852829813434213016651142510691061\ 65511217405861839207850*c_0101_3^2 - 2529652514762851852856993993202451394925673850864402157414041149407\ 005575776061/410248681012047100385282981343421301665114251069106165\ 511217405861839207850, c_0011_0 - 1, c_0011_1 + 353945292344710400712217604584551741130830163921085478721223\ 0125747/25376207072910129920739153485160080515367891818707597866673\ 2415997013943*c_0101_3^30 - 380873055772268940737959585226618189644\ 44946381799958233467568998630/2819578563656681102304350387240008946\ 1519879798563997629636935110779327*c_0101_3^28 + 1101021042451842739600622345387128518334754243548290812243961922770\ 88/2537620707291012992073915348516008051536789181870759786667324159\ 97013943*c_0101_3^26 + 81832202418715794047956694921307810011200006\ 27845176313412007462962058/3625172438987161417248450497880011502195\ 4131169582282666676059428144849*c_0101_3^24 + 3070066677995845215060964779051377126752819959739931433689678663300\ 96960/8458735690970043306913051161720026838455963939569199288891080\ 5332337981*c_0101_3^22 - 967379238005424293370780286926141559288187\ 024799893802820883819578465880/253762070729101299207391534851600805\ 153678918187075978666732415997013943*c_0101_3^20 - 4141659199383170459327078025242252840173291974942349682480030749444\ 588097/253762070729101299207391534851600805153678918187075978666732\ 415997013943*c_0101_3^18 - 1407122452348660393393600824063955871527\ 9977751945911125956703164718105234/25376207072910129920739153485160\ 0805153678918187075978666732415997013943*c_0101_3^16 + 2566426087695935727382775028879672639513478832381420838568053525372\ 0414781/25376207072910129920739153485160080515367891818707597866673\ 2415997013943*c_0101_3^14 - 601591671877324115826865342286054986612\ 4792175692505681513900707712718059/28195785636566811023043503872400\ 089461519879798563997629636935110779327*c_0101_3^12 + 9468799342879596836962997548530220243094171508439251991419268675363\ 322243/845873569097004330691305116172002683845596393956919928889108\ 05332337981*c_0101_3^10 + 50313649567003460573550970750066785193025\ 07932360346889388074506999709864/8458735690970043306913051161720026\ 8384559639395691992888910805332337981*c_0101_3^8 - 2730168729382438763431573374844302035383600288283802926734849351188\ 536776/253762070729101299207391534851600805153678918187075978666732\ 415997013943*c_0101_3^6 - 14114168638641240289748124531396304888756\ 90618157045619230964069087983482/2537620707291012992073915348516008\ 05153678918187075978666732415997013943*c_0101_3^4 + 6421316326383096569031643589196636488791098259987774116982660974723\ 53666/8458735690970043306913051161720026838455963939569199288891080\ 5332337981*c_0101_3^2 + 2089355436354029059719863588070473130769504\ 2997049047722577388894199702/28195785636566811023043503872400089461\ 519879798563997629636935110779327, c_0011_3 + 287957295571560122650402909248517186782703251600741436563634\ 560716435/820497362024094200770565962686842603330228502138212331022\ 4348117236784157*c_0101_3^30 - 838027776581450674511025988258909448\ 97124670131428567461161506105801692/2461492086072282602311697888060\ 5278099906855064146369930673044351710352471*c_0101_3^28 + 4041383446671882952393664799143306298831534433481487878563468447901\ 4121/24614920860722826023116978880605278099906855064146369930673044\ 351710352471*c_0101_3^26 + 1995940126555617617903063843161453424714\ 097602804080350716709158043713132/351641726581754657473099698294361\ 1157129550723449481418667577764530050353*c_0101_3^24 + 2225422333794230431629719640068298960139341912404137356387914056819\ 95132541/2461492086072282602311697888060527809990685506414636993067\ 3044351710352471*c_0101_3^22 - 271522068904752491842646122108833197\ 319176635625895703785473398621191058577/246149208607228260231169788\ 80605278099906855064146369930673044351710352471*c_0101_3^20 - 9597824305415751223245934521057263559718111394197433085053969249045\ 94481996/2461492086072282602311697888060527809990685506414636993067\ 3044351710352471*c_0101_3^18 - 109713083462724936180656307191030782\ 3111037824350814282286425959284864702446/82049736202409420077056596\ 26868426033302285021382123310224348117236784157*c_0101_3^16 + 6762281784171239310668205264695882915455720169852064521251247900718\ 063842761/246149208607228260231169788806052780999068550641463699306\ 73044351710352471*c_0101_3^14 - 14400671814302082318023777129906535\ 197718511795540799637747238491748895007097/246149208607228260231169\ 78880605278099906855064146369930673044351710352471*c_0101_3^12 + 9533357703181847599472502168003680368408126672453744935297174261410\ 389297625/246149208607228260231169788806052780999068550641463699306\ 73044351710352471*c_0101_3^10 + 16383402313195698142054673896653699\ 31375478749374486402291893966612432825720/2461492086072282602311697\ 8880605278099906855064146369930673044351710352471*c_0101_3^8 - 5511169861052939071418712358954453896046294778047672625366933254934\ 64923884/2461492086072282602311697888060527809990685506414636993067\ 3044351710352471*c_0101_3^6 - 1220044475202142467840174415568634805\ 35455386019188189678719664532823050987/2461492086072282602311697888\ 0605278099906855064146369930673044351710352471*c_0101_3^4 + 3750963999004833387284545802291579606004650869500509927407272785075\ 9738472/27349912067469806692352198756228086777674283404607077700747\ 82705745594719*c_0101_3^2 + 120383022736896594821913893119580787949\ 7115701138437632562677907836828406/27349912067469806692352198756228\ 08677767428340460707770074782705745594719, c_0011_6 + 250626390648999751480743656538606084796426571185953587229713\ 5305893/25376207072910129920739153485160080515367891818707597866673\ 2415997013943*c_0101_3^30 - 243264393966258260615956381395490775810\ 335461785283221467726574847802/253762070729101299207391534851600805\ 153678918187075978666732415997013943*c_0101_3^28 + 1304802685399545052838718333518007394754582302013872920210530955534\ 70/2537620707291012992073915348516008051536789181870759786667324159\ 97013943*c_0101_3^26 + 57890395119944704210952553623031060361996328\ 70853967873742844398209624/3625172438987161417248450497880011502195\ 4131169582282666676059428144849*c_0101_3^24 + 6434385717660302464428458609191861669636700875754272069002526475678\ 94005/2537620707291012992073915348516008051536789181870759786667324\ 15997013943*c_0101_3^22 - 82195334870310140888019091847658345555077\ 5810744239171659933294106221270/25376207072910129920739153485160080\ 5153678918187075978666732415997013943*c_0101_3^20 - 9094461703397560231355976307199697233818472335155510916771599008397\ 21980/8458735690970043306913051161720026838455963939569199288891080\ 5332337981*c_0101_3^18 - 939966431498735518696683955284719944684124\ 5315837052068476522831059380288/25376207072910129920739153485160080\ 5153678918187075978666732415997013943*c_0101_3^16 + 2006730123953053905971624763480913718451791576212565580720391056296\ 6210023/25376207072910129920739153485160080515367891818707597866673\ 2415997013943*c_0101_3^14 - 430968486694721658047920324292711733181\ 30005560396422141776795409579211099/2537620707291012992073915348516\ 00805153678918187075978666732415997013943*c_0101_3^12 + 3009329775069977492413428277963422441924358020478349694414387857312\ 0871922/25376207072910129920739153485160080515367891818707597866673\ 2415997013943*c_0101_3^10 + 284604664559568729366508834029447316438\ 7871034381356599766893448134038381/25376207072910129920739153485160\ 0805153678918187075978666732415997013943*c_0101_3^8 - 1993241417565775483273582377433772880858691811326255795631644624812\ 798355/253762070729101299207391534851600805153678918187075978666732\ 415997013943*c_0101_3^6 + 79051774146686407245020978428356427596838\ 865889016077870028077525524741/845873569097004330691305116172002683\ 84559639395691992888910805332337981*c_0101_3^4 + 1453801997455264831471144843862912518272109677532286469853782316137\ 93903/2819578563656681102304350387240008946151987979856399762963693\ 5110779327*c_0101_3^2 + 4262804192543716798504820186458386681768436\ 329664725640187031258363848/281957856365668110230435038724000894615\ 19879798563997629636935110779327, c_0101_0 - 193056578197656468274364704787409989554400219111956702551110\ 27090177155/2461492086072282602311697888060527809990685506414636993\ 0673044351710352471*c_0101_3^31 + 187308616703591109592792300393056\ 1470799423514807262107160994775446667501/24614920860722826023116978\ 880605278099906855064146369930673044351710352471*c_0101_3^29 - 9304939644248702533898557100465540949514465291816727333037366961808\ 92468/2461492086072282602311697888060527809990685506414636993067304\ 4351710352471*c_0101_3^27 - 495509056179293972839053035562589607812\ 2805978656966206476515920156262990/39071302953528295274788855366040\ 1239681061191494386824296397529392227817*c_0101_3^25 - 4968884569848456950188036227995923620907267800036679040964629801643\ 051274346/246149208607228260231169788806052780999068550641463699306\ 73044351710352471*c_0101_3^23 + 61306433834560288412968745341950006\ 02954795519465025598425526100532476808554/2461492086072282602311697\ 8880605278099906855064146369930673044351710352471*c_0101_3^21 + 2122618853146273438720090391988920333650821717057358458328937778129\ 3712968061/24614920860722826023116978880605278099906855064146369930\ 673044351710352471*c_0101_3^19 + 7339727792804378663779929208823109\ 5496707617138458370372183460418945075006838/24614920860722826023116\ 978880605278099906855064146369930673044351710352471*c_0101_3^17 - 1515973098845609368134803812988889794724662556269895370372164863468\ 99146243661/2461492086072282602311697888060527809990685506414636993\ 0673044351710352471*c_0101_3^15 + 326074877080899393788181369909701\ 376196799996566598069688877427867680885306859/246149208607228260231\ 16978880605278099906855064146369930673044351710352471*c_0101_3^13 - 2460574493146320126282570581847929950684331483882759933600683633757\ 3463037103/27349912067469806692352198756228086777674283404607077700\ 74782705745594719*c_0101_3^11 - 27729925769336043801162619066105804\ 13487137849507400266429410260074393172986/2734991206746980669235219\ 875622808677767428340460707770074782705745594719*c_0101_3^9 + 7283142274967634807575424983210921964585144635322190618093875162444\ 521191174/246149208607228260231169788806052780999068550641463699306\ 73044351710352471*c_0101_3^7 + 257073143279084403007584280345750298\ 5819421717576709034443642798307834348403/24614920860722826023116978\ 880605278099906855064146369930673044351710352471*c_0101_3^5 - 7918182974399719556001745600209637916087037943712830824674721011171\ 710425752/246149208607228260231169788806052780999068550641463699306\ 73044351710352471*c_0101_3^3 - 462251764658805028240534029250682234\ 32485006843357217152510687484472195524/8204973620240942007705659626\ 868426033302285021382123310224348117236784157*c_0101_3, c_0101_1 - 112738310233926615972559360155218482828249666778078497749076\ 91436412/2537620707291012992073915348516008051536789181870759786667\ 32415997013943*c_0101_3^30 + 12153837543797054904400576106482648259\ 0588477209440152675712248251113/28195785636566811023043503872400089\ 461519879798563997629636935110779327*c_0101_3^28 - 5460355810995757057625933566561104985614213921669808791224606892458\ 32/2537620707291012992073915348516008051536789181870759786667324159\ 97013943*c_0101_3^26 - 26043494518535570851480213113177178455319195\ 519662064484844718185123062/362517243898716141724845049788001150219\ 54131169582282666676059428144849*c_0101_3^24 - 9670632988327618397635084302050531568457563152106055166252021112242\ 39072/8458735690970043306913051161720026838455963939569199288891080\ 5332337981*c_0101_3^22 + 358888070325556108560475908125477128584782\ 2778445322607342698587603291395/25376207072910129920739153485160080\ 5153678918187075978666732415997013943*c_0101_3^20 + 1240984163494142547648313196032210142889718392378370824601299569943\ 5135912/25376207072910129920739153485160080515367891818707597866673\ 2415997013943*c_0101_3^18 + 427949947906768448451379011242015957379\ 26960856992501760604931410576437383/2537620707291012992073915348516\ 00805153678918187075978666732415997013943*c_0101_3^16 - 8872737695413288328123819411693358934853248099997713452802482381266\ 4587251/25376207072910129920739153485160080515367891818707597866673\ 2415997013943*c_0101_3^14 + 211451089937613334907868504503886900141\ 30208862492804168011214080480780388/2819578563656681102304350387240\ 0089461519879798563997629636935110779327*c_0101_3^12 - 4299681229702156454197210550488689994163912201407867862808540230678\ 7082463/84587356909700433069130511617200268384559639395691992888910\ 805332337981*c_0101_3^10 - 5343736203742259043098935342876148594396\ 548339731048333169803316204563763/845873569097004330691305116172002\ 68384559639395691992888910805332337981*c_0101_3^8 + 5852285672769766587681757137707786395623571269143221271910062809952\ 551684/253762070729101299207391534851600805153678918187075978666732\ 415997013943*c_0101_3^6 + 11081108443277729295852186473048855977390\ 69359788813769496607864130309811/2537620707291012992073915348516008\ 05153678918187075978666732415997013943*c_0101_3^4 - 1426190935064255922997723963073699491600860239046036064142158877090\ 827151/845873569097004330691305116172002683845596393956919928889108\ 05332337981*c_0101_3^2 - 737849074420912642175220619069491454309037\ 8516316078081248885337025627/28195785636566811023043503872400089461\ 519879798563997629636935110779327, c_0101_3^32 - 97*c_0101_3^30 + 46*c_0101_3^28 + 16171*c_0101_3^26 + 257746*c_0101_3^24 - 311726*c_0101_3^22 - 1106670*c_0101_3^20 - 3826695*c_0101_3^18 + 7766160*c_0101_3^16 - 16712413*c_0101_3^14 + 11087523*c_0101_3^12 + 1556361*c_0101_3^10 - 355618*c_0101_3^8 - 131178*c_0101_3^6 + 403456*c_0101_3^4 + 15987*c_0101_3^2 + 225 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB