Magma V2.19-8 Tue Aug 20 2013 16:17:54 on localhost [Seed = 1579139742] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2128 geometric_solution 5.61843530 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0.406350987533 0.220058808388 2 0 3 0 0132 2310 0132 0132 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 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.690784633635 0.810434731866 1 4 5 3 0132 0132 0132 2310 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 -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.049636894578 1.046010854649 2 5 4 1 3201 0132 3201 0132 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 -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.049636894578 1.046010854649 3 2 4 4 2310 0132 1230 3012 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 0 0 0 0 1.186477230858 1.272995768648 6 3 6 2 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 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.760224081673 1.185716795536 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.473198054756 0.177999646625 ==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' : negation(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' : negation(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' : negation(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' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_1'], 's_3_6' : negation(d['1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0101_1']), '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_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0101_1']), '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_3, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 4367248702665806801181411404445855335567652771340114846599645876709\ 54295/2971672932568852375282346750609935497835849509596094998178383\ 342149723808*c_0101_5^32 + 4811905832115433558573097140307437575806\ 747523684738383961095961832361787/742918233142213093820586687652483\ 874458962377399023749544595835537430952*c_0101_5^30 - 5755788766690401804624931833891406851548257745794463739329486858439\ 7939881/74291823314221309382058668765248387445896237739902374954459\ 5835537430952*c_0101_5^28 + 103601510096347828720087741783840394476\ 6208792613095544778546917446607463497/29716729325688523752823467506\ 09935497835849509596094998178383342149723808*c_0101_5^26 - 6038613422069287541291482106892243499957266657099741343097583676193\ 669569869/297167293256885237528234675060993549783584950959609499817\ 8383342149723808*c_0101_5^24 + 143865974053151622764703042800285496\ 6033628706812075524048661340306442855963/29716729325688523752823467\ 50609935497835849509596094998178383342149723808*c_0101_5^22 - 9363875854400823957652119418670604752448278435622648751140963575058\ 884471419/371459116571106546910293343826241937229481188699511874772\ 297917768715476*c_0101_5^20 + 1412465149206693668623922831920890204\ 280254437614213166413042500604841180775805/297167293256885237528234\ 6750609935497835849509596094998178383342149723808*c_0101_5^18 - 8328868754362933649943177625792118697033273860610958717429573924855\ 82980969479/3714591165711065469102933438262419372294811886995118747\ 72297917768715476*c_0101_5^16 + 75257154810667169811535278090431454\ 98374397525331703700369961716785807951599959/1485836466284426187641\ 173375304967748917924754798047499089191671074861904*c_0101_5^14 - 1753131987189233699701731984841723313976741093728946465289641110554\ 9541314076455/29716729325688523752823467506099354978358495095960949\ 98178383342149723808*c_0101_5^12 + 5641063107230475225335346112491739937050340734652027555044713869728\ 55973661915/1857295582855532734551466719131209686147405943497559373\ 86148958884357738*c_0101_5^10 - 32802746079792398949881513046653047\ 2591736247617240370801976968863925538041137/74291823314221309382058\ 6687652483874458962377399023749544595835537430952*c_0101_5^8 - 6382448976228910918927125597041432490237604873193713345712148280491\ 9316410651/14858364662844261876411733753049677489179247547980474990\ 89191671074861904*c_0101_5^6 - 481243077359594657562131445075291625\ 13137347135822329243999171939733454350203/1485836466284426187641173\ 375304967748917924754798047499089191671074861904*c_0101_5^4 + 1121339032452221092480403273385167364819753748860135321651646100216\ 850754457/928647791427766367275733359565604843073702971748779686930\ 74479442178869*c_0101_5^2 + 203404983980042966906068715194301588616\ 4029905674361271178216948244219563337/29716729325688523752823467506\ 09935497835849509596094998178383342149723808, c_0011_0 - 1, c_0011_1 + 111814915827056426953472813786048781991785655065619251276093\ 278096/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^32 - 4915770637154915067292667794102803530296692\ 768292731204506195698719/321331415718950300095409466977717938779828\ 017906152140806486088035221*c_0101_5^30 + 5841692354921442497017212644715459290053977130970818623336771899777\ 3/32133141571895030009540946697771793877982801790615214080648608803\ 5221*c_0101_5^28 - 259194759398674579883444366659764606327295377980\ 776400818953213338091/321331415718950300095409466977717938779828017\ 906152140806486088035221*c_0101_5^26 + 1521523641502928701708250164012138236848718506649920442315197334240\ 539/321331415718950300095409466977717938779828017906152140806486088\ 035221*c_0101_5^24 - 2181816624251920049635532483588901525428630050\ 62546649918604187164729/3213314157189503000954094669777179387798280\ 17906152140806486088035221*c_0101_5^22 + 1925126818636802132159706180936787739737514277600073327995156049159\ 1259/32133141571895030009540946697771793877982801790615214080648608\ 8035221*c_0101_5^20 - 359518416475451149269898965328695417924121508\ 954946514297689878407471209/321331415718950300095409466977717938779\ 828017906152140806486088035221*c_0101_5^18 + 1667972383336843384742878085768980130897972709674882472554561688727\ 224515/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^16 - 3694823696691317388816298199374875053389997\ 434227449822476656927047714093/321331415718950300095409466977717938\ 779828017906152140806486088035221*c_0101_5^14 + 4188177700278112999108107796193678968841437881896886483515743573054\ 860411/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^12 - 2066708028901905029607364283690857425889075\ 849837947669220228019679729804/321331415718950300095409466977717938\ 779828017906152140806486088035221*c_0101_5^10 + 3236351397056830915756562553877868819751856737308107049736756991348\ 51201/3213314157189503000954094669777179387798280179061521408064860\ 88035221*c_0101_5^8 - 550194289015711293011444018625930224440784231\ 9208583558880568355173493/32133141571895030009540946697771793877982\ 8017906152140806486088035221*c_0101_5^6 + 2342309098324563950052516017401228521743180406704555335660370365118\ 2730/32133141571895030009540946697771793877982801790615214080648608\ 8035221*c_0101_5^4 - 6096765075046175531711814301742297248249643865\ 169148946076969437378673/321331415718950300095409466977717938779828\ 017906152140806486088035221*c_0101_5^2 - 3132597912382870024783560627255188067931814194943495663783376897836\ 5/32133141571895030009540946697771793877982801790615214080648608803\ 5221, c_0011_3 - 373307905701584826279050006789606049759043304807472758589888\ 3411217/64266283143790060019081893395543587755965603581230428161297\ 2176070442*c_0101_5^33 + 821889972443220174529382958744021074343622\ 23725026254406217667621150/3213314157189503000954094669777179387798\ 28017906152140806486088035221*c_0101_5^31 - 9807751981319640192184911899529266231559408986696526347898826932852\ 48/3213314157189503000954094669777179387798280179061521408064860880\ 35221*c_0101_5^29 + 87820833662948753940843605614352014018730481857\ 57421926513488905797293/6426628314379006001908189339554358775596560\ 35812304281612972176070442*c_0101_5^27 - 5131937957474042797113584826176281161355421348189993811266317846246\ 1991/64266283143790060019081893395543587755965603581230428161297217\ 6070442*c_0101_5^25 + 104696970998025661215638971638355381044560258\ 12720280492271482499119555/6426628314379006001908189339554358775596\ 56035812304281612972176070442*c_0101_5^23 - 3206103064683530849901002926870347136221881774085497950430031983134\ 86781/3213314157189503000954094669777179387798280179061521408064860\ 88035221*c_0101_5^21 + 12047721885268461074693183896218122633534776\ 519682729893003685192508455571/642662831437900600190818933955435877\ 559656035812304281612972176070442*c_0101_5^19 - 2824666915804371434565726032241858628443811045069348072305719207956\ 2939541/32133141571895030009540946697771793877982801790615214080648\ 6088035221*c_0101_5^17 + 633651441957183235669109960948598248581490\ 42354436265728921794025150348978/3213314157189503000954094669777179\ 38779828017906152140806486088035221*c_0101_5^15 - 1462048928930603680913593109108232792809357805463070724248105300043\ 54666915/6426628314379006001908189339554358775596560358123042816129\ 72176070442*c_0101_5^13 + 37068185591634188682064650967337552271338\ 114960465170555181627467532458855/321331415718950300095409466977717\ 938779828017906152140806486088035221*c_0101_5^11 - 5463265687376095357188088363449762425723068541396780717689361528678\ 847379/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^9 - 38721101702765020528191346630903549098956088\ 3074240315229628183546290037/32133141571895030009540946697771793877\ 9828017906152140806486088035221*c_0101_5^7 - 3930397910960007194605236964725189202998343027133189621216232026794\ 61343/3213314157189503000954094669777179387798280179061521408064860\ 88035221*c_0101_5^5 + 140021623758498002982869604624215500293164509\ 308127502684505401471489057/321331415718950300095409466977717938779\ 828017906152140806486088035221*c_0101_5^3 + 1185742656266886552096030784988862102174167009984773042102194302178\ 7709/64266283143790060019081893395543587755965603581230428161297217\ 6070442*c_0101_5, c_0101_0 - 434998157131758797177243267090467064511840151485029884613574\ 8855569/64266283143790060019081893395543587755965603581230428161297\ 2176070442*c_0101_5^33 + 958366123928285422139652505418133536097862\ 86648390434888907685367714/3213314157189503000954094669777179387798\ 28017906152140806486088035221*c_0101_5^31 - 1145706353076226388597887847232597869192415602878732398635348021942\ 146/321331415718950300095409466977717938779828017906152140806486088\ 035221*c_0101_5^29 + 1029927422511996251450600193290606240985602510\ 4468453732860621116529085/64266283143790060019081893395543587755965\ 6035812304281612972176070442*c_0101_5^27 - 6007356411856579971832290050761970748852618931404077700038840232529\ 5947/64266283143790060019081893395543587755965603581230428161297217\ 6070442*c_0101_5^25 + 138571972808253596375360684419799125743923538\ 05262455816663508499298665/6426628314379006001908189339554358775596\ 56035812304281612972176070442*c_0101_5^23 - 3733310675431160966796558339495484688101559279910826180351122817753\ 40685/3213314157189503000954094669777179387798280179061521408064860\ 88035221*c_0101_5^21 + 14061441524435584380125570657756289624295188\ 120709181948152371386334474821/642662831437900600190818933955435877\ 559656035812304281612972176070442*c_0101_5^19 - 3312026029949217461366838086233108190683281486775412065023875523288\ 2354544/32133141571895030009540946697771793877982801790615214080648\ 6088035221*c_0101_5^17 + 747196124765752591778091028213843176019888\ 18443033414750251223687068152426/3213314157189503000954094669777179\ 38779828017906152140806486088035221*c_0101_5^15 - 1738711391526764349522795100604564572195215538802156183377048930396\ 48927595/6426628314379006001908189339554358775596560358123042816129\ 72176070442*c_0101_5^13 + 44812155861534640670310081721751211934067\ 434077566745344533224769718633504/321331415718950300095409466977717\ 938779828017906152140806486088035221*c_0101_5^11 - 6773509506242447816779969373709546912455383958656350873506860533340\ 640557/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^9 - 50518793151196083892399193609667320909380847\ 6346099206287076052073236119/32133141571895030009540946697771793877\ 9828017906152140806486088035221*c_0101_5^7 - 4671039260817633213675271113896588996282311757513504350028484454841\ 36535/3213314157189503000954094669777179387798280179061521408064860\ 88035221*c_0101_5^5 + 173211519715994168844558809096988189463332899\ 745521545860822021599103699/321331415718950300095409466977717938779\ 828017906152140806486088035221*c_0101_5^3 + 1483210421163876860545408662384308376318696271877053123630014558996\ 3945/64266283143790060019081893395543587755965603581230428161297217\ 6070442*c_0101_5, c_0101_1 + 256677268203484464706247460611995792264686605543794378515994\ 574229/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^32 - 1128391204861050523354695310127214298705986\ 8907994530400346074891041/32133141571895030009540946697771793877982\ 8017906152140806486088035221*c_0101_5^30 + 1340740217106755395934021382093101224898129931793352836456120182589\ 54/3213314157189503000954094669777179387798280179061521408064860880\ 35221*c_0101_5^28 - 59460481909728685248837759543603756463755262210\ 5054695534589497655159/32133141571895030009540946697771793877982801\ 7906152140806486088035221*c_0101_5^26 + 3490089309515672106476575308523198174019143287876411539023709766137\ 544/321331415718950300095409466977717938779828017906152140806486088\ 035221*c_0101_5^24 - 4875474304353941056353281004886834895485029313\ 84656967833757522529661/3213314157189503000954094669777179387798280\ 17906152140806486088035221*c_0101_5^22 + 4415362786457290045466327875421773132575648391214052544795365253748\ 6813/32133141571895030009540946697771793877982801790615214080648608\ 8035221*c_0101_5^20 - 825207373575159975587708075467590441046690151\ 566175641236315614256172901/321331415718950300095409466977717938779\ 828017906152140806486088035221*c_0101_5^18 + 3826797702767898980803136435875748939491857514042962841361706820229\ 110634/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^16 - 8464966657159374067982188103178131828253362\ 759054136235479411924758216397/321331415718950300095409466977717938\ 779828017906152140806486088035221*c_0101_5^14 + 9556282741432228700221704594997864296233215846069925746806317399194\ 502700/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^12 - 4638096853709686486333706756231171848072253\ 013632883794903670842744962690/321331415718950300095409466977717938\ 779828017906152140806486088035221*c_0101_5^10 + 6430781250548396299395373777500593001562917204525966191118663616659\ 98642/3213314157189503000954094669777179387798280179061521408064860\ 88035221*c_0101_5^8 + 221440656903051935537102720152548288590457359\ 89592660373858546446406547/3213314157189503000954094669777179387798\ 28017906152140806486088035221*c_0101_5^6 + 5573376292410294118905519936100038886510435471346976508871318141851\ 5364/32133141571895030009540946697771793877982801790615214080648608\ 8035221*c_0101_5^4 - 1608585634527120018196557416383203798129991629\ 8966510887086738320110314/32133141571895030009540946697771793877982\ 8017906152140806486088035221*c_0101_5^2 - 6094145916719109967596884492337233836860671835965017826828135884065\ 49/3213314157189503000954094669777179387798280179061521408064860880\ 35221, c_0101_4 - 172918804915333527688992561408740897789921124660746281328964\ 770308/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^33 + 7593499274440244590153151190851553067129653\ 863913857166949971481828/321331415718950300095409466977717938779828\ 017906152140806486088035221*c_0101_5^31 - 8996414644178336498879831122548242468780803994937010151647931132729\ 2/32133141571895030009540946697771793877982801790615214080648608803\ 5221*c_0101_5^29 + 396445053089346572858122073593507771513531373423\ 452212310528900617489/321331415718950300095409466977717938779828017\ 906152140806486088035221*c_0101_5^27 - 2334232325587689878254334782311251429634744670394956604183890403214\ 101/321331415718950300095409466977717938779828017906152140806486088\ 035221*c_0101_5^25 + 2249917802624608858012751768503837151651310744\ 82508558937989032188254/3213314157189503000954094669777179387798280\ 17906152140806486088035221*c_0101_5^23 - 2978415017983137511366184340614998563119841980609904285614296875512\ 9936/32133141571895030009540946697771793877982801790615214080648608\ 8035221*c_0101_5^21 + 554485094011404473518335225117604227923540501\ 118763508975684897379088913/321331415718950300095409466977717938779\ 828017906152140806486088035221*c_0101_5^19 - 2552218923993529025112687424107304733298676429991391854479720002148\ 968670/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^17 + 5593032457410195708503613311637455038246430\ 483236331480135703445982666731/321331415718950300095409466977717938\ 779828017906152140806486088035221*c_0101_5^15 - 6223076647170009814320598213598072084609487225817910497316124250716\ 388159/321331415718950300095409466977717938779828017906152140806486\ 088035221*c_0101_5^13 + 2929648766538253323469658182302803054791573\ 837253618580252597934415576742/321331415718950300095409466977717938\ 779828017906152140806486088035221*c_0101_5^11 - 3836937155574746000741189765546978367611229112263704046087908810442\ 82344/3213314157189503000954094669777179387798280179061521408064860\ 88035221*c_0101_5^9 - 167403310335018320950470867777925514096264641\ 69864235186818058595160415/3213314157189503000954094669777179387798\ 28017906152140806486088035221*c_0101_5^7 - 3201937041775292582413388112841979056548050457065013978492713591127\ 5102/32133141571895030009540946697771793877982801790615214080648608\ 8035221*c_0101_5^5 + 1088432247611331314527468112608114898978742484\ 1679171587021655396594751/32133141571895030009540946697771793877982\ 8017906152140806486088035221*c_0101_5^3 - 2135690625527262584878604303456586284927928185398970388640034646277\ 26/3213314157189503000954094669777179387798280179061521408064860880\ 35221*c_0101_5, c_0101_5^34 - 44*c_0101_5^32 + 524*c_0101_5^30 - 2335*c_0101_5^28 + 13667*c_0101_5^26 - 2341*c_0101_5^24 + 171600*c_0101_5^22 - 3221675*c_0101_5^20 + 15026224*c_0101_5^18 - 33432594*c_0101_5^16 + 37970433*c_0101_5^14 - 18415208*c_0101_5^12 + 2129468*c_0101_5^10 + 338234*c_0101_5^8 + 224666*c_0101_5^6 - 68336*c_0101_5^4 - 6447*c_0101_5^2 - 136 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB