Magma V2.19-8 Tue Aug 20 2013 16:16:48 on localhost [Seed = 1562165642] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1073 geometric_solution 4.94294566 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 -1 0 1 -1 0 0 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 -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.757291439510 0.523540813514 0 2 3 0 0132 0132 0132 1023 0 0 0 0 0 0 1 -1 1 0 0 -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 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.032647078324 0.758191702277 3 1 4 3 2310 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 1 -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 -1 0 1 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.234625308050 0.679256049763 4 2 2 1 1023 1302 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 1 -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.234625308050 0.679256049763 5 3 5 2 0132 1023 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 0 0 -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 1.434211276712 0.443023787985 4 4 6 6 0132 3201 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 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 0 0 -1 0 0 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.347234960711 0.404488245530 6 5 6 5 2031 2310 1302 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 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 -1.957572512325 1.563014403818 ==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' : d['1'], 's_3_4' : d['1'], 's_3_0' : 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' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_3']), '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_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], '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_3']), 'c_0011_4' : d['c_0011_3'], '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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_2']), '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_1'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], '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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 135162902516727548691137747820957964966449381461968294/154287160300\ 1059958342994510375333660561816947470495*c_0101_4^31 + 95045727711137657221877923718501671181208047830322921/2373648620001\ 6307051430684775005133239412568422623*c_0101_4^29 - 6988590248616009666586874113608018294904342659769655914/11868243100\ 0081535257153423875025666197062842113115*c_0101_4^27 + 116515880907303081026860500487478235262856022735998669341/308574320\ 600211991668598902075066732112363389494099*c_0101_4^25 - 1663131172572768339885953066814440451057311486091896426874/15428716\ 03001059958342994510375333660561816947470495*c_0101_4^23 + 1602714018643552001814570473128957290250008807415078661241/15428716\ 03001059958342994510375333660561816947470495*c_0101_4^21 + 499565344625485793336639540185557403602775142433861012444/154287160\ 3001059958342994510375333660561816947470495*c_0101_4^19 + 1112408264518645344289465748270379764548117829454010988019/15428716\ 03001059958342994510375333660561816947470495*c_0101_4^17 - 990080033992564527305478098430507734486688125476879871878/308574320\ 600211991668598902075066732112363389494099*c_0101_4^15 + 978886458822222302005846306109704782274721332647141604959/154287160\ 3001059958342994510375333660561816947470495*c_0101_4^13 + 381651866989900655501324000770811833031513723084492212601/308574320\ 600211991668598902075066732112363389494099*c_0101_4^11 + 507934851058333592949192966278795851786841736007386781996/154287160\ 3001059958342994510375333660561816947470495*c_0101_4^9 - 277846828818731734485016436601605541699528884930053427012/154287160\ 3001059958342994510375333660561816947470495*c_0101_4^7 - 10982889192769627047383997346539007437278455551912596525/3085743206\ 00211991668598902075066732112363389494099*c_0101_4^5 - 11754474495360580345650354132393798502063233560953642521/1542871603\ 001059958342994510375333660561816947470495*c_0101_4^3 - 560293373473172754468877983309629316436054113514262772/154287160300\ 1059958342994510375333660561816947470495*c_0101_4, c_0011_0 - 1, c_0011_3 + 93044744505884081946027402501679537588056651680271/949459448\ 00065228205722739100020532957650273690492*c_0101_4^31 - 1063034656163825819726436880815403416529958952106323/23736486200016\ 307051430684775005133239412568422623*c_0101_4^29 + 15627244283511218001251085393216965731894481418730866/2373648620001\ 6307051430684775005133239412568422623*c_0101_4^27 - 100143266423641928055551831675016994606185277686768655/237364862000\ 16307051430684775005133239412568422623*c_0101_4^25 + 1141969699377839861194088004868832800747243097890161223/94945944800\ 065228205722739100020532957650273690492*c_0101_4^23 - 1095557404176646756782573920561304131721801065164377377/94945944800\ 065228205722739100020532957650273690492*c_0101_4^21 - 349378176189850417426858802987006265201634499487604545/949459448000\ 65228205722739100020532957650273690492*c_0101_4^19 - 192803314232861237956991178120897773289224474013902603/237364862000\ 16307051430684775005133239412568422623*c_0101_4^17 + 850195886912313893436761170983409877093187110108973895/237364862000\ 16307051430684775005133239412568422623*c_0101_4^15 - 324704415084655827926884776663519523885096333758899195/474729724000\ 32614102861369550010266478825136845246*c_0101_4^13 - 1309900612176540376831983677780524843355787143451726885/94945944800\ 065228205722739100020532957650273690492*c_0101_4^11 - 90344373058630355485718450436490472134915427363885016/2373648620001\ 6307051430684775005133239412568422623*c_0101_4^9 + 184378235505168524255284734627778813419972009140036275/949459448000\ 65228205722739100020532957650273690492*c_0101_4^7 + 38750902356471367487244958715514207698394246700090737/9494594480006\ 5228205722739100020532957650273690492*c_0101_4^5 + 4557563206558993478163142080858297178899884939386849/47472972400032\ 614102861369550010266478825136845246*c_0101_4^3 + 562536044579928710780529661411126138362091664933057/949459448000652\ 28205722739100020532957650273690492*c_0101_4, c_0011_6 - 357500978916026090112766004617640540471010986302387/47472972\ 4000326141028613695500102664788251368452460*c_0101_4^31 + 816708952217277234093753560992338831965997108805883/237364862000163\ 07051430684775005133239412568422623*c_0101_4^29 - 60002581473575152981296047849647936452732447743372209/1186824310000\ 81535257153423875025666197062842113115*c_0101_4^27 + 76833235434952329890731155696508812514486797028760654/2373648620001\ 6307051430684775005133239412568422623*c_0101_4^25 - 4371934226266887659111389798708894002417938104438485787/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^23 + 4163297856419092806935543695391383020144030112826134433/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^21 + 1389711665264003268077667893169968238056641048885619637/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^19 + 743644701504432828009834472425422969865181430970800563/118682431000\ 081535257153423875025666197062842113115*c_0101_4^17 - 652173366865478589314899532018224239122052065485097994/237364862000\ 16307051430684775005133239412568422623*c_0101_4^15 + 1179868144814805686424092556499375185229299451465033601/23736486200\ 0163070514306847750051332394125684226230*c_0101_4^13 + 1014970989350566665506793278777559604317700654389942025/94945944800\ 065228205722739100020532957650273690492*c_0101_4^11 + 361757111751526300878051572422789750325084770124104302/118682431000\ 081535257153423875025666197062842113115*c_0101_4^9 - 707334762733631049340406112425450186008448898310790131/474729724000\ 326141028613695500102664788251368452460*c_0101_4^7 - 32250739302559638232129802383883695369964123315773521/9494594480006\ 5228205722739100020532957650273690492*c_0101_4^5 - 17715060803637750439274600188181464673791399850620219/2373648620001\ 63070514306847750051332394125684226230*c_0101_4^3 - 1772059460343865362822483298342736298800368437240441/47472972400032\ 6141028613695500102664788251368452460*c_0101_4, c_0101_0 - 785386833378473990518411607811063010144842639695373/47472972\ 4000326141028613695500102664788251368452460*c_0101_4^31 + 1795468757528691329721716514388270261493239704689333/23736486200016\ 307051430684775005133239412568422623*c_0101_4^29 - 132104486097294718950853993761936140796791634497906326/118682431000\ 081535257153423875025666197062842113115*c_0101_4^27 + 169626648122699466946520330708210017960408706888551731/237364862000\ 16307051430684775005133239412568422623*c_0101_4^25 - 9709508122625436543487073704281108472618491127707187913/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^23 + 9432994509206504017173480608718010360495143278481211227/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^21 + 2821947059061902881796547875810131444275192514065277883/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^19 + 1592145196556064562444665616472954127698868597212303722/11868243100\ 0081535257153423875025666197062842113115*c_0101_4^17 - 1443349570112846411577696409544380975373547954256227376/23736486200\ 016307051430684775005133239412568422623*c_0101_4^15 + 3032682628890217292120020666467799608215480035935673459/23736486200\ 0163070514306847750051332394125684226230*c_0101_4^13 + 2232123379868883977151497216626887405044830063656977603/94945944800\ 065228205722739100020532957650273690492*c_0101_4^11 + 686939945248381072456177120965164890622128857549042873/118682431000\ 081535257153423875025666197062842113115*c_0101_4^9 - 1708346460209822091044211544192262470745447255430601029/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^7 - 61350803958896739234149126117665949655284010450361843/9494594480006\ 5228205722739100020532957650273690492*c_0101_4^5 - 26745203507329599000121448076057501622889721514430051/2373648620001\ 63070514306847750051332394125684226230*c_0101_4^3 - 2368980475975165918597555404199804267351808295785519/47472972400032\ 6141028613695500102664788251368452460*c_0101_4, c_0101_1 + 527755903562285963620916678342415469472748110700191/47472972\ 4000326141028613695500102664788251368452460*c_0101_4^31 - 1206191110504543876969375018288262929562733505986106/23736486200016\ 307051430684775005133239412568422623*c_0101_4^29 + 88701118242573900294416908753459053859884492934190107/1186824310000\ 81535257153423875025666197062842113115*c_0101_4^27 - 113790454164853049037018675218206837863628223285701147/237364862000\ 16307051430684775005133239412568422623*c_0101_4^25 + 6502054301433695480894833519757032069519261392041986711/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^23 - 6289793340797725097926109368495237921608751896371481149/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^21 - 1890468521424137884592691713143793954400065221278238901/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^19 - 1096011519244928058366539211262720574257947757669224509/11868243100\ 0081535257153423875025666197062842113115*c_0101_4^17 + 966619837006835900770538112962358945368244064144755437/237364862000\ 16307051430684775005133239412568422623*c_0101_4^15 - 1949313113657306785605491673323512688412369962725287483/23736486200\ 0163070514306847750051332394125684226230*c_0101_4^13 - 1462381475727695093541352843590861978576316157905944093/94945944800\ 065228205722739100020532957650273690492*c_0101_4^11 - 500909679224835778855600973762472679626449760496640631/118682431000\ 081535257153423875025666197062842113115*c_0101_4^9 + 1043838479362081216173196055309831048581113015974671043/47472972400\ 0326141028613695500102664788251368452460*c_0101_4^7 + 40856939251022242766016817352151751273980903452167125/9494594480006\ 5228205722739100020532957650273690492*c_0101_4^5 + 27201592283901076363261897343052114239463088754698787/2373648620001\ 63070514306847750051332394125684226230*c_0101_4^3 + 2233780578755166348463087273366577514107418979108653/47472972400032\ 6141028613695500102664788251368452460*c_0101_4, c_0101_2 - 10919766164262942851351187328133578946362207562943/118682431\ 000081535257153423875025666197062842113115*c_0101_4^30 + 199749057149858155893820051970545442844949112988657/474729724000326\ 14102861369550010266478825136845246*c_0101_4^28 - 14703242466721456594158029011721804502102311525075563/2373648620001\ 63070514306847750051332394125684226230*c_0101_4^26 + 18896016746163547360357940893653865263992448303251751/4747297240003\ 2614102861369550010266478825136845246*c_0101_4^24 - 270978222536138923021225270583377405432567838067738011/237364862000\ 163070514306847750051332394125684226230*c_0101_4^22 + 132774181874196797664858621103497465435961120185973347/118682431000\ 081535257153423875025666197062842113115*c_0101_4^20 + 73784989958354402275365051782180224977541041051659551/2373648620001\ 63070514306847750051332394125684226230*c_0101_4^18 + 89443083845078175550003147888704605631322155847897303/1186824310000\ 81535257153423875025666197062842113115*c_0101_4^16 - 80408286627769301797474037039936383917116994848942519/2373648620001\ 6307051430684775005133239412568422623*c_0101_4^14 + 88526523884186029362825058069102016271454153195909748/1186824310000\ 81535257153423875025666197062842113115*c_0101_4^12 + 30228005773456366834906692947286606308022797168904481/2373648620001\ 6307051430684775005133239412568422623*c_0101_4^10 + 76389960716366194223144997019255259807258241820211839/2373648620001\ 63070514306847750051332394125684226230*c_0101_4^8 - 45666431783181400680278876728488310652952809174816983/2373648620001\ 63070514306847750051332394125684226230*c_0101_4^6 - 861001331005916917353963510176945900115606948763379/237364862000163\ 07051430684775005133239412568422623*c_0101_4^4 - 2121161890128238158937070780072348631712180051236999/23736486200016\ 3070514306847750051332394125684226230*c_0101_4^2 - 11011639313090211308694704366157713836660220185533/2373648620001630\ 70514306847750051332394125684226230, c_0101_4^32 - 502/11*c_0101_4^30 + 7358/11*c_0101_4^28 - 46886/11*c_0101_4^26 + 131981/11*c_0101_4^24 - 120841/11*c_0101_4^22 - 49803/11*c_0101_4^20 - 93584/11*c_0101_4^18 + 396412/11*c_0101_4^16 - 51046/11*c_0101_4^14 - 160553/11*c_0101_4^12 - 52554/11*c_0101_4^10 + 19521/11*c_0101_4^8 + 6069/11*c_0101_4^6 + 1304/11*c_0101_4^4 + 115/11*c_0101_4^2 + 4/11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB