Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 1612840024] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0210 geometric_solution 4.02244170 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 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 -1 1 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706838143440 0.024791628948 0 2 0 2 0132 0132 1023 1023 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 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.418863863134 0.090497800654 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 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 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 -4.096228466978 3.875570605313 2 2 4 4 0132 3201 3201 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 -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 0 0 0 0 0.179235769179 0.291663658439 3 5 3 6 2310 0132 0132 0132 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 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 1.486060264734 0.886707925598 6 4 6 6 3120 0132 3012 2310 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.487589086457 0.865231303786 5 5 4 5 3201 1230 0132 3120 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 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.487589086457 0.865231303786 ==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' : 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' : 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_4']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_2'], '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_6'], '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' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], '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_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], '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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 167105092651606744765484345236399700/356063334955684238988807729925\ 841*c_0101_3^26 + 2145985285834479320528940971826266909/35606333495\ 5684238988807729925841*c_0101_3^25 + 3798454882841897421927177035242959479/35606333495568423898880772992\ 5841*c_0101_3^24 - 49057045150760952541742395151268783134/356063334\ 955684238988807729925841*c_0101_3^23 + 2003068740296849587891608201005978805/35606333495568423898880772992\ 5841*c_0101_3^22 + 424392602251106139592076321467966619786/35606333\ 4955684238988807729925841*c_0101_3^21 - 379781802326353779432491858172644485312/356063334955684238988807729\ 925841*c_0101_3^20 - 1745831908564398195961261343132663590636/35606\ 3334955684238988807729925841*c_0101_3^19 + 2707080998931879368296147774887722201415/35606333495568423898880772\ 9925841*c_0101_3^18 + 3399117165039016510662942972545346658266/3560\ 63334955684238988807729925841*c_0101_3^17 - 8400231559796301402197772226542221725074/35606333495568423898880772\ 9925841*c_0101_3^16 - 2253462986220383450258539225230287979224/3560\ 63334955684238988807729925841*c_0101_3^15 + 13862948113161354872877310075612143963956/3560633349556842389888077\ 29925841*c_0101_3^14 - 2016970965641927657552917966136634128594/356\ 063334955684238988807729925841*c_0101_3^13 - 13423061626894674072463363076119133440447/3560633349556842389888077\ 29925841*c_0101_3^12 + 4574634428761269025090163896598987460795/356\ 063334955684238988807729925841*c_0101_3^11 + 8149986008487620141863086948973014346334/35606333495568423898880772\ 9925841*c_0101_3^10 - 3405049206650459948809484424663683118887/3560\ 63334955684238988807729925841*c_0101_3^9 - 3255470933934602142950849179164393349575/35606333495568423898880772\ 9925841*c_0101_3^8 + 1320895375112710921340068599471890968741/35606\ 3334955684238988807729925841*c_0101_3^7 + 865915576508875637584932143782824563280/356063334955684238988807729\ 925841*c_0101_3^6 - 278691212469420057222325780591165344891/3560633\ 34955684238988807729925841*c_0101_3^5 - 146604497429307267336649907094518044608/356063334955684238988807729\ 925841*c_0101_3^4 + 29289724944588890269375181650325978741/35606333\ 4955684238988807729925841*c_0101_3^3 + 13848230689910797914702092249236628102/3560633349556842389888077299\ 25841*c_0101_3^2 - 1178313013733292552846503600937574758/3560633349\ 55684238988807729925841*c_0101_3 - 521967543962489528989964725488322991/356063334955684238988807729925\ 841, c_0011_0 - 1, c_0011_4 + 1546069029073390866736588673294439/3560633349556842389888077\ 29925841*c_0101_3^26 - 15683535575986822696372459031756270/35606333\ 4955684238988807729925841*c_0101_3^25 - 84338546681089852813097526558864846/3560633349556842389888077299258\ 41*c_0101_3^24 + 307785049103272964052392880577321324/3560633349556\ 84238988807729925841*c_0101_3^23 + 1049118954827368166619556598206858339/35606333495568423898880772992\ 5841*c_0101_3^22 - 2865025232579406495193211862067611656/3560633349\ 55684238988807729925841*c_0101_3^21 - 5883687792646686074218793354016374109/35606333495568423898880772992\ 5841*c_0101_3^20 + 15799202792800059742649712179628707989/356063334\ 955684238988807729925841*c_0101_3^19 + 17451919123369168691947703123852577483/3560633349556842389888077299\ 25841*c_0101_3^18 - 54001617130327033906969149521042316452/35606333\ 4955684238988807729925841*c_0101_3^17 - 27863908791338956994531101747862029019/3560633349556842389888077299\ 25841*c_0101_3^16 + 116130976433654377460243394038476096929/3560633\ 34955684238988807729925841*c_0101_3^15 + 22123367284500639201411559282743741716/3560633349556842389888077299\ 25841*c_0101_3^14 - 158290029752429418915421423913075898937/3560633\ 34955684238988807729925841*c_0101_3^13 - 6380874352397617988947475072137651461/35606333495568423898880772992\ 5841*c_0101_3^12 + 138073806582567206531313066880662731265/35606333\ 4955684238988807729925841*c_0101_3^11 + 221193350713642297099497667920070384/356063334955684238988807729925\ 841*c_0101_3^10 - 77200798599002764484393164910004539990/3560633349\ 55684238988807729925841*c_0101_3^9 - 2315723342179906247353793211854788619/35606333495568423898880772992\ 5841*c_0101_3^8 + 27065412478144426207516328101578306465/3560633349\ 55684238988807729925841*c_0101_3^7 + 2406484197194124375483023726778932058/35606333495568423898880772992\ 5841*c_0101_3^6 - 5581939856489673108427036790501397383/35606333495\ 5684238988807729925841*c_0101_3^5 - 846948488286166623658205510288568250/356063334955684238988807729925\ 841*c_0101_3^4 + 598515003962938697943435022274475901/3560633349556\ 84238988807729925841*c_0101_3^3 + 122250150485015386078623301205155\ 121/356063334955684238988807729925841*c_0101_3^2 - 25307025344019476009095775553912337/3560633349556842389888077299258\ 41*c_0101_3 - 6252186761998632981073363393914804/356063334955684238\ 988807729925841, c_0011_6 + 5294542289177709866922361498967510/3560633349556842389888077\ 29925841*c_0101_3^26 - 62647864068659393291634878408343123/35606333\ 4955684238988807729925841*c_0101_3^25 - 183243965761411110834761550937146013/356063334955684238988807729925\ 841*c_0101_3^24 + 1365174193822873216635105177306181709/35606333495\ 5684238988807729925841*c_0101_3^23 + 1301848810700640919215488509042501714/35606333495568423898880772992\ 5841*c_0101_3^22 - 12042290635640821410072873275384745895/356063334\ 955684238988807729925841*c_0101_3^21 - 22088586803680364292375855948456675/3560633349556842389888077299258\ 41*c_0101_3^20 + 54494715043911119903946815068280197312/35606333495\ 5684238988807729925841*c_0101_3^19 - 30896474762505373625158034359013008570/3560633349556842389888077299\ 25841*c_0101_3^18 - 135196181180875319655747752245943553576/3560633\ 34955684238988807729925841*c_0101_3^17 + 128245778152188606344487569869140868582/356063334955684238988807729\ 925841*c_0101_3^16 + 191248994212329984695012197989421970478/356063\ 334955684238988807729925841*c_0101_3^15 - 239209947515098258741224750480532581537/356063334955684238988807729\ 925841*c_0101_3^14 - 162600601872675099391620042461117108312/356063\ 334955684238988807729925841*c_0101_3^13 + 247387230292665411941905448998690736412/356063334955684238988807729\ 925841*c_0101_3^12 + 89666110736070485294442814687262344109/3560633\ 34955684238988807729925841*c_0101_3^11 - 152762858588593745927139855214470649097/356063334955684238988807729\ 925841*c_0101_3^10 - 35578312660489667295695942996495564644/3560633\ 34955684238988807729925841*c_0101_3^9 + 57479834358356966736618184553386686631/3560633349556842389888077299\ 25841*c_0101_3^8 + 10614997341697480730208977355940729427/356063334\ 955684238988807729925841*c_0101_3^7 - 12849245185609197368802057376154967499/3560633349556842389888077299\ 25841*c_0101_3^6 - 2148224922259872865998760258857217737/3560633349\ 55684238988807729925841*c_0101_3^5 + 1596366948068834376985300309579816335/35606333495568423898880772992\ 5841*c_0101_3^4 + 238999856109074929734888968254841772/356063334955\ 684238988807729925841*c_0101_3^3 - 97579208417607791073858606324806431/3560633349556842389888077299258\ 41*c_0101_3^2 - 10477290298836623242458669727055429/356063334955684\ 238988807729925841*c_0101_3 + 2078685558275539886194181227328691/35\ 6063334955684238988807729925841, c_0101_0 + 4559750007788699264210493091662699/3560633349556842389888077\ 29925841*c_0101_3^26 - 55666267524302530768468195022900714/35606333\ 4955684238988807729925841*c_0101_3^25 - 137233595052874952206606040834187555/356063334955684238988807729925\ 841*c_0101_3^24 + 1231426388582818487403139785247250498/35606333495\ 5684238988807729925841*c_0101_3^23 + 667271830912283826182317927899956793/356063334955684238988807729925\ 841*c_0101_3^22 - 10715775652127638790844541773083851414/3560633349\ 55684238988807729925841*c_0101_3^21 + 3984839258752543673827668671947599191/35606333495568423898880772992\ 5841*c_0101_3^20 + 46254140907621649402681514667470464094/356063334\ 955684238988807729925841*c_0101_3^19 - 44506352221941288297889013044181538602/3560633349556842389888077299\ 25841*c_0101_3^18 - 103188791133720802496551839994299330435/3560633\ 34955684238988807729925841*c_0101_3^17 + 153496217301592595180587243876402512070/356063334955684238988807729\ 925841*c_0101_3^16 + 114460227226189697677373811470201766884/356063\ 334955684238988807729925841*c_0101_3^15 - 262846192580203567043607014545702645362/356063334955684238988807729\ 925841*c_0101_3^14 - 48666961814330394843897009185534748140/3560633\ 34955684238988807729925841*c_0101_3^13 + 254614814773097864402122602989039985718/356063334955684238988807729\ 925841*c_0101_3^12 - 16527633470532641134941263032330524043/3560633\ 34955684238988807729925841*c_0101_3^11 - 148295862541086104391270252464046452762/356063334955684238988807729\ 925841*c_0101_3^10 + 27334909300643193202885783457356404099/3560633\ 34955684238988807729925841*c_0101_3^9 + 53474971416970758857881473838138413675/3560633349556842389888077299\ 25841*c_0101_3^8 - 12928347766804341547141550850506204575/356063334\ 955684238988807729925841*c_0101_3^7 - 11987266957737156772499187624125482993/3560633349556842389888077299\ 25841*c_0101_3^6 + 3190505591712044815744082424089892083/3560633349\ 55684238988807729925841*c_0101_3^5 + 1667330840296661813157600444356682408/35606333495568423898880772992\ 5841*c_0101_3^4 - 418295308742993241770520803339317888/356063334955\ 684238988807729925841*c_0101_3^3 - 142932917515242680194366444097368792/356063334955684238988807729925\ 841*c_0101_3^2 + 22297304258664604738700114452867615/35606333495568\ 4238988807729925841*c_0101_3 + 5785263400996392759053566421445778/3\ 56063334955684238988807729925841, c_0101_1 - 4987020651351696262164795963885255/3560633349556842389888077\ 29925841*c_0101_3^26 + 57856908807038765767043841187743486/35606333\ 4955684238988807729925841*c_0101_3^25 + 185981940239167647100189114587820162/356063334955684238988807729925\ 841*c_0101_3^24 - 1242771542617189030150942223683132136/35606333495\ 5684238988807729925841*c_0101_3^23 - 1517581855421163419230410121407630909/35606333495568423898880772992\ 5841*c_0101_3^22 + 10986378546632018797913840607206291830/356063334\ 955684238988807729925841*c_0101_3^21 + 2644267285972620162281294595500902150/35606333495568423898880772992\ 5841*c_0101_3^20 - 50700998647982640045765525884960784830/356063334\ 955684238988807729925841*c_0101_3^19 + 16683023906413556197017808804412040982/3560633349556842389888077299\ 25841*c_0101_3^18 + 131563815275519889565389208592214670878/3560633\ 34955684238988807729925841*c_0101_3^17 - 87467655942934074336964245955931386814/3560633349556842389888077299\ 25841*c_0101_3^16 - 203413898866385355324467903558159921477/3560633\ 34955684238988807729925841*c_0101_3^15 + 172000699076201159349055139008401139793/356063334955684238988807729\ 925841*c_0101_3^14 + 202645646264020275049024043782408951523/356063\ 334955684238988807729925841*c_0101_3^13 - 179439889243195600896926619321115526663/356063334955684238988807729\ 925841*c_0101_3^12 - 141571494123366076877661517940644029797/356063\ 334955684238988807729925841*c_0101_3^11 + 108254031707269489197888146336157302256/356063334955684238988807729\ 925841*c_0101_3^10 + 72543562479831477113622048381552082949/3560633\ 34955684238988807729925841*c_0101_3^9 - 37725120717379151202447792397688178333/3560633349556842389888077299\ 25841*c_0101_3^8 - 26027019025482586658921922229751337890/356063334\ 955684238988807729925841*c_0101_3^7 + 6810743640647665065283411603171657082/35606333495568423898880772992\ 5841*c_0101_3^6 + 5826733294941153954862532991912676752/35606333495\ 5684238988807729925841*c_0101_3^5 - 381261776227997357719714072969503481/356063334955684238988807729925\ 841*c_0101_3^4 - 687987372434311838485425769629282987/3560633349556\ 84238988807729925841*c_0101_3^3 - 418803253979588359764739025523179\ 96/356063334955684238988807729925841*c_0101_3^2 + 30635395007567211397872611054494058/3560633349556842389888077299258\ 41*c_0101_3 + 4376065001268780190614213993137696/356063334955684238\ 988807729925841, c_0101_2 + 634108167614403651195839490690750/35606333495568423898880772\ 9925841*c_0101_3^26 - 5764479128385338244544229994666771/3560633349\ 55684238988807729925841*c_0101_3^25 - 42492032413284261468405925401729158/3560633349556842389888077299258\ 41*c_0101_3^24 + 102964229412923369623396215559070932/3560633349556\ 84238988807729925841*c_0101_3^23 + 603909797675990965386075370601119047/356063334955684238988807729925\ 841*c_0101_3^22 - 1007122859201024030603901009148710975/35606333495\ 5684238988807729925841*c_0101_3^21 - 3964663742084226748012837527372591545/35606333495568423898880772992\ 5841*c_0101_3^20 + 6466064508253038933327171170271961214/3560633349\ 55684238988807729925841*c_0101_3^19 + 14309957111733899626820996537230002593/3560633349556842389888077299\ 25841*c_0101_3^18 - 26221294387620609488246160039046569190/35606333\ 4955684238988807729925841*c_0101_3^17 - 29603191196830003614980285379053299716/3560633349556842389888077299\ 25841*c_0101_3^16 + 65249600269204505326710711762770673040/35606333\ 4955684238988807729925841*c_0101_3^15 + 35316894306215990177564009006819279615/3560633349556842389888077299\ 25841*c_0101_3^14 - 99443023624967441652523233957719733581/35606333\ 4955684238988807729925841*c_0101_3^13 - 24573439625223183982839433982822251050/3560633349556842389888077299\ 25841*c_0101_3^12 + 94262675724940313877321809821787899772/35606333\ 4955684238988807729925841*c_0101_3^11 + 10801894476875832594748661182663951597/3560633349556842389888077299\ 25841*c_0101_3^10 - 56081654874527186798266631028200292317/35606333\ 4955684238988807729925841*c_0101_3^9 - 4084484413080322767888287908136930124/35606333495568423898880772992\ 5841*c_0101_3^8 + 20709619687980413130706163241238275441/3560633349\ 55684238988807729925841*c_0101_3^7 + 1646492877709473620035383505563338243/35606333495568423898880772992\ 5841*c_0101_3^6 - 4542129020863579093106540754423126415/35606333495\ 5684238988807729925841*c_0101_3^5 - 485513180382704123428283427336387104/356063334955684238988807729925\ 841*c_0101_3^4 + 532834944898320961050773408303368608/3560633349556\ 84238988807729925841*c_0101_3^3 + 745065933111646981912663499131407\ 63/356063334955684238988807729925841*c_0101_3^2 - 25329904657538340200552172468078176/3560633349556842389888077299258\ 41*c_0101_3 - 4169801613918743390188337782195815/356063334955684238\ 988807729925841, c_0101_3^27 - 12*c_0101_3^26 - 33*c_0101_3^25 + 268*c_0101_3^24 + 216*c_0101_3^23 - 2410*c_0101_3^22 + 276*c_0101_3^21 + 11126*c_0101_3^20 - 7474*c_0101_3^19 - 28355*c_0101_3^18 + 30273*c_0101_3^17 + 41657*c_0101_3^16 - 59178*c_0101_3^15 - 37212*c_0101_3^14 + 66978*c_0101_3^13 + 21891*c_0101_3^12 - 47360*c_0101_3^11 - 9706*c_0101_3^10 + 21563*c_0101_3^9 + 3666*c_0101_3^8 - 6262*c_0101_3^7 - 1115*c_0101_3^6 + 1100*c_0101_3^5 + 224*c_0101_3^4 - 104*c_0101_3^3 - 24*c_0101_3^2 + 4*c_0101_3 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB