Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 3297073180] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0836 geometric_solution 4.75847120 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.584894728947 0.199602073886 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 -1 1 1 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 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.883738060639 0.322994653272 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 1 -1 -1 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 1 -1 -1 0 0 1 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.396540738320 0.486209665857 4 2 4 5 3012 0132 2310 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 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.541522914083 1.140440629333 5 3 2 3 0132 3201 0132 1230 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 1 0 1 0 -1 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.541522914083 1.140440629333 4 6 3 6 0132 0132 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 0 0 -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.408523636360 1.132903672332 5 5 6 6 3201 0132 2031 1302 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424435786064 0.083591639880 ==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' : negation(d['c_0101_1']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0101_1']), 'c_0101_5' : d['c_0011_1'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], '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' : 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_1'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_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_0011_0'], 'c_0110_3' : d['c_0011_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_1'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_3']), '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_1, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 888320777666353864856514225560496279435640/419526183201321285192135\ 20331872292239*c_0110_6^24 - 31807915203523615886909925550574382128\ 50850/41952618320132128519213520331872292239*c_0110_6^23 - 20892173668053353430282179282493939279073349/4195261832013212851921\ 3520331872292239*c_0110_6^22 + 357162452409121110728640825972091384\ 46356801/41952618320132128519213520331872292239*c_0110_6^21 + 253384524041363109522111408192492210955941899/419526183201321285192\ 13520331872292239*c_0110_6^20 - 18941775432636134552313239098288702\ 1699449631/41952618320132128519213520331872292239*c_0110_6^19 - 1575013960575232391007041753289700577703938465/41952618320132128519\ 213520331872292239*c_0110_6^18 + 3464101160610362109210861582135814\ 42148157180/41952618320132128519213520331872292239*c_0110_6^17 + 5344234667490279785439092662658428033389792802/41952618320132128519\ 213520331872292239*c_0110_6^16 + 1179809133071721700193651682262084\ 689717840382/41952618320132128519213520331872292239*c_0110_6^15 - 10043766159562010869538374490843610411659579973/4195261832013212851\ 9213520331872292239*c_0110_6^14 - 620506259983021287598603228342570\ 5952716978094/41952618320132128519213520331872292239*c_0110_6^13 + 10851127619975201658094909812506094181664524613/4195261832013212851\ 9213520331872292239*c_0110_6^12 + 103692733169704339879697146902710\ 85440830915263/41952618320132128519213520331872292239*c_0110_6^11 - 8752870536829833918129586292590518842152682811/41952618320132128519\ 213520331872292239*c_0110_6^10 - 1106638979602008145680047134584508\ 9601572437614/41952618320132128519213520331872292239*c_0110_6^9 + 3487112572701885919572345502301233844607193892/41952618320132128519\ 213520331872292239*c_0110_6^8 + 65661942163061102201809095873832530\ 91519320669/41952618320132128519213520331872292239*c_0110_6^7 - 14880042723236544046234730243102282623475096/4195261832013212851921\ 3520331872292239*c_0110_6^6 - 1970373971123286259368124486215644399\ 239385178/41952618320132128519213520331872292239*c_0110_6^5 - 346563696795850790461333688747527050734325215/419526183201321285192\ 13520331872292239*c_0110_6^4 + 250417511652886044610887689919184698\ 222795627/41952618320132128519213520331872292239*c_0110_6^3 + 72736086706078408158121188406981628168600412/4195261832013212851921\ 3520331872292239*c_0110_6^2 - 5641945019574273295916645065432863404\ 438480/41952618320132128519213520331872292239*c_0110_6 - 2385998273600913093909049964655664089621656/41952618320132128519213\ 520331872292239, c_0011_0 - 1, c_0011_1 - 47801100973392514811211830724527886612/419526183201321285192\ 13520331872292239*c_0110_6^24 + 21179051964006494590248417900336735\ 9453/41952618320132128519213520331872292239*c_0110_6^23 + 971130265363094306219297940081279454318/419526183201321285192135203\ 31872292239*c_0110_6^22 - 2847434801567696250023332668475597648610/\ 41952618320132128519213520331872292239*c_0110_6^21 - 11831378696729889670159380256355896952811/4195261832013212851921352\ 0331872292239*c_0110_6^20 + 214069282737996440544008723317952592602\ 97/41952618320132128519213520331872292239*c_0110_6^19 + 74009217210696257827668714498846670759049/4195261832013212851921352\ 0331872292239*c_0110_6^18 - 882236556557989458658628533738247548359\ 84/41952618320132128519213520331872292239*c_0110_6^17 - 258575196113018703955529246879824112804576/419526183201321285192135\ 20331872292239*c_0110_6^16 + 17287240355913613577508709245516615350\ 1241/41952618320132128519213520331872292239*c_0110_6^15 + 548157003903036292913380826929475509367589/419526183201321285192135\ 20331872292239*c_0110_6^14 - 11871633293430056818515712307711853550\ 9650/41952618320132128519213520331872292239*c_0110_6^13 - 772996472342157964881985089298848822853633/419526183201321285192135\ 20331872292239*c_0110_6^12 - 37992613560060513854774526084948222570\ 517/41952618320132128519213520331872292239*c_0110_6^11 + 824939782564821930373977210394985114609160/419526183201321285192135\ 20331872292239*c_0110_6^10 + 13340250527821179157825188048182460917\ 9744/41952618320132128519213520331872292239*c_0110_6^9 - 580317978110392294074541102925204687372479/419526183201321285192135\ 20331872292239*c_0110_6^8 - 117859286092948882913547209101388623496\ 736/41952618320132128519213520331872292239*c_0110_6^7 + 232825961205791015323214332547053213939468/419526183201321285192135\ 20331872292239*c_0110_6^6 + 524400508150445041432407711241458938311\ 94/41952618320132128519213520331872292239*c_0110_6^5 - 51598603654495806536181496848273030881443/4195261832013212851921352\ 0331872292239*c_0110_6^4 - 1044077421904637924415431591031028998013\ 3/41952618320132128519213520331872292239*c_0110_6^3 + 5640353183350041534820708389923853482794/41952618320132128519213520\ 331872292239*c_0110_6^2 + 711296118534973641943052258614585154466/4\ 1952618320132128519213520331872292239*c_0110_6 - 206305046351136676930512634749128060388/419526183201321285192135203\ 31872292239, c_0011_4 + 174271811441729164427868621946314255687/41952618320132128519\ 213520331872292239*c_0110_6^24 - 7617445106605040367166503131962467\ 60842/41952618320132128519213520331872292239*c_0110_6^23 - 3555010310531421321551598259759756585432/41952618320132128519213520\ 331872292239*c_0110_6^22 + 1004602164715513217382741524052457167893\ 1/41952618320132128519213520331872292239*c_0110_6^21 + 43061167892076416782881574969499475699767/4195261832013212851921352\ 0331872292239*c_0110_6^20 - 739879735507057509181243816700617477468\ 85/41952618320132128519213520331872292239*c_0110_6^19 - 266157413697413541104817899423249463015494/419526183201321285192135\ 20331872292239*c_0110_6^18 + 29618981454109928999409524852715673777\ 2055/41952618320132128519213520331872292239*c_0110_6^17 + 911226737340900942365313803085078108122325/419526183201321285192135\ 20331872292239*c_0110_6^16 - 54517954711973969373271900664150444203\ 5442/41952618320132128519213520331872292239*c_0110_6^15 - 1868643633470808042537604546072560202837984/41952618320132128519213\ 520331872292239*c_0110_6^14 + 2971225302564241335278927554319994580\ 03261/41952618320132128519213520331872292239*c_0110_6^13 + 2533158932238027768724707993403349607875360/41952618320132128519213\ 520331872292239*c_0110_6^12 + 2130379095809345905666285033548778868\ 05027/41952618320132128519213520331872292239*c_0110_6^11 - 2648636330879189640913239871849153820057229/41952618320132128519213\ 520331872292239*c_0110_6^10 - 4806281274137331043371261952820793667\ 75116/41952618320132128519213520331872292239*c_0110_6^9 + 1768414180827201724741230955598203578140872/41952618320132128519213\ 520331872292239*c_0110_6^8 + 35528068943423092910208787089795637261\ 4138/41952618320132128519213520331872292239*c_0110_6^7 - 667656227153113286566941951370024065350400/419526183201321285192135\ 20331872292239*c_0110_6^6 - 140749827857743992875012267316343108012\ 643/41952618320132128519213520331872292239*c_0110_6^5 + 142145026660091437158650288851602599037288/419526183201321285192135\ 20331872292239*c_0110_6^4 + 246453368235226936385907478246091572805\ 35/41952618320132128519213520331872292239*c_0110_6^3 - 14782064222832908827456869828098399715234/4195261832013212851921352\ 0331872292239*c_0110_6^2 - 1497240024722739694334930713865679797158\ /41952618320132128519213520331872292239*c_0110_6 + 541371289262893613338465428121136967145/419526183201321285192135203\ 31872292239, c_0101_0 + 216859287896675326923167416301639992284/41952618320132128519\ 213520331872292239*c_0110_6^24 - 9320159453986141575214431254076742\ 03466/41952618320132128519213520331872292239*c_0110_6^23 - 4484316899489645856485358373364495739284/41952618320132128519213520\ 331872292239*c_0110_6^22 + 1214276395358853257527171214637314024197\ 8/41952618320132128519213520331872292239*c_0110_6^21 + 54303468678681223866847003080107099608410/4195261832013212851921352\ 0331872292239*c_0110_6^20 - 877378647406627413320923564453916409710\ 41/41952618320132128519213520331872292239*c_0110_6^19 - 335581851165902683559768617164188672191450/419526183201321285192135\ 20331872292239*c_0110_6^18 + 34180489351535494567222308426553184020\ 8062/41952618320132128519213520331872292239*c_0110_6^17 + 1146485907726609283885408491575868282499688/41952618320132128519213\ 520331872292239*c_0110_6^16 - 5880069157296463459267579111865753660\ 69589/41952618320132128519213520331872292239*c_0110_6^15 - 2327161548690700218998531685226206376921065/41952618320132128519213\ 520331872292239*c_0110_6^14 + 1974644287871392877683545242453184135\ 19679/41952618320132128519213520331872292239*c_0110_6^13 + 3090313940815187069354726393865436264466711/41952618320132128519213\ 520331872292239*c_0110_6^12 + 4638586227047248666882540701328830462\ 81210/41952618320132128519213520331872292239*c_0110_6^11 - 3176864000401651157220889327825842767500689/41952618320132128519213\ 520331872292239*c_0110_6^10 - 7790402256153323917628209669327802269\ 30053/41952618320132128519213520331872292239*c_0110_6^9 + 2068131518617776511961087539478513800642658/41952618320132128519213\ 520331872292239*c_0110_6^8 + 53796308874862872956786790468980126468\ 1932/41952618320132128519213520331872292239*c_0110_6^7 - 756395624336548258686095574393800582237864/419526183201321285192135\ 20331872292239*c_0110_6^6 - 201003715293517245977606534990373618937\ 196/41952618320132128519213520331872292239*c_0110_6^5 + 155907865019078040801442094758849942852601/419526183201321285192135\ 20331872292239*c_0110_6^4 + 340691352329788363937544748076254200030\ 78/41952618320132128519213520331872292239*c_0110_6^3 - 15600692417157973922250156811578639655846/4195261832013212851921352\ 0331872292239*c_0110_6^2 - 1991188549896001833091076763236023097144\ /41952618320132128519213520331872292239*c_0110_6 + 546657351349061514021445659813838424261/419526183201321285192135203\ 31872292239, c_0101_1 + 35202038945049064790975308262854869281/419526183201321285192\ 13520331872292239*c_0110_6^24 - 15319959604617376069879934488809952\ 7506/41952618320132128519213520331872292239*c_0110_6^23 - 727375216557810005685252286994612763862/419526183201321285192135203\ 31872292239*c_0110_6^22 + 2041173919917222308054560323191273254768/\ 41952618320132128519213520331872292239*c_0110_6^21 + 8873250429844510724701548149849104382513/41952618320132128519213520\ 331872292239*c_0110_6^20 - 1509037083273207533389190539734889121152\ 7/41952618320132128519213520331872292239*c_0110_6^19 - 55683314103212223479428705421783161049743/4195261832013212851921352\ 0331872292239*c_0110_6^18 + 608309262747245037916865714729522367396\ 91/41952618320132128519213520331872292239*c_0110_6^17 + 195110638017732110904607083396875500422773/419526183201321285192135\ 20331872292239*c_0110_6^16 - 11325439916946967822166408210553438395\ 9388/41952618320132128519213520331872292239*c_0110_6^15 - 412064994388972013041610233804396494282897/419526183201321285192135\ 20331872292239*c_0110_6^14 + 58819005677639161537517800121271378383\ 252/41952618320132128519213520331872292239*c_0110_6^13 + 573112495378459471717471389829873603999789/419526183201321285192135\ 20331872292239*c_0110_6^12 + 66339066124406499913644694782165181823\ 104/41952618320132128519213520331872292239*c_0110_6^11 - 602979341717249407521729797960479907991989/419526183201321285192135\ 20331872292239*c_0110_6^10 - 13737978953177765797187571174138385205\ 8289/41952618320132128519213520331872292239*c_0110_6^9 + 418815465823239141468982385196894057835501/419526183201321285192135\ 20331872292239*c_0110_6^8 + 111461619242708593665163514475004815373\ 614/41952618320132128519213520331872292239*c_0110_6^7 - 164956521514193853148991516599871244125787/419526183201321285192135\ 20331872292239*c_0110_6^6 - 468293091243483745959935349824625992821\ 20/41952618320132128519213520331872292239*c_0110_6^5 + 35482482903958862974514355759444148731728/4195261832013212851921352\ 0331872292239*c_0110_6^4 + 8975022960081049706408264399291934959978\ /41952618320132128519213520331872292239*c_0110_6^3 - 3941577754221294452256462144351105896744/41952618320132128519213520\ 331872292239*c_0110_6^2 - 583131356669567821804907132606139371173/4\ 1952618320132128519213520331872292239*c_0110_6 + 184378491933413041408410343146996623642/419526183201321285192135203\ 31872292239, c_0101_3 + 32921472513705850708176235051816407352/419526183201321285192\ 13520331872292239*c_0110_6^24 - 16043437400225917970332445779088695\ 2450/41952618320132128519213520331872292239*c_0110_6^23 - 597466936785615287841375600279349864191/419526183201321285192135203\ 31872292239*c_0110_6^22 + 2226313352993708138023211045192823261747/\ 41952618320132128519213520331872292239*c_0110_6^21 + 7148898842301534564442404458407236466572/41952618320132128519213520\ 331872292239*c_0110_6^20 - 1794753284338038479828541521174225557854\ 8/41952618320132128519213520331872292239*c_0110_6^19 - 42885907908943088745218736676739416139698/4195261832013212851921352\ 0331872292239*c_0110_6^18 + 803087184023992749499494834647808059869\ 98/41952618320132128519213520331872292239*c_0110_6^17 + 141990216488202291069727555972966115592644/419526183201321285192135\ 20331872292239*c_0110_6^16 - 18554412665007583139708925457644935767\ 5993/41952618320132128519213520331872292239*c_0110_6^15 - 295608003880776637167050693375898198994648/419526183201321285192135\ 20331872292239*c_0110_6^14 + 22450371693850849982007359515978400986\ 7416/41952618320132128519213520331872292239*c_0110_6^13 + 441601168756262655162450000512591260704376/419526183201321285192135\ 20331872292239*c_0110_6^12 - 18742314932964781845935118230312234269\ 6864/41952618320132128519213520331872292239*c_0110_6^11 - 510051409617687810994396217383308225788661/419526183201321285192135\ 20331872292239*c_0110_6^10 + 14331203504509815694145088265567180487\ 7411/41952618320132128519213520331872292239*c_0110_6^9 + 365319841706293916555564570923499787093254/419526183201321285192135\ 20331872292239*c_0110_6^8 - 820176460259038950370829896123460690140\ 57/41952618320132128519213520331872292239*c_0110_6^7 - 151076814223456700407092521220381918416381/419526183201321285192135\ 20331872292239*c_0110_6^6 + 208516849759877519369997674098404819069\ 64/41952618320132128519213520331872292239*c_0110_6^5 + 35705118210525669136423985186875818945056/4195261832013212851921352\ 0331872292239*c_0110_6^4 - 2719149044470231366456800153584782830787\ /41952618320132128519213520331872292239*c_0110_6^3 - 3501935392523939603486899697060978603417/41952618320132128519213520\ 331872292239*c_0110_6^2 + 144639009725089170639102287866636398378/4\ 1952618320132128519213520331872292239*c_0110_6 + 80289641744462108720758232769045006424/4195261832013212851921352033\ 1872292239, c_0110_6^25 - 4*c_0110_6^24 - 22*c_0110_6^23 + 50*c_0110_6^22 + 268*c_0110_6^21 - 332*c_0110_6^20 - 1679*c_0110_6^19 + 1128*c_0110_6^18 + 5824*c_0110_6^17 - 1177*c_0110_6^16 - 11766*c_0110_6^15 - 2258*c_0110_6^14 + 14954*c_0110_6^13 + 6502*c_0110_6^12 - 14518*c_0110_6^11 - 8211*c_0110_6^10 + 8935*c_0110_6^9 + 5611*c_0110_6^8 - 2997*c_0110_6^7 - 2128*c_0110_6^6 + 508*c_0110_6^5 + 419*c_0110_6^4 - 33*c_0110_6^3 - 37*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB