Magma V2.19-8 Tue Aug 20 2013 16:16:29 on localhost [Seed = 3734979128] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0778 geometric_solution 4.72052153 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 1.571633839068 0.161549523947 0 2 2 0 3201 0132 1023 0132 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 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 1.336700190237 0.353023481918 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 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 -1 0 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.448027041077 0.752657684915 2 4 4 5 0132 2310 3201 0132 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 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.148179414686 0.640044299184 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 1 -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 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.148179414686 0.640044299184 4 6 3 6 1023 0132 0132 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 -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 1.936898135590 1.323571428834 6 5 6 5 2310 0132 3201 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 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.477467566200 0.439334998879 ==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' : 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' : 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' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), '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' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), '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_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], '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' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_4, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 9470503468272705116235867498865817858325653/19992815567029655539715\ 04984381141715481*c_0101_6^20 - 25612696226937553918306500736266618\ 222949504/5997844670108896661914514953143425146443*c_0101_6^19 + 1820965008592011596541548552042177329856607835/59978446701088966619\ 14514953143425146443*c_0101_6^18 + 92088520085426982721307372046659516429711377/8568349528726995231306\ 44993306203592349*c_0101_6^17 - 31749097440840622400979951468163648\ 107877216652/5997844670108896661914514953143425146443*c_0101_6^16 + 4555851041471885406669633227713224644738694870/19992815567029655539\ 71504984381141715481*c_0101_6^15 + 50712238441765292145124103781460511997860562773/1999281556702965553\ 971504984381141715481*c_0101_6^14 - 107546158382894573715160899888706766940284742413/599784467010889666\ 1914514953143425146443*c_0101_6^13 - 251107937922242668478780348619391226040130392458/599784467010889666\ 1914514953143425146443*c_0101_6^12 + 43536162032772098558862813706579418068293376754/8568349528726995231\ 30644993306203592349*c_0101_6^11 + 36124619366964648212834265288283233003866645142/1999281556702965553\ 971504984381141715481*c_0101_6^10 - 131350170928838894286246000053287685274495778340/199928155670296555\ 3971504984381141715481*c_0101_6^9 + 63405029642482037548794298639165458075221151674/5997844670108896661\ 914514953143425146443*c_0101_6^8 + 6488819632549571145706564005484125125453905370/28561165095756650771\ 0214997768734530783*c_0101_6^7 - 1967080186325200987614197299777943\ 24638332681500/5997844670108896661914514953143425146443*c_0101_6^6 - 26247569798046435985836759744170807733198033182/1999281556702965553\ 971504984381141715481*c_0101_6^5 + 27352733055132077341146678609256883356465015180/5997844670108896661\ 914514953143425146443*c_0101_6^4 - 18514411116649344143153436597987745645094076538/5997844670108896661\ 914514953143425146443*c_0101_6^3 - 2634749436450769181918838607245247186734399173/85683495287269952313\ 0644993306203592349*c_0101_6^2 - 3937013871530930529721843725349479\ 892459665379/5997844670108896661914514953143425146443*c_0101_6 - 250144788450623431461049579514280694426928063/599784467010889666191\ 4514953143425146443, c_0011_0 - 1, c_0011_1 - 229628879713736467279848256664437534402/28561165095756650771\ 0214997768734530783*c_0101_6^20 - 186254686112200744389049730341619\ 181529/285611650957566507710214997768734530783*c_0101_6^19 + 14735552225821326614702367442318446596690/2856116509575665077102149\ 97768734530783*c_0101_6^18 + 38787154635897372334286883505702246199\ 60/285611650957566507710214997768734530783*c_0101_6^17 - 257033700586840721029376611388319541218750/285611650957566507710214\ 997768734530783*c_0101_6^16 + 1337052171904838040961357234393970132\ 84698/285611650957566507710214997768734530783*c_0101_6^15 + 1218897766896786110453224989309815710997178/28561165095756650771021\ 4997768734530783*c_0101_6^14 - 980641522928723771132941845480351521\ 420117/285611650957566507710214997768734530783*c_0101_6^13 - 1946978524817093669434869984250340974881646/28561165095756650771021\ 4997768734530783*c_0101_6^12 + 264693986521441686791694902226735561\ 5160318/285611650957566507710214997768734530783*c_0101_6^11 + 643883891790168332226512623239241729350442/285611650957566507710214\ 997768734530783*c_0101_6^10 - 3260855980092769238993553785400255745\ 583565/285611650957566507710214997768734530783*c_0101_6^9 + 812480655242599944122714664856623910291111/285611650957566507710214\ 997768734530783*c_0101_6^8 + 10434062892814885797387568763480201769\ 08111/285611650957566507710214997768734530783*c_0101_6^7 - 1697607214589347608039440094428344877934513/28561165095756650771021\ 4997768734530783*c_0101_6^6 - 4812584378027400319131367865285875193\ 20159/285611650957566507710214997768734530783*c_0101_6^5 + 273879274188583828772787365231342517832186/285611650957566507710214\ 997768734530783*c_0101_6^4 - 17775952072264719650718895028498562615\ 7214/285611650957566507710214997768734530783*c_0101_6^3 - 132784683119543288780240736189296705160664/285611650957566507710214\ 997768734530783*c_0101_6^2 - 18676394301944227479094051954311146122\ 936/285611650957566507710214997768734530783*c_0101_6 - 495249657826296466355983265128396832198/285611650957566507710214997\ 768734530783, c_0011_4 + 419531009227329309271766728937695271782/28561165095756650771\ 0214997768734530783*c_0101_6^20 + 339842891810679957676678809671851\ 062811/285611650957566507710214997768734530783*c_0101_6^19 - 26912449474691044646428657271989398289032/2856116509575665077102149\ 97768734530783*c_0101_6^18 - 70530158396430616387721045783018528180\ 69/285611650957566507710214997768734530783*c_0101_6^17 + 468982510248922815506738986464742512272431/285611650957566507710214\ 997768734530783*c_0101_6^16 - 2447490091495834000985977829067606632\ 86584/285611650957566507710214997768734530783*c_0101_6^15 - 2215789131247240304781710620303848347597210/28561165095756650771021\ 4997768734530783*c_0101_6^14 + 178500878886008369446371398634414293\ 1047976/285611650957566507710214997768734530783*c_0101_6^13 + 3506132601834502689371046389195150086082764/28561165095756650771021\ 4997768734530783*c_0101_6^12 - 478287555564770067591678957688273254\ 6416289/285611650957566507710214997768734530783*c_0101_6^11 - 1105533698041729526577165561241104665417281/28561165095756650771021\ 4997768734530783*c_0101_6^10 + 582528742379195398248387472444356586\ 2330481/285611650957566507710214997768734530783*c_0101_6^9 - 1475755201821212576073358643778763801080283/28561165095756650771021\ 4997768734530783*c_0101_6^8 - 1770745339896753764559778081048579542\ 348297/285611650957566507710214997768734530783*c_0101_6^7 + 3024198699999038207745822312548488849217619/28561165095756650771021\ 4997768734530783*c_0101_6^6 + 8591414169110340679489371874238944177\ 37541/285611650957566507710214997768734530783*c_0101_6^5 - 424298762533803457205101217730620095430843/285611650957566507710214\ 997768734530783*c_0101_6^4 + 31795068338449122087902083141730663186\ 2350/285611650957566507710214997768734530783*c_0101_6^3 + 234070714597823931049011427868455253651852/285611650957566507710214\ 997768734530783*c_0101_6^2 + 43467484421823704678634266291427613074\ 935/285611650957566507710214997768734530783*c_0101_6 + 2584916544276620428859794299416386240509/28561165095756650771021499\ 7768734530783, c_0101_0 - 62311739352398037834186320308042551666/285611650957566507710\ 214997768734530783*c_0101_6^20 - 5644209507479413714849788991507876\ 4970/285611650957566507710214997768734530783*c_0101_6^19 + 3994844680777287439615844547979226148006/28561165095756650771021499\ 7768734530783*c_0101_6^18 + 143233374802742330854535770289869418788\ 0/285611650957566507710214997768734530783*c_0101_6^17 - 69713940588953235604168738100461791905833/2856116509575665077102149\ 97768734530783*c_0101_6^16 + 29637438255568591193832281116095382669\ 591/285611650957566507710214997768734530783*c_0101_6^15 + 335359183531752883919020323015375922001476/285611650957566507710214\ 997768734530783*c_0101_6^14 - 2349978695767394583714289911983510815\ 82920/285611650957566507710214997768734530783*c_0101_6^13 - 559735415765956709762724620128632614143518/285611650957566507710214\ 997768734530783*c_0101_6^12 + 6715628190770028052667282028805702498\ 73725/285611650957566507710214997768734530783*c_0101_6^11 + 255054233153719928095853152611307508678807/285611650957566507710214\ 997768734530783*c_0101_6^10 - 8812981263716115294864658191880972597\ 69953/285611650957566507710214997768734530783*c_0101_6^9 + 128741932136909809829775401638520009855964/285611650957566507710214\ 997768734530783*c_0101_6^8 + 32452657498573646849958725987851255398\ 1998/285611650957566507710214997768734530783*c_0101_6^7 - 436341731742787145087263188319618997070420/285611650957566507710214\ 997768734530783*c_0101_6^6 - 18468849062925275287459842163204564751\ 7267/285611650957566507710214997768734530783*c_0101_6^5 + 72657520893473487203856758737936584398493/2856116509575665077102149\ 97768734530783*c_0101_6^4 - 373380812119441594441803345489854843512\ 80/285611650957566507710214997768734530783*c_0101_6^3 - 44020022078804483801979122102190260964136/2856116509575665077102149\ 97768734530783*c_0101_6^2 - 710500995539583503161564356041492531266\ 8/285611650957566507710214997768734530783*c_0101_6 + 72149936353126302838531791506541852249/2856116509575665077102149977\ 68734530783, c_0101_2 + 190219140926106715614208030677646846346/28561165095756650771\ 0214997768734530783*c_0101_6^20 + 114847409829462241487770938163616\ 459016/285611650957566507710214997768734530783*c_0101_6^19 - 12228396514590820303314577082452396169108/2856116509575665077102149\ 97768734530783*c_0101_6^18 - 67654643306912859810523332083472141834\ 6/285611650957566507710214997768734530783*c_0101_6^17 + 212931931901739616544151502478288783674501/285611650957566507710214\ 997768734530783*c_0101_6^16 - 1548997130981139959013535813026295830\ 16146/285611650957566507710214997768734530783*c_0101_6^15 - 975332379963252902294600055876408650264091/285611650957566507710214\ 997768734530783*c_0101_6^14 + 1012625019470902606812890904108939564\ 569847/285611650957566507710214997768734530783*c_0101_6^13 + 1392592204449856793070440258867966305512716/28561165095756650771021\ 4997768734530783*c_0101_6^12 - 246865978865157640620702818503358780\ 4295112/285611650957566507710214997768734530783*c_0101_6^11 - 8399031968618934470682825428505242033834/28561165095756650771021499\ 7768734530783*c_0101_6^10 + 267259164066411529735035820908070867730\ 5260/285611650957566507710214997768734530783*c_0101_6^9 - 1219858475932299613195176470627357003988034/28561165095756650771021\ 4997768734530783*c_0101_6^8 - 5836082238190980832779339816063269322\ 32947/285611650957566507710214997768734530783*c_0101_6^7 + 1505098463710564693600934713179269763494258/28561165095756650771021\ 4997768734530783*c_0101_6^6 + 8806410797227866118169940767725810159\ 4821/285611650957566507710214997768734530783*c_0101_6^5 - 229099497704521386685558963534643226446656/285611650957566507710214\ 997768734530783*c_0101_6^4 + 18999671581373352618210387605594787070\ 8057/285611650957566507710214997768734530783*c_0101_6^3 + 70667462110945517266751167470478943431958/2856116509575665077102149\ 97768734530783*c_0101_6^2 + 244233372417350395727359551703150482470\ 2/285611650957566507710214997768734530783*c_0101_6 - 249628627176153350601481311213123311650/285611650957566507710214997\ 768734530783, c_0101_3 + 195846249069211600581625069661474483067/28561165095756650771\ 0214997768734530783*c_0101_6^20 + 656883005518953083723605025451285\ 51638/285611650957566507710214997768734530783*c_0101_6^19 - 12623051471737884275584332368031808627147/2856116509575665077102149\ 97768734530783*c_0101_6^18 + 26799660981731373153452135452402206262\ 35/285611650957566507710214997768734530783*c_0101_6^17 + 219494257264808575101248400572789731990172/285611650957566507710214\ 997768734530783*c_0101_6^16 - 2182202052777867439319443271910407321\ 69657/285611650957566507710214997768734530783*c_0101_6^15 - 962791572661019437438462455843524687409269/285611650957566507710214\ 997768734530783*c_0101_6^14 + 1311539559634486505204707673502169570\ 586923/285611650957566507710214997768734530783*c_0101_6^13 + 1162659927505738159836681349187850114725256/28561165095756650771021\ 4997768734530783*c_0101_6^12 - 292823023163989976218501270447316549\ 4959631/285611650957566507710214997768734530783*c_0101_6^11 + 653085091018529350731392955709333071638888/285611650957566507710214\ 997768734530783*c_0101_6^10 + 2770879089696779020373464762354759854\ 023541/285611650957566507710214997768734530783*c_0101_6^9 - 1978679520296167806881452211545153420242150/28561165095756650771021\ 4997768734530783*c_0101_6^8 - 2953425452678576954061420458660690517\ 21331/285611650957566507710214997768734530783*c_0101_6^7 + 1714586257967537329990284184094087831919219/28561165095756650771021\ 4997768734530783*c_0101_6^6 - 3106147336296486920932530837336318805\ 13875/285611650957566507710214997768734530783*c_0101_6^5 - 275816014851824226804092236452902339578979/285611650957566507710214\ 997768734530783*c_0101_6^4 + 25466024197336117273365424309239309913\ 4986/285611650957566507710214997768734530783*c_0101_6^3 + 23598445329046494232942235025300669172199/2856116509575665077102149\ 97768734530783*c_0101_6^2 - 178088980477730694881079391718679355225\ 46/285611650957566507710214997768734530783*c_0101_6 - 2120111444447526590374747104824213412032/28561165095756650771021499\ 7768734530783, c_0101_6^21 + c_0101_6^20 - 64*c_0101_6^19 - 29*c_0101_6^18 + 1115*c_0101_6^17 - 371*c_0101_6^16 - 5398*c_0101_6^15 + 3255*c_0101_6^14 + 9192*c_0101_6^13 - 9837*c_0101_6^12 - 4843*c_0101_6^11 + 13447*c_0101_6^10 - 868*c_0101_6^9 - 4964*c_0101_6^8 + 6430*c_0101_6^7 + 3441*c_0101_6^6 - 661*c_0101_6^5 + 560*c_0101_6^4 + 709*c_0101_6^3 + 206*c_0101_6^2 + 24*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB