Magma V2.19-8 Tue Aug 20 2013 16:18:35 on localhost [Seed = 240096060] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2763 geometric_solution 5.99853900 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 1 2 0 3012 0132 0132 1230 0 0 0 0 0 -1 0 1 -1 0 0 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 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 1.530017532089 1.260617117953 3 0 2 4 0132 0132 1302 0132 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.030951463543 0.464069121078 1 5 6 0 2031 0132 0132 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 0 1 -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.680972590215 0.650422922355 1 6 3 3 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 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.702077908459 1.553960704902 6 5 1 6 1023 1302 0132 1230 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.195571680392 0.964805789032 5 2 5 4 2310 0132 3201 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.711906570763 0.689176419226 4 4 3 2 3012 1023 2310 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 0 1 -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.316613035016 0.379070684043 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(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_0'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_2']), 'c_0101_5' : d['c_0101_5'], '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_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_5']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_5']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0011_4'], 'c_0110_1' : d['c_0101_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_2']), 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_5']), 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0011_2']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_5']), 'c_1010_1' : negation(d['c_0101_5']), '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_2, c_0011_4, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 27374630475021256111217538041/20075982890347745303575049728*c_0101_\ 5^18 - 3499392561571236378551457638573/1606078631227819624286003978\ 24*c_0101_5^17 - 23136967259379472028597262106379/16060786312278196\ 2428600397824*c_0101_5^16 - 39364913838230449347754731774825/803039\ 31561390981214300198912*c_0101_5^15 - 17064274509106851500238965412845/20075982890347745303575049728*c_01\ 01_5^14 - 96039977737645402491626382733523/160607863122781962428600\ 397824*c_0101_5^13 - 32484528742804811201159718032375/1606078631227\ 81962428600397824*c_0101_5^12 - 183565449261701666709956091026905/1\ 60607863122781962428600397824*c_0101_5^11 - 80069908271686432328540767566265/40151965780695490607150099456*c_01\ 01_5^10 - 94017080776743215300669982171293/803039315613909812143001\ 98912*c_0101_5^9 - 22414141987815682887023315391221/200759828903477\ 45303575049728*c_0101_5^8 + 28890778773082982739669797221423/160607\ 863122781962428600397824*c_0101_5^7 + 556784640462080947769510272826595/160607863122781962428600397824*c_\ 0101_5^6 + 232108414982569129852638953181507/8030393156139098121430\ 0198912*c_0101_5^5 + 127460028438339531596603128135431/803039315613\ 90981214300198912*c_0101_5^4 + 107688794547562199046894942728699/16\ 0607863122781962428600397824*c_0101_5^3 - 104883106771598586654020713231707/160607863122781962428600397824*c_\ 0101_5^2 - 56069979749113262015601539175/10037991445173872651787524\ 864*c_0101_5 - 1785229545844261803100569867055/50189957225869363258\ 93762432, c_0011_0 - 1, c_0011_2 + 248690300845576708253/53506765159895332194028*c_0101_5^18 + 149930324129528266695/1910955898567690435501*c_0101_5^17 + 29321324196957244927977/53506765159895332194028*c_0101_5^16 + 52632871707591917786161/26753382579947666097014*c_0101_5^15 + 27111019848531819504477/7643823594270761742004*c_0101_5^14 + 59744546473005820104849/26753382579947666097014*c_0101_5^13 - 4809577748022674469989/13376691289973833048507*c_0101_5^12 + 223655901063505116203061/53506765159895332194028*c_0101_5^11 + 252438837280768355655733/26753382579947666097014*c_0101_5^10 + 86999940897205250248401/26753382579947666097014*c_0101_5^9 + 132022975097462004124185/53506765159895332194028*c_0101_5^8 + 11610670363242967259277/26753382579947666097014*c_0101_5^7 - 921691385337936662503225/53506765159895332194028*c_0101_5^6 - 145255037502248133259728/13376691289973833048507*c_0101_5^5 - 17335132409463589430339/7643823594270761742004*c_0101_5^4 - 40478282433889925264162/13376691289973833048507*c_0101_5^3 + 306611132332427492338539/53506765159895332194028*c_0101_5^2 - 23696576175874497329248/13376691289973833048507*c_0101_5 + 32239081094825183208768/13376691289973833048507, c_0011_4 - 763768587446043391467/214027060639581328776112*c_0101_5^18 - 1538314072693436160195/30575294377083046968016*c_0101_5^17 - 29961013558085847247439/107013530319790664388056*c_0101_5^16 - 9623092525691159557011/13376691289973833048507*c_0101_5^15 - 19879107883142969382099/30575294377083046968016*c_0101_5^14 + 52429096743586853194815/214027060639581328776112*c_0101_5^13 - 153626064272615144650439/214027060639581328776112*c_0101_5^12 - 190088326181363646875163/53506765159895332194028*c_0101_5^11 - 180126473386543408663587/107013530319790664388056*c_0101_5^10 + 11155459777139371277935/13376691289973833048507*c_0101_5^9 - 578235792339160427283943/214027060639581328776112*c_0101_5^8 - 88554119591408433363811/214027060639581328776112*c_0101_5^7 + 341581656367968580520485/107013530319790664388056*c_0101_5^6 - 205694199641898234803955/107013530319790664388056*c_0101_5^5 - 14191491868095418022981/30575294377083046968016*c_0101_5^4 + 827323098070658500842155/214027060639581328776112*c_0101_5^3 + 28278418610240789846185/13376691289973833048507*c_0101_5^2 + 30446214639319940440485/13376691289973833048507*c_0101_5 - 4309806317671267179824/13376691289973833048507, c_0101_0 + 6648973991407/814598427112384*c_0101_5^18 + 87599048344497/814598427112384*c_0101_5^17 + 222071131743363/407299213556192*c_0101_5^16 + 60912317645739/50912401694524*c_0101_5^15 + 518741657447649/814598427112384*c_0101_5^14 - 663923384052595/814598427112384*c_0101_5^13 + 1059369575722859/814598427112384*c_0101_5^12 + 620424305020211/203649606778096*c_0101_5^11 - 536061307248601/407299213556192*c_0101_5^10 + 51521340599285/25456200847262*c_0101_5^9 + 1121196508381035/814598427112384*c_0101_5^8 - 8854753158570489/814598427112384*c_0101_5^7 - 202501091513769/407299213556192*c_0101_5^6 - 412386622237281/407299213556192*c_0101_5^5 - 2623897738397737/814598427112384*c_0101_5^4 + 6552910799355409/814598427112384*c_0101_5^3 - 29160896111529/12728100423631*c_0101_5^2 + 78612828763703/25456200847262*c_0101_5 - 16091045526740/12728100423631, c_0101_2 - 210364806708965756765/26753382579947666097014*c_0101_5^18 - 850924591780430974285/7643823594270761742004*c_0101_5^17 - 33944696911461199341161/53506765159895332194028*c_0101_5^16 - 23685511171941351467370/13376691289973833048507*c_0101_5^15 - 8814138362652198232077/3821911797135380871002*c_0101_5^14 - 68197998570649295152725/53506765159895332194028*c_0101_5^13 - 111433987525522389962035/53506765159895332194028*c_0101_5^12 - 256385423788351996584111/53506765159895332194028*c_0101_5^11 - 101493327637853700699011/26753382579947666097014*c_0101_5^10 - 134442880594926429057571/26753382579947666097014*c_0101_5^9 - 122776510282842740671421/26753382579947666097014*c_0101_5^8 + 283536680236822547086141/53506765159895332194028*c_0101_5^7 + 307053963751856833739209/53506765159895332194028*c_0101_5^6 + 103412441911618583696118/13376691289973833048507*c_0101_5^5 + 14616006541184223709548/1910955898567690435501*c_0101_5^4 + 15607366686192078602265/53506765159895332194028*c_0101_5^3 + 100848058805287860426807/53506765159895332194028*c_0101_5^2 - 77374246911048735063739/26753382579947666097014*c_0101_5 - 1823417612936542254672/13376691289973833048507, c_0101_3 + 375961803022701432681/214027060639581328776112*c_0101_5^18 + 877261916642972566267/30575294377083046968016*c_0101_5^17 + 10187224500662318663385/53506765159895332194028*c_0101_5^16 + 33444750363660404023183/53506765159895332194028*c_0101_5^15 + 28096734905601181670721/30575294377083046968016*c_0101_5^14 + 29964405492289278485413/214027060639581328776112*c_0101_5^13 - 72699453322790005867777/214027060639581328776112*c_0101_5^12 + 235692587314816803963457/107013530319790664388056*c_0101_5^11 + 342360542509091062525277/107013530319790664388056*c_0101_5^10 - 20704283800047679984785/53506765159895332194028*c_0101_5^9 + 158394850540975136736125/214027060639581328776112*c_0101_5^8 + 154094941623235197598751/214027060639581328776112*c_0101_5^7 - 125787242601169543723671/26753382579947666097014*c_0101_5^6 + 49600328580756114693519/107013530319790664388056*c_0101_5^5 + 59928771041850262803931/30575294377083046968016*c_0101_5^4 - 353659303992514225445059/214027060639581328776112*c_0101_5^3 - 138621327815142377670723/107013530319790664388056*c_0101_5^2 - 24060320907896702388321/13376691289973833048507*c_0101_5 - 735181397465466504106/13376691289973833048507, c_0101_5^19 + 15*c_0101_5^18 + 90*c_0101_5^17 + 256*c_0101_5^16 + 271*c_0101_5^15 - 173*c_0101_5^14 - 283*c_0101_5^13 + 692*c_0101_5^12 + 642*c_0101_5^11 - 576*c_0101_5^10 - 27*c_0101_5^9 - 935*c_0101_5^8 - 2414*c_0101_5^7 + 370*c_0101_5^6 + 921*c_0101_5^5 + 655*c_0101_5^4 + 960*c_0101_5^3 - 464*c_0101_5^2 + 256*c_0101_5 - 256 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB