Magma V2.19-8 Tue Aug 20 2013 16:17:23 on localhost [Seed = 2429619293] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1607 geometric_solution 5.36777217 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.625212662529 0.132616899269 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 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 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.844196985083 0.192044066111 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -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 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.986988602399 0.516053909060 5 2 6 5 0132 0132 0132 3201 0 0 0 0 0 0 1 -1 0 0 0 0 1 -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 -1 1 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.758513363074 0.609749798016 5 6 2 5 2310 3201 0132 1023 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 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.758513363074 0.609749798016 3 3 4 4 0132 2310 3201 1023 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 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 1.199151662037 0.643781818602 6 6 4 3 1230 3012 2310 0132 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 0 -1 1 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 0 0 0 0 0 0.572900561400 0.835036007012 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : 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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_6'], '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_1']), '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_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_6']), '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_6, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 756186851161907623586411712684337530791794009538195984047988064613/\ 3774038830387721512145150497903952425419848378502584683977307090058\ *c_0101_6^31 + 1323858411271312748142817412931822166474434809653415\ 3101644069636690/18870194151938607560725752489519762127099241892512\ 92341988653545029*c_0101_6^29 + 31243554333531892460394124975568116\ 328551818429131369703602703308115/343094439126156501104104590718541\ 129583622579863871334907027917278*c_0101_6^27 + 2180314646108910139422887147987312099553856321270277450716801927990\ 829/377403883038772151214515049790395242541984837850258468397730709\ 0058*c_0101_6^25 + 366492875984842403953770440807455639063153275677\ 247648281279303903496/111001142070227103298386779350116247806466128\ 779487784822861973237*c_0101_6^23 + 5172001615729204471657851038839081246952450100195764309461697548202\ 6790/18870194151938607560725752489519762127099241892512923419886535\ 45029*c_0101_6^21 + 34579097246708565289696062700584948102740640318\ 7997905584507777589105283/18870194151938607560725752489519762127099\ 24189251292341988653545029*c_0101_6^19 + 1177668195259570182766852075326640881914778692360983547800410815344\ 084126/188701941519386075607257524895197621270992418925129234198865\ 3545029*c_0101_6^17 + 129553323704873424550857431303169374081077703\ 5281116278795022526053901101/18870194151938607560725752489519762127\ 09924189251292341988653545029*c_0101_6^15 - 1347376125362066569408809157274265353291031371183625713331371168635\ 02258/1715472195630782505520522953592705647918112899319356674535139\ 58639*c_0101_6^13 - 60202709607181214577243364401291317010166862326\ 70361674861144297098361633/3774038830387721512145150497903952425419\ 848378502584683977307090058*c_0101_6^11 - 2829491425569000402952153796789943780342009881441747681469421336943\ 829217/377403883038772151214515049790395242541984837850258468397730\ 7090058*c_0101_6^9 + 9538472424377618832209591700465152803793409044\ 0016165129191338961824965/99316811325992671372240802576419800668943\ 378381646965367823870791*c_0101_6^7 - 6629818710099315625198864013860046112420867185679522678469302164545\ 49219/3774038830387721512145150497903952425419848378502584683977307\ 090058*c_0101_6^5 + 20373201063796238861885675330214616330446388885\ 480372159897860735622753/377403883038772151214515049790395242541984\ 8378502584683977307090058*c_0101_6^3 - 3873464106668545302542978305827829168497275625689814985796846769841\ 12/1887019415193860756072575248951976212709924189251292341988653545\ 029*c_0101_6, c_0011_0 - 1, c_0011_1 - 2591920779605290130127187340144406476846763347174944684996/3\ 1241526054102759160818119715765901437226605341820372874433429*c_010\ 1_6^30 - 9128335680222361980502730515499673525418719794298197122248\ 9/31241526054102759160818119715765901437226605341820372874433429*c_\ 0101_6^28 - 1196690619250639726643461226785336790250657958758301496\ 312369/312415260541027591608181197157659014372266053418203728744334\ 29*c_0101_6^26 - 77190553393245693978520484069003869133699438518797\ 29439091288/3124152605410275916081811971576590143722660534182037287\ 4433429*c_0101_6^24 - 443039609214184689333449392166217642949012461\ 51456487554212892/3124152605410275916081811971576590143722660534182\ 0372874433429*c_0101_6^22 - 363707932332634593415050115742792127627\ 932396733047680214918027/312415260541027591608181197157659014372266\ 05341820372874433429*c_0101_6^20 - 2445386224406961092617415263285880962234311221705687952793673122/31\ 241526054102759160818119715765901437226605341820372874433429*c_0101\ _6^18 - 85777112996502121564698031418047936634065667278564530151386\ 30446/3124152605410275916081811971576590143722660534182037287443342\ 9*c_0101_6^16 - 106661083827363729134990931130609430593891021880875\ 02297931208455/3124152605410275916081811971576590143722660534182037\ 2874433429*c_0101_6^14 + 786978422228749010819905357308233260185305\ 9135768493988949874302/31241526054102759160818119715765901437226605\ 341820372874433429*c_0101_6^12 + 2211121241560663152830051494138030\ 7637208934580966732025178101162/31241526054102759160818119715765901\ 437226605341820372874433429*c_0101_6^10 + 14325257814556156109148500186685330390492530856536349640052716477/3\ 1241526054102759160818119715765901437226605341820372874433429*c_010\ 1_6^8 - 92358258031321195650771753327396006492694166414502896247904\ 11988/3124152605410275916081811971576590143722660534182037287443342\ 9*c_0101_6^6 + 5389889690535060985856594448541512416775274196321450\ 00727831301/3124152605410275916081811971576590143722660534182037287\ 4433429*c_0101_6^4 - 7048686079402720570873464371286249877666127492\ 8911410326992339/31241526054102759160818119715765901437226605341820\ 372874433429*c_0101_6^2 + 14878553559502486875567248760274641200697\ 336800287533199395157/312415260541027591608181197157659014372266053\ 41820372874433429, c_0011_6 - 28788652999963338305225060454099354971075217331047302840995/\ 343656786595130350768999316873424915809492658760024101618767719*c_0\ 101_6^30 - 10074882744982129833895296613014585498139800185127837338\ 86433/3436567865951303507689993168734249158094926587600241016187677\ 19*c_0101_6^28 - 11878003474409736018026764543421354816778114624608\ 63763084136/3124152605410275916081811971576590143722660534182037287\ 4433429*c_0101_6^26 - 827645960080409401044715103744129138486154685\ 07621773916415835/3436567865951303507689993168734249158094926587600\ 24101618767719*c_0101_6^24 - 47281584829363154916444611755148525453\ 5784172582039247033380727/34365678659513035076899931687342491580949\ 2658760024101618767719*c_0101_6^22 - 3928960742132287914875159128497420039928824461428866639859674801/34\ 3656786595130350768999316873424915809492658760024101618767719*c_010\ 1_6^20 - 2625499932054229845134466151019056499523361864715308225955\ 1858509/34365678659513035076899931687342491580949265876002410161876\ 7719*c_0101_6^18 - 891703047206806016320014129778001763283533876511\ 93333488778427845/3436567865951303507689993168734249158094926587600\ 24101618767719*c_0101_6^16 - 96859603382140630507483296562939127319\ 863646329416789021778723624/343656786595130350768999316873424915809\ 492658760024101618767719*c_0101_6^14 + 10478433076193536894588142957606491348986586836869960547670360610/3\ 1241526054102759160818119715765901437226605341820372874433429*c_010\ 1_6^12 + 2281557245638710533024386043861102313842326960134656815114\ 69064740/3436567865951303507689993168734249158094926587600241016187\ 67719*c_0101_6^10 + 10345851761333488347453956017856080808861496228\ 9687352988127370079/34365678659513035076899931687342491580949265876\ 0024101618767719*c_0101_6^8 - 1416439425047768745765692478407090919\ 49748958584249519183837078849/3436567865951303507689993168734249158\ 09492658760024101618767719*c_0101_6^6 + 26209615124238280391151524831011089853123323973950867672243196047/3\ 43656786595130350768999316873424915809492658760024101618767719*c_01\ 01_6^4 - 1029569324514437804508236972859359680780783431897304950727\ 747566/343656786595130350768999316873424915809492658760024101618767\ 719*c_0101_6^2 + 15353027338130644281586485615292682944387962134973\ 3882118486155/34365678659513035076899931687342491580949265876002410\ 1618767719, c_0101_0 - 127939460217643027613296217388024095897240054798437311712916\ /531105942919746905733908035168020324432852290810946338865368293*c_\ 0101_6^31 - 4462203350395152629463666282875901478685422279322226549\ 172135/531105942919746905733908035168020324432852290810946338865368\ 293*c_0101_6^29 - 5753308108221296672607907879192240387282115399273\ 4745334433554/53110594291974690573390803516802032443285229081094633\ 8865368293*c_0101_6^27 - 360868248081339068001855104076861173527706\ 381809147842994809157/531105942919746905733908035168020324432852290\ 810946338865368293*c_0101_6^25 - 1209898379013870976590284988659967\ 32298169460903325443129617732/3124152605410275916081811971576590143\ 7226605341820372874433429*c_0101_6^23 - 17206343571857008768459537056048926529083865331242741455017474683/5\ 31105942919746905733908035168020324432852290810946338865368293*c_01\ 01_6^21 - 114579595390898967347337500986664868416471941083141159764\ 453780857/531105942919746905733908035168020324432852290810946338865\ 368293*c_0101_6^19 - 3822027484403661476841221532248765670839352158\ 33817961432536975703/5311059429197469057339080351680203244328522908\ 10946338865368293*c_0101_6^17 - 38182220167095529329146441843256351\ 9707862017097501562985977971959/53110594291974690573390803516802032\ 4432852290810946338865368293*c_0101_6^15 + 569105657049163766185185932139604239254005676376603336058874050626/\ 531105942919746905733908035168020324432852290810946338865368293*c_0\ 101_6^13 + 96077335856427130610225065259632089772401584162240368593\ 2423268350/53110594291974690573390803516802032443285229081094633886\ 5368293*c_0101_6^11 + 335059602065750041041662581734667134628662338\ 545733110260057428229/531105942919746905733908035168020324432852290\ 810946338865368293*c_0101_6^9 - 69901402545977183541292222756593247\ 4080764477924868980683868622073/53110594291974690573390803516802032\ 4432852290810946338865368293*c_0101_6^7 + 179413190697273070542106012075860033101339936416580353742832876878/\ 531105942919746905733908035168020324432852290810946338865368293*c_0\ 101_6^5 - 141954647462413148660192148814194123708054613089344690694\ 96039395/5311059429197469057339080351680203244328522908109463388653\ 68293*c_0101_6^3 + 204856664875551494309269094225839014318846611780\ 9964363543691036/53110594291974690573390803516802032443285229081094\ 6338865368293*c_0101_6, c_0101_1 + 1701699420587799988175198511376487909653833054482321960481/3\ 1241526054102759160818119715765901437226605341820372874433429*c_010\ 1_6^30 + 5995796401626993439493507036624735184666720135212072713868\ 4/31241526054102759160818119715765901437226605341820372874433429*c_\ 0101_6^28 + 7866448147110789706504481263506797844818316333044665543\ 24383/3124152605410275916081811971576590143722660534182037287443342\ 9*c_0101_6^26 + 508115924746909881884940772749542068748474412614770\ 3314971822/31241526054102759160818119715765901437226605341820372874\ 433429*c_0101_6^24 + 2917932424713682525621715049857267773581312136\ 2552336234955868/31241526054102759160818119715765901437226605341820\ 372874433429*c_0101_6^22 + 2393271803276378062040548583382857747254\ 73951286487545149334456/3124152605410275916081811971576590143722660\ 5341820372874433429*c_0101_6^20 + 160971803367706526160675378837236\ 8460566973858746520079231618503/31241526054102759160818119715765901\ 437226605341820372874433429*c_0101_6^18 + 5660649914669944193727751076548881218888196585087865696017826446/31\ 241526054102759160818119715765901437226605341820372874433429*c_0101\ _6^16 + 71168388934046327727232368774117805808707033550493510200733\ 18043/3124152605410275916081811971576590143722660534182037287443342\ 9*c_0101_6^14 - 496409711435422757809090391140667806105284407481270\ 5943818744874/31241526054102759160818119715765901437226605341820372\ 874433429*c_0101_6^12 - 1446695475852241507227300381908723978985503\ 9675373538045523033718/31241526054102759160818119715765901437226605\ 341820372874433429*c_0101_6^10 - 9676694085580896993159212046388191\ 178139484822154795509432538569/312415260541027591608181197157659014\ 37226605341820372874433429*c_0101_6^8 + 5681125949916664365254002268935170071547474153753704303398855995/31\ 241526054102759160818119715765901437226605341820372874433429*c_0101\ _6^6 - 477962947312543505500186949745972527592629304142840361510044\ 221/31241526054102759160818119715765901437226605341820372874433429*\ c_0101_6^4 + 720577314264154475579268070498562730281879295572345957\ 87093652/3124152605410275916081811971576590143722660534182037287443\ 3429*c_0101_6^2 + 1353463311867120210728122465360146701498134535151\ 7306072516598/31241526054102759160818119715765901437226605341820372\ 874433429, c_0101_5 + 319914785439202300339465401250880832587826248246899291615865\ 5/5842165372117215963072988386848223568761375198920409727519051223*\ c_0101_6^31 + 11237300371880150247526521826565481359542123996940353\ 2068001534/58421653721172159630729883868482235687613751989204097275\ 19051223*c_0101_6^29 + 13332206269373692564914380376233521102420245\ 4584972713270387734/53110594291974690573390803516802032443285229081\ 0946338865368293*c_0101_6^27 + 938790497412844528820408156668679758\ 4831820058207091781301484310/58421653721172159630729883868482235687\ 61375198920409727519051223*c_0101_6^25 + 3162570720955603092404191305459054078550703811847070986098944088/34\ 3656786595130350768999316873424915809492658760024101618767719*c_010\ 1_6^23 + 4436093160899683466186445740281701546605266034310268195322\ 81151140/5842165372117215963072988386848223568761375198920409727519\ 051223*c_0101_6^21 + 2975328005841802593873784801349277096614533763\ 556035995654571572666/584216537211721596307298838684822356876137519\ 8920409727519051223*c_0101_6^19 + 102963745144561595086163928767888\ 10594509656228007617172478021955449/5842165372117215963072988386848\ 223568761375198920409727519051223*c_0101_6^17 + 1210681863940297791060076983404920768992370832504494626105993858882\ 7/5842165372117215963072988386848223568761375198920409727519051223*\ c_0101_6^15 - 10191090655651169877399657143486300918350979404056992\ 17922188925684/5311059429197469057339080351680203244328522908109463\ 38865368293*c_0101_6^13 - 26754021530564898080190768563868137418249\ 934228857911192709273193234/584216537211721596307298838684822356876\ 1375198920409727519051223*c_0101_6^11 - 1494431511136192156240909881467353641190217691638020099417659714871\ 3/5842165372117215963072988386848223568761375198920409727519051223*\ c_0101_6^9 + 137218602585492609331617251233427693944495254689326126\ 88117746325325/5842165372117215963072988386848223568761375198920409\ 727519051223*c_0101_6^7 - 12239347300014195259099163718325159150601\ 84158413799437636149040727/5842165372117215963072988386848223568761\ 375198920409727519051223*c_0101_6^5 - 69452103839055729499589968010699436073051448599977051403824669620/5\ 842165372117215963072988386848223568761375198920409727519051223*c_0\ 101_6^3 - 765395956956753196539371186037988718971236595058862108442\ 3520691/58421653721172159630729883868482235687613751989204097275190\ 51223*c_0101_6, c_0101_6^32 + 35*c_0101_6^30 + 454*c_0101_6^28 + 2877*c_0101_6^26 + 16439*c_0101_6^24 + 136567*c_0101_6^22 + 912682*c_0101_6^20 + 3102233*c_0101_6^18 + 3384927*c_0101_6^16 - 3960760*c_0101_6^14 - 7899022*c_0101_6^12 - 3641152*c_0101_6^10 + 4827391*c_0101_6^8 - 950162*c_0101_6^6 + 53106*c_0101_6^4 - 5087*c_0101_6^2 + 289 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB