Magma V2.19-8 Tue Aug 20 2013 16:18:56 on localhost [Seed = 3229703593] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3097 geometric_solution 6.26212122 oriented_manifold CS_known 0.0000000000000004 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 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.286431324032 0.180757757282 2 0 3 0 0132 2310 0132 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 0 1 -1 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.216701200051 1.394936405024 1 4 5 6 0132 0132 0132 0132 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 -1 1 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.580841983096 0.861263183628 6 5 4 1 1023 0132 3201 0132 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 1 0 -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.580841983096 0.861263183628 3 2 4 4 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.818602272130 1.102157963083 5 3 5 2 2031 0132 1302 0132 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 -1 0 1 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.867622219120 0.668434956875 6 3 2 6 3201 1023 0132 2310 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 0 0 -1 1 -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.494939871737 0.530489986932 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(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' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0101_3']), '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' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0011_3'], 'c_0101_4' : d['c_0101_4'], '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], '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' : d['c_0101_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), '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' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 3437611954186293743607720019083090476593605234649751095/63137312819\ 8730205545189914094550554957437432984351937536*c_0101_4^35 - 8841444386991193999676539715002026817474134946834359013/15784328204\ 9682551386297478523637638739359358246087984384*c_0101_4^33 + 32030328543062871946391130928482317633803570762936781257/3156865640\ 99365102772594957047275277478718716492175968768*c_0101_4^31 + 966976167214502406547974979719955830786338136881150519025/315686564\ 099365102772594957047275277478718716492175968768*c_0101_4^29 + 4898207917733274145295317864094280569945586724009717653277/63137312\ 8198730205545189914094550554957437432984351937536*c_0101_4^27 - 10519490408517109654856884531419445284520338210691988002593/3156865\ 64099365102772594957047275277478718716492175968768*c_0101_4^25 - 24031194736175352867709126924431258860414763738832502662451/1578432\ 82049682551386297478523637638739359358246087984384*c_0101_4^23 + 9311053922746427086857834487986258283992484718048879849331/63137312\ 8198730205545189914094550554957437432984351937536*c_0101_4^21 + 50417435620392469594291299493999757666457520570360336917269/7892164\ 1024841275693148739261818819369679679123043992192*c_0101_4^19 + 314294956349315336752726403611680408030757444157945548556447/631373\ 128198730205545189914094550554957437432984351937536*c_0101_4^17 - 348552939519250361367148000391555779124275617720476545684033/631373\ 128198730205545189914094550554957437432984351937536*c_0101_4^15 - 649142751083556075669428377002101813196854588800360801206689/631373\ 128198730205545189914094550554957437432984351937536*c_0101_4^13 - 334945338029214412674488957562515897444297165358001425345067/315686\ 564099365102772594957047275277478718716492175968768*c_0101_4^11 - 14573376852947018744583476555720528554666924603591862541961/3156865\ 64099365102772594957047275277478718716492175968768*c_0101_4^9 + 487965626993095694585447184410376034988676975360416480492659/315686\ 564099365102772594957047275277478718716492175968768*c_0101_4^7 + 662193150021238254623412014222160763383162230066163891081471/631373\ 128198730205545189914094550554957437432984351937536*c_0101_4^5 - 257854589214900187345934662146640378321825261002722787999393/631373\ 128198730205545189914094550554957437432984351937536*c_0101_4^3 - 123944541591996356033145977686700080331522976145486197342919/631373\ 128198730205545189914094550554957437432984351937536*c_0101_4, c_0011_0 - 1, c_0011_1 + 117541427533757331045829839838826216069208161692069/61657532\ 0506572466352724525482959526325622493148781189*c_0101_4^34 + 1413353155040597044677774384237929219852739084771496/61657532050657\ 2466352724525482959526325622493148781189*c_0101_4^32 + 272985224431156364087652686662409476081077137568332/616575320506572\ 466352724525482959526325622493148781189*c_0101_4^30 - 65557444738507809813973641974784066947062141453310827/6165753205065\ 72466352724525482959526325622493148781189*c_0101_4^28 - 281410500499025771153828982350227478571175930215660500/616575320506\ 572466352724525482959526325622493148781189*c_0101_4^26 + 226288701933837574730286413698811094113596310300077511/616575320506\ 572466352724525482959526325622493148781189*c_0101_4^24 + 3665204039392954149521559707565737939474438359992175585/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^22 + 6062990587603993344245435191165612961257697881677652432/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^20 - 3115621289861752254356906954590619186863707002442481446/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^18 - 15869149967394938418135515985560017071574066707661304153/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^16 - 14997773053588503164877680817174175436841613244691267283/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^14 - 3577948100393712564356544246833547745172239985665581961/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^12 + 14918687876986344659111465196398039459657871538427038800/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^10 + 24483049270026873381836797661602805253348680332533785828/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^8 + 7603940156839618532904037162321142425250481296188349284/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^6 - 8813636196323038500007913586641364003295692763176160565/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^4 - 3976430521807555237338327039682693304627484849218016337/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^2 + 50214421413038528983220448546297812501135196293263402/6165753205065\ 72466352724525482959526325622493148781189, c_0011_3 - 4090089529727457314511541225047848730722774861087765/9865205\ 128105159461643592407727352421209959890380499024*c_0101_4^35 - 12602822728016484418827349625594089453423333904130487/2466301282026\ 289865410898101931838105302489972595124756*c_0101_4^33 - 12003321433200843115793957764800604961757762574412317/4932602564052\ 579730821796203863676210604979945190249512*c_0101_4^31 + 1140530041760782359498780238861976038166078174636319675/49326025640\ 52579730821796203863676210604979945190249512*c_0101_4^29 + 10470783995978688349524503637388364363845113275195653591/9865205128\ 105159461643592407727352421209959890380499024*c_0101_4^27 - 2541333187082835489300739099215501865144171156799628419/49326025640\ 52579730821796203863676210604979945190249512*c_0101_4^25 - 32545883499763305689006736873921533505320847199873519769/2466301282\ 026289865410898101931838105302489972595124756*c_0101_4^23 - 247401546223948496048235057501163111219055920758186586903/986520512\ 8105159461643592407727352421209959890380499024*c_0101_4^21 + 6417339165385559642821884252662031666064355857450888669/12331506410\ 13144932705449050965919052651244986297562378*c_0101_4^19 + 580561484940201565087114832114192556972182025219048570941/986520512\ 8105159461643592407727352421209959890380499024*c_0101_4^17 + 661205631152839478226260277773338725070680003983119199469/986520512\ 8105159461643592407727352421209959890380499024*c_0101_4^15 + 260730319830585645107792341330091675339321218192079521773/986520512\ 8105159461643592407727352421209959890380499024*c_0101_4^13 - 239134287701233658318365034143061801370246302650401827601/493260256\ 4052579730821796203863676210604979945190249512*c_0101_4^11 - 490591871340778460412118239562708027804154223779114827387/493260256\ 4052579730821796203863676210604979945190249512*c_0101_4^9 - 239962451849054864819217371463339477348371759730248334831/493260256\ 4052579730821796203863676210604979945190249512*c_0101_4^7 + 257834670275368026760527070967116001943870871449971471773/986520512\ 8105159461643592407727352421209959890380499024*c_0101_4^5 + 217566854671797406460102199871872097903363780696943831533/986520512\ 8105159461643592407727352421209959890380499024*c_0101_4^3 + 38815340379155862819234477313603517102653892186231417787/9865205128\ 105159461643592407727352421209959890380499024*c_0101_4, c_0101_0 - 11264359671711781741257481887700796174392611584191267/986520\ 5128105159461643592407727352421209959890380499024*c_0101_4^35 - 33685904620076640882559984986828092145514146580490325/2466301282026\ 289865410898101931838105302489972595124756*c_0101_4^33 - 8737739441712524083371254268217829673982786865664763/49326025640525\ 79730821796203863676210604979945190249512*c_0101_4^31 + 3142478829491071958114852027694739060784270488166339741/49326025640\ 52579730821796203863676210604979945190249512*c_0101_4^29 + 26555149319197290431941938286026537000697458252407112033/9865205128\ 105159461643592407727352421209959890380499024*c_0101_4^27 - 11735583466206036513680570498866762234215677352357783677/4932602564\ 052579730821796203863676210604979945190249512*c_0101_4^25 - 87337155183421509885456740189336677222600294843697549251/2466301282\ 026289865410898101931838105302489972595124756*c_0101_4^23 - 555436548364415152458439514637613589317149753935766453425/986520512\ 8105159461643592407727352421209959890380499024*c_0101_4^21 + 41696526284842465553105814325417593363057747191404656089/1233150641\ 013144932705449050965919052651244986297562378*c_0101_4^19 + 1466166758531052351542631182725141197175555260484417617659/98652051\ 28105159461643592407727352421209959890380499024*c_0101_4^17 + 1306778709784988230522466050129738414752267755683643132587/98652051\ 28105159461643592407727352421209959890380499024*c_0101_4^15 + 288993743137518288995876874385786023168928041866672075963/986520512\ 8105159461643592407727352421209959890380499024*c_0101_4^13 - 700488706963832913080458465125932457758248836309053269191/493260256\ 4052579730821796203863676210604979945190249512*c_0101_4^11 - 1102440819428450616853296867907684604068963338983543093213/49326025\ 64052579730821796203863676210604979945190249512*c_0101_4^9 - 281448341283073386649190778424770235643275280211043219889/493260256\ 4052579730821796203863676210604979945190249512*c_0101_4^7 + 839983722697384869755640810488966757792634655288657745403/986520512\ 8105159461643592407727352421209959890380499024*c_0101_4^5 + 288982437042095697276930482127386509722034014402552746891/986520512\ 8105159461643592407727352421209959890380499024*c_0101_4^3 + 27454599814956431800278443520819674078768003572321708749/9865205128\ 105159461643592407727352421209959890380499024*c_0101_4, c_0101_1 + 188260862573927604831644631859361425246848814346785/61657532\ 0506572466352724525482959526325622493148781189*c_0101_4^34 + 2258655015305697154574301450755266500020473035104704/61657532050657\ 2466352724525482959526325622493148781189*c_0101_4^32 + 387404778948765074550912625411367800990944514147209/616575320506572\ 466352724525482959526325622493148781189*c_0101_4^30 - 104896156893553976541660030372221569582244241153141597/616575320506\ 572466352724525482959526325622493148781189*c_0101_4^28 - 448020435662731470566075322961676540768945592855085187/616575320506\ 572466352724525482959526325622493148781189*c_0101_4^26 + 368846958453717207415732221654856748570215358162989605/616575320506\ 572466352724525482959526325622493148781189*c_0101_4^24 + 5842461638324241409500731120715724469115071324063873974/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^22 + 9588637232738499523943146416822986420835437229456118822/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^20 - 5006127627466132111764583888374769867861885419168366187/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^18 - 25034910210955821196354045605967308731699200113823989653/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^16 - 23444240206706338640015396646149632202677292487845501137/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^14 - 5407925908163235926739986589880929776871409527288431593/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^12 + 23531182520116533169951747037116871825492119362570533210/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^10 + 38411547625969901085263167187030211668041771107183521256/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^8 + 11569427058849401653932729712779468972220038936278614078/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^6 - 14175575704045623808151266820823346975689234983973405223/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^4 - 6129336728638873721796766597907877547946621986009316011/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^2 - 349554157328111766174246497725668692398216614557259207/616575320506\ 572466352724525482959526325622493148781189, c_0101_3 - 138748379366846932439653183824600338416121818068095/61657532\ 0506572466352724525482959526325622493148781189*c_0101_4^34 - 1628294826791262652914688732512455122331675948946576/61657532050657\ 2466352724525482959526325622493148781189*c_0101_4^32 + 134046535429442454955483042565081276128353405223706/616575320506572\ 466352724525482959526325622493148781189*c_0101_4^30 + 77196683418324044651065565688042314902395628388852541/6165753205065\ 72466352724525482959526325622493148781189*c_0101_4^28 + 310028660148871030108133502272397399294698665527960368/616575320506\ 572466352724525482959526325622493148781189*c_0101_4^26 - 349199693215724831654461814393135121900369763662288218/616575320506\ 572466352724525482959526325622493148781189*c_0101_4^24 - 4201411108941699527203161987683024823345580032697859892/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^22 - 5993708900760431217949481640776311124804634698019687044/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^20 + 5064193739156531100026719158261817945336563106528288638/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^18 + 16978588777135427675978135853972097518924863375153885636/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^16 + 13249860547532242168383110275641014932203511425715300370/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^14 + 912919854932462732622471198517500093561937825260804215/616575320506\ 572466352724525482959526325622493148781189*c_0101_4^12 - 17630538908600933848411148447428947094093310218448476097/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^10 - 23685769698058928715096579599064999320836838645969806463/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^8 - 3002344967778419353195670539363851039344846198730074330/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^6 + 11151359721679033444801640621604990588181020236184977578/6165753205\ 06572466352724525482959526325622493148781189*c_0101_4^4 + 2610292428447105688816235658173322290335855683818249477/61657532050\ 6572466352724525482959526325622493148781189*c_0101_4^2 - 268114729452385691592564486939477383281178447841130922/616575320506\ 572466352724525482959526325622493148781189, c_0101_4^36 + 12*c_0101_4^34 + 2*c_0101_4^32 - 558*c_0101_4^30 - 2379*c_0101_4^28 + 1998*c_0101_4^26 + 31124*c_0101_4^24 + 50523*c_0101_4^22 - 28056*c_0101_4^20 - 132313*c_0101_4^18 - 121273*c_0101_4^16 - 28185*c_0101_4^14 + 125530*c_0101_4^12 + 201854*c_0101_4^10 + 57014*c_0101_4^8 - 76153*c_0101_4^6 - 30489*c_0101_4^4 - 2319*c_0101_4^2 + 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB