Magma V2.19-8 Tue Aug 20 2013 16:16:44 on localhost [Seed = 3751691027] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1014 geometric_solution 4.89737912 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 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 -1 0 1 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 1.252175114515 0.131905105258 0 2 2 0 0132 0132 1023 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 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 1.319695035466 0.373228700142 3 1 1 4 0132 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 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.457575984526 0.624174787618 2 4 4 5 0132 2310 3201 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 0 0 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.186587168687 0.724625164158 3 5 2 3 2310 0132 0132 3201 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 -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.186587168687 0.724625164158 6 4 3 6 0132 0132 0132 1023 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 -1 0 1 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.489928924828 0.729864138136 5 6 6 5 0132 3201 2310 1023 0 0 0 0 0 -1 1 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 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 1.433705203165 0.505793619639 ==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' : negation(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' : 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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : 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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 575590992355445612224838427918787017274792922994248/169658873683364\ 43082463055714459318492161751313687*c_0101_6^37 - 23328060260263989332878782730258162758718613623873756/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^35 + 372907524990257517419389420829392985391165978428766845/169658873683\ 36443082463055714459318492161751313687*c_0101_6^33 - 3084294391113757537388068067621425780377943291868294499/16965887368\ 336443082463055714459318492161751313687*c_0101_6^31 + 14823048129218278862512279659115214742644758054974162963/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^29 - 45164090727130000448950943582586842114059662991376281946/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^27 + 97294849364548589048718374843366563955798572447216300216/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^25 - 167348450743751501540237301873196161972853747035502785366/169658873\ 68336443082463055714459318492161751313687*c_0101_6^23 + 237316868183986809975389178837487189129866817771027434047/169658873\ 68336443082463055714459318492161751313687*c_0101_6^21 - 262291999672172335669009863812234217268885153324745234586/169658873\ 68336443082463055714459318492161751313687*c_0101_6^19 + 218190919694872871851623729802169226467671506372938617356/169658873\ 68336443082463055714459318492161751313687*c_0101_6^17 - 137490200488265217418371330904979008446981704850170821286/169658873\ 68336443082463055714459318492161751313687*c_0101_6^15 + 64224417570418460540898329785968701745410859728071108905/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^13 - 20422893394005159981236540181266924377220447448686285397/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^11 + 4049968015982914130176232557410910131463638761628828666/16965887368\ 336443082463055714459318492161751313687*c_0101_6^9 - 629489709280618586858831420327270382134537200525817989/169658873683\ 36443082463055714459318492161751313687*c_0101_6^7 + 161560183770826396405087962617569543300254827081414860/169658873683\ 36443082463055714459318492161751313687*c_0101_6^5 - 37355417766783368726049467877261973915911466357209241/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^3 + 3967690276937637480692516000309757864097986742680060/16965887368336\ 443082463055714459318492161751313687*c_0101_6, c_0011_0 - 1, c_0011_4 + 151312799719405504851805750169159706598732696388544/16965887\ 368336443082463055714459318492161751313687*c_0101_6^36 - 5928720860687164477899558792499581646109381886386352/16965887368336\ 443082463055714459318492161751313687*c_0101_6^34 + 90053164081876165368126999107949173520466520508767520/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^32 - 689829936552741515160006170517608788431475248602960882/169658873683\ 36443082463055714459318492161751313687*c_0101_6^30 + 2972449521748742564750362555426311747450621750350221772/16965887368\ 336443082463055714459318492161751313687*c_0101_6^28 - 7906753304594743945443999167265917119932813950786068427/16965887368\ 336443082463055714459318492161751313687*c_0101_6^26 + 15089715420849036562053203401510601689882820811333940621/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^24 - 24100992484718054327577794480024114228635503370087658545/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^22 + 30749879366647617870527905292666765652625322714809326798/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^20 - 28851148093588621724985742988901978507563322937983118363/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^18 + 20176843684805723851547254014785244040304402500060338172/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^16 - 10536399482205486621472380959068650352113788671036931351/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^14 + 3777939989152783243952423874448791435180091542470198935/16965887368\ 336443082463055714459318492161751313687*c_0101_6^12 - 837713415634720212268679402790752227833095978671311665/169658873683\ 36443082463055714459318492161751313687*c_0101_6^10 + 129472898809580512923392405474525850800339745576188949/169658873683\ 36443082463055714459318492161751313687*c_0101_6^8 - 29563116760623319793218423568528107659747966799067881/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^6 + 7484023179007602363508394092917555159741067640974272/16965887368336\ 443082463055714459318492161751313687*c_0101_6^4 - 972311643325554423448537447048762559139888769574886/169658873683364\ 43082463055714459318492161751313687*c_0101_6^2 + 34475490607214002279269865459000341618996442018090/1696588736833644\ 3082463055714459318492161751313687, c_0101_0 - 398205333508761004366170378805791825208561121877232/16965887\ 368336443082463055714459318492161751313687*c_0101_6^37 + 15618595297872531260607638351661855136386647105487528/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^35 - 237621321102038892573255817326047605967038585284303286/169658873683\ 36443082463055714459318492161751313687*c_0101_6^33 + 1824942507853112836527322271169829116921662512886762438/16965887368\ 336443082463055714459318492161751313687*c_0101_6^31 - 7894977012347771332313284507518334664612294531291543432/16965887368\ 336443082463055714459318492161751313687*c_0101_6^29 + 21116308332945471111589150104483964811616194580632975856/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^27 - 40517061290328699475123413904406697212321691245635643915/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^25 + 64938396442926188999972359531229822508304681457659742308/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^23 - 83317176390954609487004420854319496730016138431628741802/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^21 + 78933263342147822358390774971352890365011877665272242375/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^19 - 55841635312404146050035076449630502117977688229577823588/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^17 + 29598856143133811565878611293944484412144239193284938453/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^15 - 10898755314132249910331407065022440604338014406850359287/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^13 + 2534488666165225705404349346033669472588880128032093209/16965887368\ 336443082463055714459318492161751313687*c_0101_6^11 - 413613635847103900312346287897643563367134630250218096/169658873683\ 36443082463055714459318492161751313687*c_0101_6^9 + 90249992335821183842704104478764445781959958882883508/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^7 - 21709545122356406739421436179768358938602467505792744/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^5 + 3015836251766156891276235489963904979967777454343664/16965887368336\ 443082463055714459318492161751313687*c_0101_6^3 - 178235530965932337674054518521250899041004696664879/169658873683364\ 43082463055714459318492161751313687*c_0101_6, c_0101_1 + 62488190280039834855759858164645214954123910404632/169658873\ 68336443082463055714459318492161751313687*c_0101_6^37 - 2497207126828446490344837331737209820827723659720428/16965887368336\ 443082463055714459318492161751313687*c_0101_6^35 + 39101394640556396039808737249419749928404551945792331/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^33 - 313911849676264782621140056482998507942300372340956728/169658873683\ 36443082463055714459318492161751313687*c_0101_6^31 + 1449799197182256576370719985807141690604349751463902755/16965887368\ 336443082463055714459318492161751313687*c_0101_6^29 - 4221979701502796764597532504789554661716048893780102140/16965887368\ 336443082463055714459318492161751313687*c_0101_6^27 + 8771745613734676752205773719643177610993700273594493390/16965887368\ 336443082463055714459318492161751313687*c_0101_6^25 - 14787850018064317973574585666710070282786313734478560160/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^23 + 20401149566072026995934426218928104261078471648684154528/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^21 - 21709835877468697691941612657519626050314086645752740004/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^19 + 17462062032252511180766912712988174549125025716425338794/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^17 - 10662539521023453640052276412345308382288673299022825803/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^15 + 4798520395898272749328542848763658344899987051913102373/16965887368\ 336443082463055714459318492161751313687*c_0101_6^13 - 1468853903730474244427975012800708229251183231263195154/16965887368\ 336443082463055714459318492161751313687*c_0101_6^11 + 282724684751966038710961494542026703807548557666858288/169658873683\ 36443082463055714459318492161751313687*c_0101_6^9 - 43806867436795029475851984239571193942756155906816495/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^7 + 11767043399183135223242084436534814105626079546177884/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^5 - 2764600255720214753735902785801921510768156023627262/16965887368336\ 443082463055714459318492161751313687*c_0101_6^3 + 242330282938555476452285588325984725166696702359050/169658873683364\ 43082463055714459318492161751313687*c_0101_6, c_0101_2 - 11824568611362009709276521211071156770255937565936/169658873\ 68336443082463055714459318492161751313687*c_0101_6^37 + 473651283163004442086896158432601602636069954860680/169658873683364\ 43082463055714459318492161751313687*c_0101_6^35 - 7442651381635339404897780081063133327475608148498118/16965887368336\ 443082463055714459318492161751313687*c_0101_6^33 + 60065506593649694483518283503534243484926847379107514/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^31 - 279463055597629993692508452588132353032069094033742096/169658873683\ 36443082463055714459318492161751313687*c_0101_6^29 + 821117627858167526875043263026448250381868523664940013/169658873683\ 36443082463055714459318492161751313687*c_0101_6^27 - 1719072822969456716407269654156506244943823118591993585/16965887368\ 336443082463055714459318492161751313687*c_0101_6^25 + 2910596377673812613246512568671513574427918557500221843/16965887368\ 336443082463055714459318492161751313687*c_0101_6^23 - 4038543140378962983839864305269367382446621124819673039/16965887368\ 336443082463055714459318492161751313687*c_0101_6^21 + 4335371391320626545168402429153879986670972538887095729/16965887368\ 336443082463055714459318492161751313687*c_0101_6^19 - 3514270074650455232765073214365131375709913777947945964/16965887368\ 336443082463055714459318492161751313687*c_0101_6^17 + 2161011134912766905032586177474267804500344105886527148/16965887368\ 336443082463055714459318492161751313687*c_0101_6^15 - 983900911528440924581501806667261352290988645429295986/169658873683\ 36443082463055714459318492161751313687*c_0101_6^13 + 305896590333433179660531297146385328600620818073154382/169658873683\ 36443082463055714459318492161751313687*c_0101_6^11 - 60563695802041864927427909298865214069284233617879359/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^9 + 10156066629542028903848797155576448024052621092109569/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^7 - 2483415616170943540956995788083657012144605982331131/16965887368336\ 443082463055714459318492161751313687*c_0101_6^5 + 445002452268603517078214112789472941510696035762967/169658873683364\ 43082463055714459318492161751313687*c_0101_6^3 - 62072354848345133179564605637319597067898528947477/1696588736833644\ 3082463055714459318492161751313687*c_0101_6, c_0101_3 + 9708572906218121256908374987576783228102947457016/1696588736\ 8336443082463055714459318492161751313687*c_0101_6^37 - 355596781718891506474619621876320435568716039201732/169658873683364\ 43082463055714459318492161751313687*c_0101_6^35 + 4807329682153653178691098810651471091151983086134355/16965887368336\ 443082463055714459318492161751313687*c_0101_6^33 - 29545755862007826077955789833974934682811336982835681/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^31 + 78367123184492585900291581458391930424646482162474294/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^29 - 25884396104918325859218413714748347798362493813449256/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^27 - 301239644465854629555302981629092450805636742855708703/169658873683\ 36443082463055714459318492161751313687*c_0101_6^25 + 851122770283423370562105937303299035652577650895429368/169658873683\ 36443082463055714459318492161751313687*c_0101_6^23 - 1825379440411651129059076263088409449302059094219985160/16965887368\ 336443082463055714459318492161751313687*c_0101_6^21 + 2941877586811217219299852107191336181013993861271144290/16965887368\ 336443082463055714459318492161751313687*c_0101_6^19 - 3104563739956545742219192433773237899287469755469047922/16965887368\ 336443082463055714459318492161751313687*c_0101_6^17 + 2304348720142997474879388812479675000621203192574161465/16965887368\ 336443082463055714459318492161751313687*c_0101_6^15 - 1251791604063913305696448287665562326412256980209622697/16965887368\ 336443082463055714459318492161751313687*c_0101_6^13 + 442718582864589812409824597389682328620432685560319743/169658873683\ 36443082463055714459318492161751313687*c_0101_6^11 - 85605564888666496217984396773265018207484859860699977/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^9 + 11703802438831879966445245830630609308211143458810995/1696588736833\ 6443082463055714459318492161751313687*c_0101_6^7 - 3758292841346222272620106146004422948565262147243278/16965887368336\ 443082463055714459318492161751313687*c_0101_6^5 + 888884691308723627899492570134131441996265391313103/169658873683364\ 43082463055714459318492161751313687*c_0101_6^3 - 82046798700920392808650605331274343145676789065438/1696588736833644\ 3082463055714459318492161751313687*c_0101_6, c_0101_6^38 - 79/2*c_0101_6^36 + 4861/8*c_0101_6^34 - 37991/8*c_0101_6^32 + 42207/2*c_0101_6^30 - 117141/2*c_0101_6^28 + 466531/4*c_0101_6^26 - 1533973/8*c_0101_6^24 + 2042287/8*c_0101_6^22 - 1030121/4*c_0101_6^20 + 787093/4*c_0101_6^18 - 916681/8*c_0101_6^16 + 97687/2*c_0101_6^14 - 57389/4*c_0101_6^12 + 23285/8*c_0101_6^10 - 527*c_0101_6^8 + 481/4*c_0101_6^6 - 197/8*c_0101_6^4 + 23/8*c_0101_6^2 - 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB