Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 526287821] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1310 geometric_solution 5.19614208 oriented_manifold CS_known 0.0000000000000000 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.500961787009 0.169020374827 0 2 2 0 3201 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 -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.227769782241 0.267381560599 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 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.792075099254 0.651173197713 2 5 4 6 0132 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 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.056294564879 0.620291506118 3 6 2 5 2310 1023 0132 2310 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 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.056294564879 0.620291506118 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 -1 1 0 0 -1 1 -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 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.169204897136 1.014020527705 4 6 3 6 1023 2310 0132 3201 0 0 0 0 0 1 0 -1 1 0 0 -1 0 1 0 -1 0 1 -1 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 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.145115029438 1.598975324953 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(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_0110_5'], '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_2'], 'c_0101_5' : d['c_0101_3'], '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' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), '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_0110_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), '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_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 615102016764156858607007787552622064940636532483/984109936832902160\ 84132649275504560451344252224*c_0110_5^19 - 504950137592530626776095264439986055385505909009/164018322805483693\ 47355441545917426741890708704*c_0110_5^18 - 13642586134926517443421526504828306267827140510785/4920549684164510\ 8042066324637752280225672126112*c_0110_5^17 + 7130277652118082917947400396898689037940913232021/54672774268494564\ 49118480515305808913963569568*c_0110_5^16 - 151748091261530803483331003981924622002233934937499/246027484208225\ 54021033162318876140112836063056*c_0110_5^15 + 833524874104870603751432174346434581816163855558197/492054968416451\ 08042066324637752280225672126112*c_0110_5^14 - 907917660564791051286850026809615947233105024053135/246027484208225\ 54021033162318876140112836063056*c_0110_5^13 + 3151929828029825106997800023438708749893128961739315/49205496841645\ 108042066324637752280225672126112*c_0110_5^12 - 3293688560227270799690955321879536709663212921398925/49205496841645\ 108042066324637752280225672126112*c_0110_5^11 + 2590540603290305065042531746515809952395461126440677/32803664561096\ 738694710883091834853483781417408*c_0110_5^10 + 232600811458960969954177042119661104925771882118101/492054968416451\ 08042066324637752280225672126112*c_0110_5^9 + 235533593071093035711488286845454354018087242298961/328036645610967\ 38694710883091834853483781417408*c_0110_5^8 + 7417620608587685749803668612824000765149533296040959/98410993683290\ 216084132649275504560451344252224*c_0110_5^7 - 6062170062282742826206978171121776924501803788488141/98410993683290\ 216084132649275504560451344252224*c_0110_5^6 - 337232985416226491867073604194298455753020913793247/492054968416451\ 08042066324637752280225672126112*c_0110_5^5 - 3846777111893682968321345607568837144214793561683263/98410993683290\ 216084132649275504560451344252224*c_0110_5^4 - 593686766668651645721135401465948580187118256729099/984109936832902\ 16084132649275504560451344252224*c_0110_5^3 - 313520797308430332828275887591647506396561978793857/984109936832902\ 16084132649275504560451344252224*c_0110_5^2 - 204583912323302969677795552274597416778112511113667/984109936832902\ 16084132649275504560451344252224*c_0110_5 + 3526029540411841371824261087184703499468491819/10934554853698912898\ 236961030611617827927139136, c_0011_0 - 1, c_0011_1 + 278645623884951675252999025002096290304705/43015558039728217\ 53830433135567119523181408*c_0110_5^19 - 695020279126866339856852522283232209809271/215077790198641087691521\ 6567783559761590704*c_0110_5^18 - 613694546436074684525676129651947\ 9011091703/2150777901986410876915216567783559761590704*c_0110_5^17 + 29460438654817456721650199367744814237447001/2150777901986410876915\ 216567783559761590704*c_0110_5^16 - 69659659185399092398906506346202516756575283/1075388950993205438457\ 608283891779880795352*c_0110_5^15 + 386249698259456192176815154817844762791980069/215077790198641087691\ 5216567783559761590704*c_0110_5^14 - 423155553611651187916199226130264771905460571/107538895099320543845\ 7608283891779880795352*c_0110_5^13 + 1479357411809304627225188862414020635847314571/21507779019864108769\ 15216567783559761590704*c_0110_5^12 - 1580964038361777054682930385620208961183888371/21507779019864108769\ 15216567783559761590704*c_0110_5^11 + 3703396506431140832446658583682214158941205049/43015558039728217538\ 30433135567119523181408*c_0110_5^10 - 554856691588804919999727738287680373190159/215077790198641087691521\ 6567783559761590704*c_0110_5^9 + 2924766549765729701690854499754010\ 54550999461/4301555803972821753830433135567119523181408*c_0110_5^8 + 3355159510568660460249102440400237942094576285/43015558039728217538\ 30433135567119523181408*c_0110_5^7 - 2968882531493113772642972093253481212976298679/43015558039728217538\ 30433135567119523181408*c_0110_5^6 - 66015367500447378673927530907041765665278475/2150777901986410876915\ 216567783559761590704*c_0110_5^5 - 1717962734382404885345605382497450762866762501/43015558039728217538\ 30433135567119523181408*c_0110_5^4 - 170790425210299236581146274570223694468596097/430155580397282175383\ 0433135567119523181408*c_0110_5^3 - 115278907443754908602096041190914651117476663/430155580397282175383\ 0433135567119523181408*c_0110_5^2 - 83318203416299618606003054979701711415739349/4301555803972821753830\ 433135567119523181408*c_0110_5 + 7631910189382754516824171242517970\ 300270713/4301555803972821753830433135567119523181408, c_0011_4 + 67608439129431832568059934862463636128825/440909469907214229\ 76761939639562975112609432*c_0110_5^19 - 48821747550594952426772545097080269332587/5511368373840177872095242\ 454945371889076179*c_0110_5^18 - 6766260675405863508903384936601733\ 73923575/11022736747680355744190484909890743778152358*c_0110_5^17 + 2078128133553821511566653324755688867390547/55113683738401778720952\ 42454945371889076179*c_0110_5^16 - 39585438342995071854799313014262936912622785/2204547349536071148838\ 0969819781487556304716*c_0110_5^15 + 60383732996206724895331637790973111639164139/1102273674768035574419\ 0484909890743778152358*c_0110_5^14 - 281096850122126453442562695064874393014009743/220454734953607114883\ 80969819781487556304716*c_0110_5^13 + 262034607016119773574604896301634945497296269/110227367476803557441\ 90484909890743778152358*c_0110_5^12 - 335489166721088635612631184684286038913095631/110227367476803557441\ 90484909890743778152358*c_0110_5^11 + 1507196580692949108138847584575001938295374967/44090946990721422976\ 761939639562975112609432*c_0110_5^10 - 337855041584617163846083956057865274257674493/220454734953607114883\ 80969819781487556304716*c_0110_5^9 + 46713607502785532613678443900937004956704845/4409094699072142297676\ 1939639562975112609432*c_0110_5^8 + 861456232661522204556995812291349733232622987/440909469907214229767\ 61939639562975112609432*c_0110_5^7 - 1313968493425501866490062384537153978746133155/44090946990721422976\ 761939639562975112609432*c_0110_5^6 + 140906857224491740042136642855798584959457717/110227367476803557441\ 90484909890743778152358*c_0110_5^5 - 291554010775490074087747720591893784482460815/440909469907214229767\ 61939639562975112609432*c_0110_5^4 + 192048168268473384921668921250054541807603383/440909469907214229767\ 61939639562975112609432*c_0110_5^3 - 53847669312239370936234977471529580181541733/4409094699072142297676\ 1939639562975112609432*c_0110_5^2 - 20957156783171044304082095799501030681324437/4409094699072142297676\ 1939639562975112609432*c_0110_5 - 118909450641458378799433980095609\ 50681825557/44090946990721422976761939639562975112609432, c_0101_0 + 5770605789195878381832356981185975732059835/1763637879628856\ 91907047758558251900450437728*c_0110_5^19 - 14590495039457288890314561115607123648692601/8818189398144284595352\ 3879279125950225218864*c_0110_5^18 - 126022900130935793183021796240793968877649945/881818939814428459535\ 23879279125950225218864*c_0110_5^17 + 618331434502553181385832274157028248111016215/881818939814428459535\ 23879279125950225218864*c_0110_5^16 - 1465320351102080125779715619243968716073928479/44090946990721422976\ 761939639562975112609432*c_0110_5^15 + 8215403827934871572566091061129564362744618195/88181893981442845953\ 523879279125950225218864*c_0110_5^14 - 9081995778288724564847163689044945911447301339/44090946990721422976\ 761939639562975112609432*c_0110_5^13 + 32094082154761138718195426048131821178267469069/8818189398144284595\ 3523879279125950225218864*c_0110_5^12 - 35411830575115558637188129730530362570155350861/8818189398144284595\ 3523879279125950225218864*c_0110_5^11 + 83230832514869493396769966642865307416546415211/1763637879628856919\ 07047758558251900450437728*c_0110_5^10 - 3798959229385026072085260841873962972456779061/88181893981442845953\ 523879279125950225218864*c_0110_5^9 + 8728689492864222112366414441926527450688550135/17636378796288569190\ 7047758558251900450437728*c_0110_5^8 + 68605948464155135741247043101252182305048181543/1763637879628856919\ 07047758558251900450437728*c_0110_5^7 - 66136282301490036384199144662627701856313056029/1763637879628856919\ 07047758558251900450437728*c_0110_5^6 + 1676047382581045532532077169047825197308038403/88181893981442845953\ 523879279125950225218864*c_0110_5^5 - 37724061588796974675481542786798465664693088559/1763637879628856919\ 07047758558251900450437728*c_0110_5^4 - 1084507939758501372580796807750265179188724827/17636378796288569190\ 7047758558251900450437728*c_0110_5^3 - 3157463747977866650336073364221732928727592149/17636378796288569190\ 7047758558251900450437728*c_0110_5^2 - 1379210403893018095396005458665688865502647943/17636378796288569190\ 7047758558251900450437728*c_0110_5 + 284087935697927526837874485344616793502295275/176363787962885691907\ 047758558251900450437728, c_0101_2 - 781346726531983371744934810254449112291571/11022736747680355\ 744190484909890743778152358*c_0110_5^19 + 3897730680177996656602157924455311601232711/11022736747680355744190\ 484909890743778152358*c_0110_5^18 + 34432432621266348458551435897948833956318903/1102273674768035574419\ 0484909890743778152358*c_0110_5^17 - 165290453678266915399618084668966343952355757/110227367476803557441\ 90484909890743778152358*c_0110_5^16 + 780641377341433447558050244497685024939098915/110227367476803557441\ 90484909890743778152358*c_0110_5^15 - 2162935651589559256477238021808694095503897477/11022736747680355744\ 190484909890743778152358*c_0110_5^14 + 4731445008465402060832603104037720516689468261/11022736747680355744\ 190484909890743778152358*c_0110_5^13 - 8256304624727204699881400682518895975947111187/11022736747680355744\ 190484909890743778152358*c_0110_5^12 + 8781111403481895580581845402330311435126918605/11022736747680355744\ 190484909890743778152358*c_0110_5^11 - 5120615417279298664215149492821100517350077693/55113683738401778720\ 95242454945371889076179*c_0110_5^10 - 67479330795830797000501503608501771413077135/5511368373840177872095\ 242454945371889076179*c_0110_5^9 - 669568091957867236963852637220900866488643479/110227367476803557441\ 90484909890743778152358*c_0110_5^8 - 4679609485540825363089477511564999903478402938/55113683738401778720\ 95242454945371889076179*c_0110_5^7 + 8301191664037689100292178555991052425446514433/11022736747680355744\ 190484909890743778152358*c_0110_5^6 + 540429946083151855766895817754287253693699611/110227367476803557441\ 90484909890743778152358*c_0110_5^5 + 2338425026193838930533790336161743946888148514/55113683738401778720\ 95242454945371889076179*c_0110_5^4 + 415676346921159966567635088997633332566531647/110227367476803557441\ 90484909890743778152358*c_0110_5^3 + 136361002954258869715427986312272451492039761/551136837384017787209\ 5242454945371889076179*c_0110_5^2 + 234602841779365067437540520735350169430680983/110227367476803557441\ 90484909890743778152358*c_0110_5 - 9777700125554954709497519675943439673984777/55113683738401778720952\ 42454945371889076179, c_0101_3 + 9789341650154396743321412599034497308569/4301555803972821753\ 830433135567119523181408*c_0110_5^19 - 22811594580235412090191598939718197670475/2150777901986410876915216\ 567783559761590704*c_0110_5^18 - 2233081336571403362520001109432739\ 45812203/2150777901986410876915216567783559761590704*c_0110_5^17 + 962168571017933023767249563207980054598565/215077790198641087691521\ 6567783559761590704*c_0110_5^16 - 228271310237307788201071231481047\ 1413722489/1075388950993205438457608283891779880795352*c_0110_5^15 + 12053506597302393173532011096798930297957721/2150777901986410876915\ 216567783559761590704*c_0110_5^14 - 12856575040003662601222069866006352945463101/1075388950993205438457\ 608283891779880795352*c_0110_5^13 + 43662276430892960729493067048402421275902615/2150777901986410876915\ 216567783559761590704*c_0110_5^12 - 42033178509692154189378426243643182342598263/2150777901986410876915\ 216567783559761590704*c_0110_5^11 + 107516655934414766649249250475590508837562297/430155580397282175383\ 0433135567119523181408*c_0110_5^10 + 11464720699465978208378255780048057620166137/2150777901986410876915\ 216567783559761590704*c_0110_5^9 + 31769121343908750506081919473419665877205965/4301555803972821753830\ 433135567119523181408*c_0110_5^8 + 107256106110042811249404456825834475106775597/430155580397282175383\ 0433135567119523181408*c_0110_5^7 - 67167931571709325250288543881765180970364399/4301555803972821753830\ 433135567119523181408*c_0110_5^6 - 14074883844997621528835628559671380815630903/2150777901986410876915\ 216567783559761590704*c_0110_5^5 - 81994767605696905021394739597576928381345573/4301555803972821753830\ 433135567119523181408*c_0110_5^4 - 13806195759096682228638071214770174308287513/4301555803972821753830\ 433135567119523181408*c_0110_5^3 - 5568714816630515193014137469003255070393095/43015558039728217538304\ 33135567119523181408*c_0110_5^2 - 753728626161011131780872690582466\ 539310493/4301555803972821753830433135567119523181408*c_0110_5 - 1111673017136040119140271950526201597340487/43015558039728217538304\ 33135567119523181408, c_0110_5^20 - 5*c_0110_5^19 - 44*c_0110_5^18 + 212*c_0110_5^17 - 1002*c_0110_5^16 + 2782*c_0110_5^15 - 6098*c_0110_5^14 + 10666*c_0110_5^13 - 11424*c_0110_5^12 + 13347*c_0110_5^11 - 93*c_0110_5^10 + 983*c_0110_5^9 + 11978*c_0110_5^8 - 10770*c_0110_5^7 - 453*c_0110_5^6 - 6091*c_0110_5^5 - 494*c_0110_5^4 - 384*c_0110_5^3 - 292*c_0110_5^2 + 28*c_0110_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB