Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 812756201] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0910 geometric_solution 4.80481993 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 2310 0 0 0 0 0 0 -1 1 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 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.533284622103 0.222636531887 0 3 0 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 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 1 -1 -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.432824441704 3.033199948084 0 0 2 2 3201 0132 1230 3012 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 0 0 0 0 0.496157382228 0.074920450957 4 1 5 4 3201 0132 0132 3120 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 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.257361849833 0.754611969572 3 5 1 3 3120 3201 0132 2310 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 -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.257361849833 0.754611969572 6 6 4 3 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 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.396620802957 0.806764526543 5 6 5 6 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 1 -1 0 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.895299757694 0.557496071125 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(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' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_4, c_0011_5, c_0101_1, c_0101_3, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 690376175826639550795/18755828769*c_0110_2^37 - 3318116786728398805165/6251942923*c_0110_2^36 - 221231342799990902060/6251942923*c_0110_2^35 + 489053594430559893144085/18755828769*c_0110_2^34 - 2150949462610834517997776/18755828769*c_0110_2^33 + 197987584770033897942918/6251942923*c_0110_2^32 + 14866680575392376817166507/18755828769*c_0110_2^31 - 22969178665577976576529157/18755828769*c_0110_2^30 - 14925335116565136071836037/6251942923*c_0110_2^29 + 128175708581740456021029602/18755828769*c_0110_2^28 + 51604350096377925371657099/18755828769*c_0110_2^27 - 427035460097171196224413321/18755828769*c_0110_2^26 + 125059763029828636445775032/18755828769*c_0110_2^25 + 1071582619710002795228240468/18755828769*c_0110_2^24 - 716819495604216305726634878/18755828769*c_0110_2^23 - 760388036859755845926472489/6251942923*c_0110_2^22 + 535190123639193915293057028/6251942923*c_0110_2^21 + 4202576643790797985338223147/18755828769*c_0110_2^20 - 607657041757428467812754220/6251942923*c_0110_2^19 - 6199041069819910440905685481/18755828769*c_0110_2^18 + 267190038792608535715029106/18755828769*c_0110_2^17 + 6500996083014920391084578720/18755828769*c_0110_2^16 + 2302251483817729147929336317/18755828769*c_0110_2^15 - 4101286564139616467439515512/18755828769*c_0110_2^14 - 1126526757572556323971282542/6251942923*c_0110_2^13 + 280437408861170156385394705/6251942923*c_0110_2^12 + 706532641216996639578480456/6251942923*c_0110_2^11 + 674990206468913590328068709/18755828769*c_0110_2^10 - 458292497929079792394169507/18755828769*c_0110_2^9 - 452331825684916446333190123/18755828769*c_0110_2^8 - 110713454443630670428866196/18755828769*c_0110_2^7 + 15047459007067236848628066/6251942923*c_0110_2^6 + 45144899648159206835937194/18755828769*c_0110_2^5 + 5805403854447463227508487/6251942923*c_0110_2^4 + 3973371134412853579737215/18755828769*c_0110_2^3 + 561060027912924984802096/18755828769*c_0110_2^2 + 45731734318563928162708/18755828769*c_0110_2 + 1657782639463768684868/18755828769, c_0011_0 - 1, c_0011_4 + c_0110_2^37 - 14*c_0110_2^36 - 7*c_0110_2^35 + 708*c_0110_2^34 - 2819*c_0110_2^33 - 445*c_0110_2^32 + 21898*c_0110_2^31 - 24256*c_0110_2^30 - 78810*c_0110_2^29 + 158547*c_0110_2^28 + 152537*c_0110_2^27 - 587469*c_0110_2^26 - 77840*c_0110_2^25 + 1628654*c_0110_2^24 - 388837*c_0110_2^23 - 3740387*c_0110_2^22 + 943769*c_0110_2^21 + 7063815*c_0110_2^20 - 95181*c_0110_2^19 - 10089516*c_0110_2^18 - 3368015*c_0110_2^17 + 9585674*c_0110_2^16 + 7274177*c_0110_2^15 - 4552299*c_0110_2^14 - 7382557*c_0110_2^13 - 825188*c_0110_2^12 + 3582769*c_0110_2^11 + 2261010*c_0110_2^10 - 256531*c_0110_2^9 - 933207*c_0110_2^8 - 434018*c_0110_2^7 - 1410*c_0110_2^6 + 92776*c_0110_2^5 + 52540*c_0110_2^4 + 16283*c_0110_2^3 + 3213*c_0110_2^2 + 406*c_0110_2 + 29, c_0011_5 + 156135892967645128639/18755828769*c_0110_2^37 - 747136360621384987956/6251942923*c_0110_2^36 - 98850958935836475325/6251942923*c_0110_2^35 + 110655950578363526783491/18755828769*c_0110_2^34 - 479487490828790467704650/18755828769*c_0110_2^33 + 33558949495961069326306/6251942923*c_0110_2^32 + 3384717937637247423323182/18755828769*c_0110_2^31 - 4991429429092514604708731/18755828769*c_0110_2^30 - 3513145761386267641696086/6251942923*c_0110_2^29 + 28519265441052244575191333/18755828769*c_0110_2^28 + 13698731435435376985636133/18755828769*c_0110_2^27 - 96682195598480713450129642/18755828769*c_0110_2^26 + 22218867489943581538987130/18755828769*c_0110_2^25 + 246655765719304976195320601/18755828769*c_0110_2^24 - 148576940683365508013547281/18755828769*c_0110_2^23 - 177260864343186397500727720/6251942923*c_0110_2^22 + 112359417817432238764756291/6251942923*c_0110_2^21 + 984233518191401288831044318/18755828769*c_0110_2^20 - 122065172253070931632166159/6251942923*c_0110_2^19 - 1447194761222868492474233905/18755828769*c_0110_2^18 - 9469736418179378851282424/18755828769*c_0110_2^17 + 1503125234080239815283888812/18755828769*c_0110_2^16 + 600033192385516073149485635/18755828769*c_0110_2^15 - 927583174139405060031248911/18755828769*c_0110_2^14 - 274331234720841996044107874/6251942923*c_0110_2^13 + 55432995996646064475645489/6251942923*c_0110_2^12 + 167124825689867463375364106/6251942923*c_0110_2^11 + 173838734016302094633650264/18755828769*c_0110_2^10 - 102797722095607737235073170/18755828769*c_0110_2^9 - 109212808100945920314738712/18755828769*c_0110_2^8 - 28636942961942226092204143/18755828769*c_0110_2^7 + 3374073484612963468432463/6251942923*c_0110_2^6 + 10892639486417051730857708/18755828769*c_0110_2^5 + 1433642812233168618100938/6251942923*c_0110_2^4 + 997150279177196427697373/18755828769*c_0110_2^3 + 142721289305657896285267/18755828769*c_0110_2^2 + 11776455835995788371111/18755828769*c_0110_2 + 431820113247810076931/18755828769, c_0101_1 + 33048734607243198512/18755828769*c_0110_2^37 - 479284432719244496873/18755828769*c_0110_2^36 + 8878707633793767127/18755828769*c_0110_2^35 + 7800723991582902166489/6251942923*c_0110_2^34 - 104922857774959024088534/18755828769*c_0110_2^33 + 12537529114015355353905/6251942923*c_0110_2^32 + 706657196011663863081212/18755828769*c_0110_2^31 - 385913800926773356019079/6251942923*c_0110_2^30 - 2034441506306914999145335/18755828769*c_0110_2^29 + 2094704376170048324972691/6251942923*c_0110_2^28 + 1912227399567251174208056/18755828769*c_0110_2^27 - 20487744608782585165149164/18755828769*c_0110_2^26 + 2572522131117868511866984/6251942923*c_0110_2^25 + 50289487384316131282411808/18755828769*c_0110_2^24 - 38332933785811373540636032/18755828769*c_0110_2^23 - 105136879065333164473304480/18755828769*c_0110_2^22 + 84850987444673601027058114/18755828769*c_0110_2^21 + 64116618055826080436586195/6251942923*c_0110_2^20 - 101589663720227716426651546/18755828769*c_0110_2^19 - 95043261262858429225101246/6251942923*c_0110_2^18 + 11445844631323364388632121/6251942923*c_0110_2^17 + 101216188220693432587066453/6251942923*c_0110_2^16 + 86206349689753763694177092/18755828769*c_0110_2^15 - 198364315731471001343998124/18755828769*c_0110_2^14 - 144550099130047538049386503/18755828769*c_0110_2^13 + 48697729121944042200715007/18755828769*c_0110_2^12 + 95460161088242599092075386/18755828769*c_0110_2^11 + 8519890419628162348214251/6251942923*c_0110_2^10 - 22585584481449445640968714/18755828769*c_0110_2^9 - 19586504423260193301317444/18755828769*c_0110_2^8 - 1368454738911875260663809/6251942923*c_0110_2^7 + 2236204399146786725505643/18755828769*c_0110_2^6 + 1953097559108609709853028/18755828769*c_0110_2^5 + 238470591377670456130294/6251942923*c_0110_2^4 + 156755905249665519266809/18755828769*c_0110_2^3 + 21318413180840646447868/18755828769*c_0110_2^2 + 1673854280697860407562/18755828769*c_0110_2 + 58389177025163991440/18755828769, c_0101_3 - 97069139414424526864/18755828769*c_0110_2^37 + 1393596477099418828832/18755828769*c_0110_2^36 + 182596709239645566251/18755828769*c_0110_2^35 - 68794020076165773132062/18755828769*c_0110_2^34 + 99393595732223200242619/6251942923*c_0110_2^33 - 20996630404961945952571/6251942923*c_0110_2^32 - 2104047894823790747893369/18755828769*c_0110_2^31 + 3105680815430623893273634/18755828769*c_0110_2^30 + 6547595670354403206692647/18755828769*c_0110_2^29 - 17736754052915040352108684/18755828769*c_0110_2^28 - 2830751247480583293546642/6251942923*c_0110_2^27 + 60108944826716693490224977/18755828769*c_0110_2^26 - 13888368764873186691089698/18755828769*c_0110_2^25 - 51100484026519353829750880/6251942923*c_0110_2^24 + 92543813255179257050037611/18755828769*c_0110_2^23 + 330431901662272020636693854/18755828769*c_0110_2^22 - 209906827441987170239749585/18755828769*c_0110_2^21 - 611514096975476851801357874/18755828769*c_0110_2^20 + 228284082394963601172655534/18755828769*c_0110_2^19 + 899217637200644559071830346/18755828769*c_0110_2^18 + 4952207244989344481439247/18755828769*c_0110_2^17 - 934169366554680442192031518/18755828769*c_0110_2^16 - 123999557121026157885898008/6251942923*c_0110_2^15 + 576774048428016744912450838/18755828769*c_0110_2^14 + 510909357110620338669074014/18755828769*c_0110_2^13 - 103760233017648936080231693/18755828769*c_0110_2^12 - 311448092458887183694048040/18755828769*c_0110_2^11 - 107779850429101207308926926/18755828769*c_0110_2^10 + 21313634681094917813230249/6251942923*c_0110_2^9 + 67808226588653324092197007/18755828769*c_0110_2^8 + 17750560697770624288177676/18755828769*c_0110_2^7 - 6296895279944983197684766/18755828769*c_0110_2^6 - 2254308494667205325161496/6251942923*c_0110_2^5 - 889539865321721360943670/6251942923*c_0110_2^4 - 618412928288097657727652/18755828769*c_0110_2^3 - 29491535876130782441637/6251942923*c_0110_2^2 - 7297253777112318212044/18755828769*c_0110_2 - 89153280987974440778/6251942923, c_0101_5 - 136597791177760833154/18755828769*c_0110_2^37 + 1960064694682001386621/18755828769*c_0110_2^36 + 272080779793443940018/18755828769*c_0110_2^35 - 32270172136866258582005/6251942923*c_0110_2^34 + 418873773229910658120721/18755828769*c_0110_2^33 - 28422498192564510509649/6251942923*c_0110_2^32 - 2962426894607411938719286/18755828769*c_0110_2^31 + 1449447707307778210841024/6251942923*c_0110_2^30 + 9252927888006474149886539/18755828769*c_0110_2^29 - 8299997233224577308097485/6251942923*c_0110_2^28 - 12155847255292723313724763/18755828769*c_0110_2^27 + 84550577044474511971301164/18755828769*c_0110_2^26 - 6297246822960386007834421/6251942923*c_0110_2^25 - 216051848465177787603179512/18755828769*c_0110_2^24 + 128676225135293502022515338/18755828769*c_0110_2^23 + 466397531117807228063118844/18755828769*c_0110_2^22 - 292227410842228608162935486/18755828769*c_0110_2^21 - 287878248199779886724510223/6251942923*c_0110_2^20 + 315535094117730617042550743/18755828769*c_0110_2^19 + 423131824477109394854993251/6251942923*c_0110_2^18 + 5173959463202035249816864/6251942923*c_0110_2^17 - 438956419001133283338795466/6251942923*c_0110_2^16 - 532887689115889233205846432/18755828769*c_0110_2^15 + 810243111213383411693975752/18755828769*c_0110_2^14 + 725554578655510328576545910/18755828769*c_0110_2^13 - 142346381625487291328268436/18755828769*c_0110_2^12 - 440417860506062930546479438/18755828769*c_0110_2^11 - 51476030478008934515884691/6251942923*c_0110_2^10 + 89592470428103245918644194/18755828769*c_0110_2^9 + 96221348474445942544602745/18755828769*c_0110_2^8 + 8494932690931161959531860/6251942923*c_0110_2^7 - 8813454434671016198165180/18755828769*c_0110_2^6 - 9598848243344255667553246/18755828769*c_0110_2^5 - 1268357663847939767096152/6251942923*c_0110_2^4 - 884807873518117045616558/18755828769*c_0110_2^3 - 126984223938431875670867/18755828769*c_0110_2^2 - 10505614452108004353559/18755828769*c_0110_2 - 386246975093152813585/18755828769, c_0110_2^38 - 14*c_0110_2^37 - 7*c_0110_2^36 + 708*c_0110_2^35 - 2819*c_0110_2^34 - 445*c_0110_2^33 + 21898*c_0110_2^32 - 24256*c_0110_2^31 - 78810*c_0110_2^30 + 158547*c_0110_2^29 + 152537*c_0110_2^28 - 587469*c_0110_2^27 - 77840*c_0110_2^26 + 1628654*c_0110_2^25 - 388837*c_0110_2^24 - 3740387*c_0110_2^23 + 943769*c_0110_2^22 + 7063815*c_0110_2^21 - 95181*c_0110_2^20 - 10089516*c_0110_2^19 - 3368015*c_0110_2^18 + 9585674*c_0110_2^17 + 7274177*c_0110_2^16 - 4552299*c_0110_2^15 - 7382557*c_0110_2^14 - 825188*c_0110_2^13 + 3582769*c_0110_2^12 + 2261010*c_0110_2^11 - 256531*c_0110_2^10 - 933207*c_0110_2^9 - 434018*c_0110_2^8 - 1410*c_0110_2^7 + 92776*c_0110_2^6 + 52540*c_0110_2^5 + 16283*c_0110_2^4 + 3213*c_0110_2^3 + 405*c_0110_2^2 + 30*c_0110_2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB