Magma V2.19-8 Tue Aug 20 2013 16:16:08 on localhost [Seed = 2118116031] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0393 geometric_solution 4.45930187 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.749302297596 0.123030553868 0 0 2 2 0132 3201 2310 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 -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 1.643274648009 0.554581207041 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.042268129231 0.250723035715 2 4 5 2 0132 0132 0132 1023 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 1 -1 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.744672697690 0.275008883071 5 3 5 6 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -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 -1 1 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.610041302235 0.411774713056 4 6 4 3 2031 2310 1302 0132 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 1 0 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.610041302235 0.411774713056 6 6 4 5 1302 2031 0132 3201 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 -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.621703229057 0.612378424539 ==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' : 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' : d['1'], 's_2_3' : negation(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' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : negation(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' : 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_2']), 'c_1100_5' : negation(d['c_0011_2']), 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_2']), 'c_0101_4' : negation(d['c_0011_2']), '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_2'], 'c_0011_4' : 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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0110_6']), '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_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 661863232042480884202243954193757463634966483190929020294/443532610\ 8881033435251425210691539124013187863424082635*c_0110_6^20 - 1353285164317791144111221493362652209731531261403722267574/44353261\ 08881033435251425210691539124013187863424082635*c_0110_6^19 - 3373348506382981938699730919014942681494728549182152474166/44353261\ 08881033435251425210691539124013187863424082635*c_0110_6^18 + 2901643916905199559058217354669836173698910576693102604551/29568840\ 7258735562350095014046102608267545857561605509*c_0110_6^17 + 258065905918293675360444552197488119459706626585074798461693/443532\ 6108881033435251425210691539124013187863424082635*c_0110_6^16 + 577653043807076043405023509130046045145919919444835121424847/443532\ 6108881033435251425210691539124013187863424082635*c_0110_6^15 + 1480009766870852114807888851164047799101516432465865851306543/44353\ 26108881033435251425210691539124013187863424082635*c_0110_6^14 + 486643718135515576719175152533454133073330381253904215722132/147844\ 2036293677811750475070230513041337729287808027545*c_0110_6^13 - 66176881297306694645460700904894091341331728795073920314141/8870652\ 21776206687050285042138307824802637572684816527*c_0110_6^12 - 3966073275449266645409860777591013536585682833883929981707667/44353\ 26108881033435251425210691539124013187863424082635*c_0110_6^11 - 2664299507305212409527784479112779934993256097668846831667526/88706\ 5221776206687050285042138307824802637572684816527*c_0110_6^10 - 9357786399420008198497662691703291503341073926773418195645632/14784\ 42036293677811750475070230513041337729287808027545*c_0110_6^9 - 25292072399479073487635326844738681625478189170388817312891362/4435\ 326108881033435251425210691539124013187863424082635*c_0110_6^8 - 7487334872743401948725779714540722563979620898049271587261384/14784\ 42036293677811750475070230513041337729287808027545*c_0110_6^7 + 10617350285859530260346045671553904770280169788767522528813542/4435\ 326108881033435251425210691539124013187863424082635*c_0110_6^6 + 9956553602537576777132704321841510044901589540260707523507049/14784\ 42036293677811750475070230513041337729287808027545*c_0110_6^5 - 1494600349113665737472824557108120857902216359510699974789767/14784\ 42036293677811750475070230513041337729287808027545*c_0110_6^4 + 603579270893908164034470456083657688839535422417593443489664/443532\ 6108881033435251425210691539124013187863424082635*c_0110_6^3 + 1247420855767461857374504655200306091736077622776642544594802/44353\ 26108881033435251425210691539124013187863424082635*c_0110_6^2 - 540445079887980258621190788758802738184704335065713774730424/443532\ 6108881033435251425210691539124013187863424082635*c_0110_6 + 35476279488272721563537133055269931232694491670689543160344/4435326\ 108881033435251425210691539124013187863424082635, c_0011_0 - 1, c_0011_2 - 89919158471846209364722815511085683770897561155766697/133059\ 78326643100305754275632074617372039563590272247905*c_0110_6^20 - 206504495330794672738862394412712111826091250559735307/133059783266\ 43100305754275632074617372039563590272247905*c_0110_6^19 - 508116313448881210051103395052284141787623228730118313/133059783266\ 43100305754275632074617372039563590272247905*c_0110_6^18 + 1157797753982230521958045913999840302441912025669927768/26611956653\ 28620061150855126414923474407912718054449581*c_0110_6^17 + 36528218547564798463521289944882607130504039084209952924/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6^16 + 87532135216365959692581993129219627928151318465329602631/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6^15 + 222306701756767138714847703032871345108782085270450424459/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^14 + 84229464657494996625059555928303266573738372832295907311/4435326108\ 881033435251425210691539124013187863424082635*c_0110_6^13 + 2875667796990624240349156610735862258669498232232414951/26611956653\ 28620061150855126414923474407912718054449581*c_0110_6^12 - 538550671038517570090239866630902625086387601153089616336/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^11 - 388564505020390958166292555651394824284032190234274649959/266119566\ 5328620061150855126414923474407912718054449581*c_0110_6^10 - 4290564001385775841995438333170237647428408007918581123433/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^9 - 4476428259808949822754560644861969787276361958043496633431/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^8 - 455487456042613551804621483751304548821962247249285842074/147844203\ 6293677811750475070230513041337729287808027545*c_0110_6^7 + 465106433430730761075082252668817598953710302911466078611/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^6 + 4222367059804921855225370736710406779618943274626622640111/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^5 + 396307278200612599631179827444011540304692303841018393152/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^4 + 29103060109940475476105960358117150813886434247183324664/4435326108\ 881033435251425210691539124013187863424082635*c_0110_6^3 + 234671666359081384496451798952860697179511877834087280836/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^2 - 29363900157922493304390249561075447589413036452068312742/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6 - 4088843762101240472768262642483570160376240562617341733/13305978326\ 643100305754275632074617372039563590272247905, c_0011_6 - 23622617614385248873010723235117358288072642276799549/133059\ 78326643100305754275632074617372039563590272247905*c_0110_6^20 - 65117229507351558116271504476706313155435167833575959/1330597832664\ 3100305754275632074617372039563590272247905*c_0110_6^19 - 159672400585840191598584924532422304672861352252030906/133059783266\ 43100305754275632074617372039563590272247905*c_0110_6^18 + 291335947204484189915321877230459295594569986901839381/266119566532\ 8620061150855126414923474407912718054449581*c_0110_6^17 + 10289333925033550517980628416350225427199226753123813883/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6^16 + 27489969930609397983402807610772299081893065537953114577/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6^15 + 69475523325656657422980749250709143085158232625299307843/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6^14 + 31466482444685026596655023723511482577316283735255854462/4435326108\ 881033435251425210691539124013187863424082635*c_0110_6^13 + 7439019996190872597479964112636118426823051575023494670/26611956653\ 28620061150855126414923474407912718054449581*c_0110_6^12 - 136704198077482858150686276544958392530567686309833178932/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^11 - 115220688813423981497522221752057856104827382405617247185/266119566\ 5328620061150855126414923474407912718054449581*c_0110_6^10 - 1370052088750056503613506085685851960502290411218376922646/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^9 - 1720972305468672756808545564019713876307406231176608529387/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^8 - 185992255606584804997129186450812035228206851834511264438/147844203\ 6293677811750475070230513041337729287808027545*c_0110_6^7 - 425262479236364919638427823620829340889253104212723160208/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^6 + 1124280058793934585447245606289742005396341914296497590372/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^5 + 637489506895876377135020175338289978467196132114519789799/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^4 + 48680526873110428011428634274301692027078698591289009763/4435326108\ 881033435251425210691539124013187863424082635*c_0110_6^3 + 75874988941109737877993775549559897326716099370120207172/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6^2 + 16919433605138762513724735630087579389639378235555318761/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6 - 3562153574710607578157726732711184794413620156672247831/13305978326\ 643100305754275632074617372039563590272247905, c_0101_0 - 29878830019749249442452058951613343093226726724732921/443532\ 6108881033435251425210691539124013187863424082635*c_0110_6^20 - 18865224417294897459276777283751498282106584259147562/1478442036293\ 677811750475070230513041337729287808027545*c_0110_6^19 - 141522735908814359824858723973098253234636897460388664/443532610888\ 1033435251425210691539124013187863424082635*c_0110_6^18 + 398184236534477301079430950633831114141702471193386265/887065221776\ 206687050285042138307824802637572684816527*c_0110_6^17 + 3787459735335095101731729469890454034803249838832429189/14784420362\ 93677811750475070230513041337729287808027545*c_0110_6^16 + 24221040600249648230414384691746563575411426301938679913/4435326108\ 881033435251425210691539124013187863424082635*c_0110_6^15 + 20760610858842605274491736162371011809010854643754978784/1478442036\ 293677811750475070230513041337729287808027545*c_0110_6^14 + 18164454185060478741349786305457056123169855606041991103/1478442036\ 293677811750475070230513041337729287808027545*c_0110_6^13 - 5676810142509075196704872283757654194104731771088077715/88706522177\ 6206687050285042138307824802637572684816527*c_0110_6^12 - 60095821765318430303992525195620370555223621089034524126/1478442036\ 293677811750475070230513041337729287808027545*c_0110_6^11 - 114789081274857901422430065190053405717280100426540838410/887065221\ 776206687050285042138307824802637572684816527*c_0110_6^10 - 1167841790638314609277944509636025776150805244137737178454/44353261\ 08881033435251425210691539124013187863424082635*c_0110_6^9 - 306588422726084723804764586138398158599170014418820696796/147844203\ 6293677811750475070230513041337729287808027545*c_0110_6^8 - 258549122567309806476621845193731745891675739171909575891/147844203\ 6293677811750475070230513041337729287808027545*c_0110_6^7 + 693061170544522116596821354945796915433839722441435628273/443532610\ 8881033435251425210691539124013187863424082635*c_0110_6^6 + 1334901552246932886438956065362585549834730693834241299493/44353261\ 08881033435251425210691539124013187863424082635*c_0110_6^5 - 425242231242837517357926970428390647058549677153848860484/443532610\ 8881033435251425210691539124013187863424082635*c_0110_6^4 - 4312739465681795140897501411047878619374526004051898414/44353261088\ 81033435251425210691539124013187863424082635*c_0110_6^3 + 20580457822288023562248386933960925613482214694548443686/1478442036\ 293677811750475070230513041337729287808027545*c_0110_6^2 - 40789792636785817199441253980679351161750765756166101656/4435326108\ 881033435251425210691539124013187863424082635*c_0110_6 + 657842556594841629116096287640279560280232516575100617/147844203629\ 3677811750475070230513041337729287808027545, c_0101_1 - 206961997365215753430386837066502289988548890767431934/13305\ 978326643100305754275632074617372039563590272247905*c_0110_6^20 - 418077165936285693677235266575610737213203717003719804/133059783266\ 43100305754275632074617372039563590272247905*c_0110_6^19 - 1042119949858830811210536932690939580817868371107965171/13305978326\ 643100305754275632074617372039563590272247905*c_0110_6^18 + 2728043027488342331698897709668987263595867124098861537/26611956653\ 28620061150855126414923474407912718054449581*c_0110_6^17 + 80372680453057913632492190750316550693616893492264638673/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6^16 + 178492256383734687713893173237402612390210849460479984617/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^15 + 457482325412524710121405506437451591667130509459994929718/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^14 + 147755946771073307499416606509258779781104587316572194907/443532610\ 8881033435251425210691539124013187863424082635*c_0110_6^13 - 23921920930284007327256925004609931123733827771618947100/2661195665\ 328620061150855126414923474407912718054449581*c_0110_6^12 - 1242116313495519064477348673882256517076307104950891765162/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^11 - 826792480041290537962646201404897867563241741956851133851/266119566\ 5328620061150855126414923474407912718054449581*c_0110_6^10 - 8663707932305873895004657300999212347560749245873412323381/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^9 - 7649873112646870779098867961516288871161999826014753915517/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^8 - 748752074430387235537442151334592029424515575530659628038/147844203\ 6293677811750475070230513041337729287808027545*c_0110_6^7 + 3570612656809408532190565737180996469939493478038257495472/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^6 + 9339087146642587011643388175854363120803016594645536358647/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^5 - 1659250112349513897980734190865947432612913384991812513296/13305978\ 326643100305754275632074617372039563590272247905*c_0110_6^4 + 50809979747854931375087909960906287819786563046476486553/4435326108\ 881033435251425210691539124013187863424082635*c_0110_6^3 + 425132446320822976449296659135499084303471132510238233242/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^2 - 191480442317273879505154885801313004182978704986794533144/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6 + 7973699629226354637901194514673274287307573502057785434/13305978326\ 643100305754275632074617372039563590272247905, c_0101_3 + 21836833532513434297681126797823950432551772268902179/133059\ 78326643100305754275632074617372039563590272247905*c_0110_6^20 + 33380093713906370392149803730033757269285188478357404/1330597832664\ 3100305754275632074617372039563590272247905*c_0110_6^19 + 84704759463687686823671482749211408889891766347152091/1330597832664\ 3100305754275632074617372039563590272247905*c_0110_6^18 - 300143869542712098163447268448842097719248240451425876/266119566532\ 8620061150855126414923474407912718054449581*c_0110_6^17 - 7791575334837873899689003986105128076027306852147537073/13305978326\ 643100305754275632074617372039563590272247905*c_0110_6^16 - 14431643631850654727020325758443499286636194683551828417/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6^15 - 37610118263182210789152505573872863930566825102676424038/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6^14 - 6618475032830436651960637572596665902178663164656358482/44353261088\ 81033435251425210691539124013187863424082635*c_0110_6^13 + 8757528119562771703571604677885741388679627983813245840/26611956653\ 28620061150855126414923474407912718054449581*c_0110_6^12 + 133256304828242127008034383634889078335047908508658059272/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^11 + 74130823975492171865920511786019565379195386163112286856/2661195665\ 328620061150855126414923474407912718054449581*c_0110_6^10 + 678648325821173670120197010037073429903190402793168773056/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^9 + 284990318889498860190136435757240674509539035194242842762/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^8 + 17576403801801970939681215488885151032133133027290294553/1478442036\ 293677811750475070230513041337729287808027545*c_0110_6^7 - 873400317371471623066200060205292314488108228388224579122/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^6 - 934619486360261373236223647973696850329851023966563535342/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^5 + 704099065644438792839061075002977176551111590774768119146/133059783\ 26643100305754275632074617372039563590272247905*c_0110_6^4 + 19800555880722765587469815825717953982108424383720510422/4435326108\ 881033435251425210691539124013187863424082635*c_0110_6^3 - 45844696570185928820318998925265225251316274164031640212/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6^2 + 62451796597235539526369888592029150810720964234538632934/1330597832\ 6643100305754275632074617372039563590272247905*c_0110_6 - 3178335265531743280859736668539143627686330478000308729/13305978326\ 643100305754275632074617372039563590272247905, c_0110_6^21 + 2*c_0110_6^20 + 5*c_0110_6^19 - 66*c_0110_6^18 - 387*c_0110_6^17 - 855*c_0110_6^16 - 2195*c_0110_6^15 - 2101*c_0110_6^14 + 611*c_0110_6^13 + 5983*c_0110_6^12 + 19858*c_0110_6^11 + 41484*c_0110_6^10 + 36207*c_0110_6^9 + 31991*c_0110_6^8 - 17785*c_0110_6^7 - 44616*c_0110_6^6 + 8861*c_0110_6^5 - 962*c_0110_6^4 - 1859*c_0110_6^3 + 903*c_0110_6^2 - 80*c_0110_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB