Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 357861852] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1646 geometric_solution 5.38870323 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.097031113464 1.227849227841 0 5 5 2 0132 0132 1023 0213 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 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.765524405347 0.453159844524 3 0 4 1 0213 0132 2031 0213 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 1 0 -1 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.595354373047 0.452898568241 2 6 6 0 0213 0132 1023 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 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.098343438073 0.352569400655 4 4 0 2 1302 2031 0132 1302 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.388713686746 0.528569485880 5 1 1 5 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 1 -1 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 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.550555830163 0.520036930076 6 3 3 6 3201 0132 1023 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 -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.764445497912 1.040604044005 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0110_4'])})} 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_3, c_0011_4, c_0101_0, c_0101_5, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 470339462647967449480996301236548261617240267/952252930930280379336\ 8308572571549924318752*c_0110_4^25 - 441553365205500493041787469323964459794783597/952252930930280379336\ 8308572571549924318752*c_0110_4^24 - 479322721870308876547257654480343971622227969/317417643643426793112\ 2769524190516641439584*c_0110_4^23 + 1323135204998026039009085007677184866221421171/95225293093028037933\ 68308572571549924318752*c_0110_4^22 + 255302986717627750157637115723150898625503885/238063232732570094834\ 2077143142887481079688*c_0110_4^21 - 454799741061633471805874920491882223041084497/238063232732570094834\ 2077143142887481079688*c_0110_4^20 - 13822724380015370977427695371440943432962665/1190316163662850474171\ 038571571443740539844*c_0110_4^19 + 14573780279501202245929896816565053123845872613/9522529309302803793\ 368308572571549924318752*c_0110_4^18 - 60336270110007400546491513701302372443514529/2975790409157126185427\ 59642892860935134961*c_0110_4^17 - 8975058066692903070295167224225149707662263249/31741764364342679311\ 22769524190516641439584*c_0110_4^16 + 4822933687119127128044434924296277491971691733/47612646546514018966\ 84154286285774962159376*c_0110_4^15 - 4027576387374307939241679110277647499589728095/79354410910856698278\ 0692381047629160359896*c_0110_4^14 + 68994815871283791531802033664247046497172412699/9522529309302803793\ 368308572571549924318752*c_0110_4^13 + 622575834360036519219782675890752921139968493/317417643643426793112\ 2769524190516641439584*c_0110_4^12 - 211078949474565167813277658751089949708555645861/952252930930280379\ 3368308572571549924318752*c_0110_4^11 + 148442455245911208196295822687431014240848507755/952252930930280379\ 3368308572571549924318752*c_0110_4^10 - 13060865038512918422972514463403992877833590727/9522529309302803793\ 368308572571549924318752*c_0110_4^9 + 59761147049386430947978380610055343663443194709/3174176436434267931\ 122769524190516641439584*c_0110_4^8 + 2718979021357042741341205747256895781449615221/19838602727714174569\ 5173095261907290089974*c_0110_4^7 + 18186557122118977190458100409709545613207148443/3174176436434267931\ 122769524190516641439584*c_0110_4^6 - 36837248024110511947223800639424999248730809913/4761264654651401896\ 684154286285774962159376*c_0110_4^5 - 216587269107231338543507520501674085149366004037/952252930930280379\ 3368308572571549924318752*c_0110_4^4 + 26302200370180804669964629614443089710910036193/4761264654651401896\ 684154286285774962159376*c_0110_4^3 - 51470923297336023534295860522870314101896986603/3174176436434267931\ 122769524190516641439584*c_0110_4^2 - 11556463140458250193427057178746368116471980813/2380632327325700948\ 342077143142887481079688*c_0110_4 + 5250437948641368725066068830116528598546087025/79354410910856698278\ 0692381047629160359896, c_0011_0 - 1, c_0011_3 + 10749593178720372572268582838233095/348388702520054607620526\ 5188958554192*c_0110_4^25 + 9225045677560444226880543135829647/3483\ 887025200546076205265188958554192*c_0110_4^24 - 45650269967209764179050092304422895/3483887025200546076205265188958\ 554192*c_0110_4^23 - 20650644194844054062566975531520785/3483887025\ 200546076205265188958554192*c_0110_4^22 + 14012442877503321022699131422686853/8709717563001365190513162972396\ 38548*c_0110_4^21 - 4378993477931398821728491036614631/870971756300\ 136519051316297239638548*c_0110_4^20 - 3185942013901356313146587564504574/21774293907503412976282907430990\ 9637*c_0110_4^19 + 321826826201420882098393346821557369/34838870252\ 00546076205265188958554192*c_0110_4^18 + 64654299010722460468772491523054829/4354858781500682595256581486198\ 19274*c_0110_4^17 - 548582908660045235539904277177635183/3483887025\ 200546076205265188958554192*c_0110_4^16 - 259302989321703805570282731462726263/174194351260027303810263259447\ 9277096*c_0110_4^15 - 217169326704887260783463780279231337/87097175\ 6300136519051316297239638548*c_0110_4^14 - 702279655319007578984333399001964489/348388702520054607620526518895\ 8554192*c_0110_4^13 + 2482692237483001852976920211731983899/3483887\ 025200546076205265188958554192*c_0110_4^12 - 5468997914237296858275339142307436369/34838870252005460762052651889\ 58554192*c_0110_4^11 - 4099017782286567408092482428150586097/348388\ 7025200546076205265188958554192*c_0110_4^10 + 2722132310259047074241612768383721725/34838870252005460762052651889\ 58554192*c_0110_4^9 + 286243595948737419996569283243437299/34838870\ 25200546076205265188958554192*c_0110_4^8 + 678584368279076270648200647992719667/217742939075034129762829074309\ 909637*c_0110_4^7 + 5558298474602793918962730804785077829/348388702\ 5200546076205265188958554192*c_0110_4^6 + 2888728350468132725708270881913831663/17419435126002730381026325944\ 79277096*c_0110_4^5 - 6486905159321209273401131158617090969/3483887\ 025200546076205265188958554192*c_0110_4^4 - 720359635839083268969340465185511411/174194351260027303810263259447\ 9277096*c_0110_4^3 - 862479244239569329384903735264647213/348388702\ 5200546076205265188958554192*c_0110_4^2 - 1492675733483074117766037598155973971/87097175630013651905131629723\ 9638548*c_0110_4 + 167075065659209086665457391425481523/87097175630\ 0136519051316297239638548, c_0011_4 - 5918450871672109996491301226091269/3483887025200546076205265\ 188958554192*c_0110_4^25 + 952119720581489806906608419618179/348388\ 7025200546076205265188958554192*c_0110_4^24 + 24992302144873690505945618095562301/3483887025200546076205265188958\ 554192*c_0110_4^23 - 12199163822839080006245594969517893/3483887025\ 200546076205265188958554192*c_0110_4^22 - 8452562893858521766924528487121905/87097175630013651905131629723963\ 8548*c_0110_4^21 + 10180668851960606843758080400121781/870971756300\ 136519051316297239638548*c_0110_4^20 + 1820934414036382512941718908068645/21774293907503412976282907430990\ 9637*c_0110_4^19 - 205703621442628064411150387209183883/34838870252\ 00546076205265188958554192*c_0110_4^18 - 15121213944165831814026680443509167/4354858781500682595256581486198\ 19274*c_0110_4^17 + 449386044821661895936401422064656813/3483887025\ 200546076205265188958554192*c_0110_4^16 - 23326817153355749418331339323092655/1741943512600273038102632594479\ 277096*c_0110_4^15 + 49850003585973796432007779786199585/8709717563\ 00136519051316297239638548*c_0110_4^14 - 171943203267912689166827053545675109/348388702520054607620526518895\ 8554192*c_0110_4^13 - 785545897165081516486449717361759809/34838870\ 25200546076205265188958554192*c_0110_4^12 + 3943253403407929872115125479192746275/34838870252005460762052651889\ 58554192*c_0110_4^11 - 365474018984064424754843251472325365/3483887\ 025200546076205265188958554192*c_0110_4^10 - 2850874639273485088135586810036470767/34838870252005460762052651889\ 58554192*c_0110_4^9 + 1550985953224539337382607614204883679/3483887\ 025200546076205265188958554192*c_0110_4^8 - 289485021616379451078579685797812213/435485878150068259525658148619\ 819274*c_0110_4^7 + 281709592867917865996503633749928441/3483887025\ 200546076205265188958554192*c_0110_4^6 - 964442981583177915541053112749173625/174194351260027303810263259447\ 9277096*c_0110_4^5 - 927181373972225249342571884741405821/348388702\ 5200546076205265188958554192*c_0110_4^4 - 834460154433061388482218111618697135/174194351260027303810263259447\ 9277096*c_0110_4^3 + 430915856845357518272780266175264671/348388702\ 5200546076205265188958554192*c_0110_4^2 + 661306076931333648102924244530473101/870971756300136519051316297239\ 638548*c_0110_4 - 65817127685272762411257316110490121/8709717563001\ 36519051316297239638548, c_0101_0 - 50628968986968162127100037657495701/348388702520054607620526\ 5188958554192*c_0110_4^25 + 45797826679919899551322756045353875/348\ 3887025200546076205265188958554192*c_0110_4^24 + 141709741562762552347512961417039277/348388702520054607620526518895\ 8554192*c_0110_4^23 - 131228939138568412708195638763626509/34838870\ 25200546076205265188958554192*c_0110_4^22 - 17102032489063297546346876203488181/8709717563001365190513162972396\ 38548*c_0110_4^21 + 45069089003323362871325434721930753/87097175630\ 0136519051316297239638548*c_0110_4^20 - 2900837687014604011014794681753575/43548587815006825952565814861981\ 9274*c_0110_4^19 - 1547657916998173445136823268879391867/3483887025\ 200546076205265188958554192*c_0110_4^18 + 11728163072688509692209829145787545/2177429390750341297628290743099\ 09637*c_0110_4^17 + 2489586551724732212006735657840889661/348388702\ 5200546076205265188958554192*c_0110_4^16 - 557949195924426275723449024333459227/174194351260027303810263259447\ 9277096*c_0110_4^15 + 1457668096898701992798908014487797685/8709717\ 56300136519051316297239638548*c_0110_4^14 - 7076954962530474948040481759624715245/34838870252005460762052651889\ 58554192*c_0110_4^13 + 1127367703521761078786660640835118103/348388\ 7025200546076205265188958554192*c_0110_4^12 + 21035260734830784458577446413845345659/3483887025200546076205265188\ 958554192*c_0110_4^11 - 15839991851700712623435099253406335349/3483\ 887025200546076205265188958554192*c_0110_4^10 + 6844053343658135452821027449525209409/34838870252005460762052651889\ 58554192*c_0110_4^9 - 19262152792994368080785340381168104441/348388\ 7025200546076205265188958554192*c_0110_4^8 - 1837123458982898742207823307806528629/43548587815006825952565814861\ 9819274*c_0110_4^7 - 13553737649244032772325476609593091367/3483887\ 025200546076205265188958554192*c_0110_4^6 + 1231571423196033401942585868647144347/17419435126002730381026325944\ 79277096*c_0110_4^5 + 18985094275352731498987681445201245075/348388\ 7025200546076205265188958554192*c_0110_4^4 + 163015437558945912474848885654549325/174194351260027303810263259447\ 9277096*c_0110_4^3 + 20070344191178623627481629768869476927/3483887\ 025200546076205265188958554192*c_0110_4^2 + 1095155742094432114256481601593511805/87097175630013651905131629723\ 9638548*c_0110_4 - 940644257992145204785387964386848665/87097175630\ 0136519051316297239638548, c_0101_5 - 3292214430128513567795505566960618/2177429390750341297628290\ 74309909637*c_0110_4^25 + 13004570118160930968112004173292447/87097\ 1756300136519051316297239638548*c_0110_4^24 + 35659870430806642020206257560539057/8709717563001365190513162972396\ 38548*c_0110_4^23 - 37547000279712793615604596687318441/87097175630\ 0136519051316297239638548*c_0110_4^22 - 14976393783698779331572627770599397/8709717563001365190513162972396\ 38548*c_0110_4^21 + 12422152887039737700862480280885970/21774293907\ 5034129762829074309909637*c_0110_4^20 - 4230675383241907657079698449137389/43548587815006825952565814861981\ 9274*c_0110_4^19 - 100735025203864739137853478768155794/21774293907\ 5034129762829074309909637*c_0110_4^18 + 81866926277345297219175341669315861/8709717563001365190513162972396\ 38548*c_0110_4^17 + 159798102122269786336626449404953906/2177429390\ 75034129762829074309909637*c_0110_4^16 - 359617029691457111265888835493311945/870971756300136519051316297239\ 638548*c_0110_4^15 + 380671968311560452089201682504351487/217742939\ 075034129762829074309909637*c_0110_4^14 - 489472156411780396895558983365387071/217742939075034129762829074309\ 909637*c_0110_4^13 + 494646397643599892781854371004374233/870971756\ 300136519051316297239638548*c_0110_4^12 + 5483040411898923343376072086906327537/87097175630013651905131629723\ 9638548*c_0110_4^11 - 4529761350746476834047607988400672297/8709717\ 56300136519051316297239638548*c_0110_4^10 + 2129960846060692809020742182078715367/87097175630013651905131629723\ 9638548*c_0110_4^9 - 5050321003192456240343542758735545127/87097175\ 6300136519051316297239638548*c_0110_4^8 - 3062521754854572436215257321080391579/87097175630013651905131629723\ 9638548*c_0110_4^7 - 1614839028276309201783096375123107531/43548587\ 8150068259525658148619819274*c_0110_4^6 + 823353296271839443835888210758713529/870971756300136519051316297239\ 638548*c_0110_4^5 + 2251280362922125254827922904883777917/435485878\ 150068259525658148619819274*c_0110_4^4 - 1530539404733679863642871553800059203/87097175630013651905131629723\ 9638548*c_0110_4^3 + 1291333504613760823734894019993737934/21774293\ 9075034129762829074309909637*c_0110_4^2 + 1083338727781256651210093835128907651/87097175630013651905131629723\ 9638548*c_0110_4 - 483303601118497648118999946293433829/43548587815\ 0068259525658148619819274, c_0101_6 - 3466807609335597511999283786354257/4354858781500682595256581\ 48619819274*c_0110_4^25 + 7844960127934429223432989621539421/870971\ 756300136519051316297239638548*c_0110_4^24 + 21045967300011036579555999371795061/8709717563001365190513162972396\ 38548*c_0110_4^23 - 23416016533547192110360878809671865/87097175630\ 0136519051316297239638548*c_0110_4^22 - 12868012063198302428299315143011445/8709717563001365190513162972396\ 38548*c_0110_4^21 + 7415276459101998874774173808312751/217742939075\ 034129762829074309909637*c_0110_4^20 - 2878040123006659297331282444551643/43548587815006825952565814861981\ 9274*c_0110_4^19 - 109193504415046824066337872521504319/43548587815\ 0068259525658148619819274*c_0110_4^18 + 69894315625011390954927264775365049/8709717563001365190513162972396\ 38548*c_0110_4^17 + 105299014525637555464492699291013159/2177429390\ 75034129762829074309909637*c_0110_4^16 - 193267214672113621693603409886309403/870971756300136519051316297239\ 638548*c_0110_4^15 + 188137768826488906911841144548231670/217742939\ 075034129762829074309909637*c_0110_4^14 - 559997018461055071002721798053853451/435485878150068259525658148619\ 819274*c_0110_4^13 + 12571512888849378527535201849738431/8709717563\ 00136519051316297239638548*c_0110_4^12 + 3120369693752142217270502234220948141/87097175630013651905131629723\ 9638548*c_0110_4^11 - 2940660095771232123270379456039812897/8709717\ 56300136519051316297239638548*c_0110_4^10 + 217810038916662123715473700179295919/870971756300136519051316297239\ 638548*c_0110_4^9 - 2815434284043314898709833433253639147/870971756\ 300136519051316297239638548*c_0110_4^8 - 2155908624668067366550507658913632241/87097175630013651905131629723\ 9638548*c_0110_4^7 - 309851292230435648811187753138706747/435485878\ 150068259525658148619819274*c_0110_4^6 + 1312744316616345847448925320542364283/87097175630013651905131629723\ 9638548*c_0110_4^5 + 994057360844375669876422172683198989/217742939\ 075034129762829074309909637*c_0110_4^4 - 457939490784541160423652263772871689/870971756300136519051316297239\ 638548*c_0110_4^3 + 1668189533511644469580715988271414881/435485878\ 150068259525658148619819274*c_0110_4^2 + 732849379362001610380212600413526555/870971756300136519051316297239\ 638548*c_0110_4 - 466635557068105165550240062229109465/435485878150\ 068259525658148619819274, c_0110_4^26 - c_0110_4^25 - 3*c_0110_4^24 + 3*c_0110_4^23 + 2*c_0110_4^22 - 4*c_0110_4^21 + 31*c_0110_4^19 - 6*c_0110_4^18 - 57*c_0110_4^17 + 24*c_0110_4^16 - 104*c_0110_4^15 + 153*c_0110_4^14 - 5*c_0110_4^13 - 449*c_0110_4^12 + 343*c_0110_4^11 - 47*c_0110_4^10 + 383*c_0110_4^9 + 254*c_0110_4^8 + 99*c_0110_4^7 - 164*c_0110_4^6 - 451*c_0110_4^5 + 140*c_0110_4^4 - 335*c_0110_4^3 - 78*c_0110_4^2 + 140*c_0110_4 - 8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB