Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 3751691015] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0832 geometric_solution 4.75588446 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 1 1 0 3201 0132 3201 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 -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 -1.290405261692 0.978018364006 0 0 3 2 2310 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 1 -1 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.103100877380 0.367238766116 3 3 1 4 1230 1023 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 -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 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.494330938351 1.159858814960 2 2 4 1 1023 3012 2310 0132 0 0 0 0 0 1 -1 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 -1 0 1 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.494330938351 1.159858814960 5 3 2 5 0132 3201 0132 1023 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519903022996 0.648145049852 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 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.461143998658 0.409356275488 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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.621201307430 0.143099050195 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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' : negation(d['1']), 's_2_2' : negation(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' : negation(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' : negation(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' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_2'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : negation(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' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_2'], 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0011_2']), 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0011_2'], 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_2'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_1']), '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_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 102826044969371696382301987376802131580946097374/253326315576624563\ 1965136449713276979052695583*c_0101_6^23 + 80729379855633203298614608395118723279190503099/8444210519220818773\ 21712149904425659684231861*c_0101_6^22 - 965786548337158966116018868515970744938752155490/844421051922081877\ 321712149904425659684231861*c_0101_6^21 - 30652141672672249316481421466591540178760501583/1796640536004429526\ 2164088295838843823068763*c_0101_6^20 + 33880230046554440064201995921632544594231586811459/2533263155766245\ 631965136449713276979052695583*c_0101_6^19 + 6281727145941053723494405468832809518786906407411/84442105192208187\ 7321712149904425659684231861*c_0101_6^18 - 233100820586141011595807410520475332069613041866906/253326315576624\ 5631965136449713276979052695583*c_0101_6^17 - 4665042181577376261170341096482105379254767352355/25332631557662456\ 31965136449713276979052695583*c_0101_6^16 + 385096361561000815430405731810513382196547805314913/844421051922081\ 877321712149904425659684231861*c_0101_6^15 + 27262874289967787885083307849227094878855703000603/2814736839740272\ 92440570716634808553228077287*c_0101_6^14 - 3326060596263569308938016190934446724790630326201325/25332631557662\ 45631965136449713276979052695583*c_0101_6^13 - 1910019452249295552392903380627040341081384494853961/25332631557662\ 45631965136449713276979052695583*c_0101_6^12 + 4429790612001339627319906161830663610460474809433529/25332631557662\ 45631965136449713276979052695583*c_0101_6^11 + 4484042668983123189071468381475469554035080243612475/25332631557662\ 45631965136449713276979052695583*c_0101_6^10 - 780437248754561657018783800430575640660060973908491/844421051922081\ 877321712149904425659684231861*c_0101_6^9 - 3868921893052180105805020757531123373435794729731957/25332631557662\ 45631965136449713276979052695583*c_0101_6^8 - 1374431367407500066276200659531340675532772138815/25332631557662456\ 31965136449713276979052695583*c_0101_6^7 + 1361271518181192897406191070110823068312966806743420/25332631557662\ 45631965136449713276979052695583*c_0101_6^6 + 6800813223665032528571276810985379181022262292852/28147368397402729\ 2440570716634808553228077287*c_0101_6^5 - 241708902275076472700046646676161631731308155163493/253326315576624\ 5631965136449713276979052695583*c_0101_6^4 + 7367413352588402782871260429500769444578077707961/25332631557662456\ 31965136449713276979052695583*c_0101_6^3 + 18047490797078201966054880499815634781213328703442/2533263155766245\ 631965136449713276979052695583*c_0101_6^2 - 1296852895082955543993324703746194172322633772182/25332631557662456\ 31965136449713276979052695583*c_0101_6 - 45969846999687785497632070243331480590184705513/2533263155766245631\ 965136449713276979052695583, c_0011_0 - 1, c_0011_2 - 127983524801462390446808411276530785392084914/28147368397402\ 7292440570716634808553228077287*c_0101_6^23 - 2546677324164807178413497933441043799219749266/25332631557662456319\ 65136449713276979052695583*c_0101_6^22 + 32796428538028397527266555377104508507533700764/2533263155766245631\ 965136449713276979052695583*c_0101_6^21 + 928297364514390784897616874297034521691977422/538992160801328857864\ 92264887516531469206289*c_0101_6^20 - 385023225580446239114960639426121355202986566008/253326315576624563\ 1965136449713276979052695583*c_0101_6^19 - 154803066015268557534825977693207481260875323073/253326315576624563\ 1965136449713276979052695583*c_0101_6^18 + 2624032622284071967945304857056511900850368330157/25332631557662456\ 31965136449713276979052695583*c_0101_6^17 - 326418190194828993907769404931091365868661113899/253326315576624563\ 1965136449713276979052695583*c_0101_6^16 - 1425691704664423779085013674299344218040045643124/28147368397402729\ 2440570716634808553228077287*c_0101_6^15 - 309972231778808817951352352610967781343117961240/844421051922081877\ 321712149904425659684231861*c_0101_6^14 + 12365208405681744880302414928459602011965358275402/8444210519220818\ 77321712149904425659684231861*c_0101_6^13 + 16144960206355309666892054767509245496527589455150/2533263155766245\ 631965136449713276979052695583*c_0101_6^12 - 17028604202072150079724583775226286048790999291094/8444210519220818\ 77321712149904425659684231861*c_0101_6^11 - 42848349497312834846059209974856553550712953366182/2533263155766245\ 631965136449713276979052695583*c_0101_6^10 + 31101731369731527096881734748247080557293766545535/2533263155766245\ 631965136449713276979052695583*c_0101_6^9 + 38397248024158433976296250411848208441121808774110/2533263155766245\ 631965136449713276979052695583*c_0101_6^8 - 491996977482310853409706330751955126263247729117/281473683974027292\ 440570716634808553228077287*c_0101_6^7 - 14113504147730892864643954183213219274781087229843/2533263155766245\ 631965136449713276979052695583*c_0101_6^6 + 291521871435919014928477678062425670243994466200/844421051922081877\ 321712149904425659684231861*c_0101_6^5 + 261874391781443924893171042334948783354789265863/281473683974027292\ 440570716634808553228077287*c_0101_6^4 - 247891389327507680050073424870227191238316667507/253326315576624563\ 1965136449713276979052695583*c_0101_6^3 - 134400705040037164630868080905374685930480405950/253326315576624563\ 1965136449713276979052695583*c_0101_6^2 + 1008425099837478740632482622117528723680978977/28147368397402729244\ 0570716634808553228077287*c_0101_6 + 1797992445763784299560858425827740438774614675/25332631557662456319\ 65136449713276979052695583, c_0011_4 - 315159699560356113723083746841403415273583269/25332631557662\ 45631965136449713276979052695583*c_0101_6^23 - 479372952611896731170530192015965708307160990/253326315576624563196\ 5136449713276979052695583*c_0101_6^22 + 9495119331188314675476791944702889083762951393/25332631557662456319\ 65136449713276979052695583*c_0101_6^21 + 124453962343131404218986461525532716467388681/538992160801328857864\ 92264887516531469206289*c_0101_6^20 - 38239753650334303256373875732195140082541416956/8444210519220818773\ 21712149904425659684231861*c_0101_6^19 + 28440070959732191557615149574653201485759637107/2533263155766245631\ 965136449713276979052695583*c_0101_6^18 + 84484825697161594848903121886209337452380047755/2814736839740272924\ 40570716634808553228077287*c_0101_6^17 - 575317250001306584876349563567300840472509177362/253326315576624563\ 1965136449713276979052695583*c_0101_6^16 - 393359229448354947401817999251156653292281484652/281473683974027292\ 440570716634808553228077287*c_0101_6^15 + 717817990539188175674976428267333158324313355692/844421051922081877\ 321712149904425659684231861*c_0101_6^14 + 10780421222203774463344224115879363282688966380183/2533263155766245\ 631965136449713276979052695583*c_0101_6^13 - 2426074020142652647640559354051757432527845045414/25332631557662456\ 31965136449713276979052695583*c_0101_6^12 - 18309765105220694450147826093673813246636093586612/2533263155766245\ 631965136449713276979052695583*c_0101_6^11 - 333216719923289241293898094456275277206633790288/281473683974027292\ 440570716634808553228077287*c_0101_6^10 + 18182561073000197935945208925739214583783047990944/2533263155766245\ 631965136449713276979052695583*c_0101_6^9 + 6552149719148488132713216782294237524539220414817/25332631557662456\ 31965136449713276979052695583*c_0101_6^8 - 9074601760865266212471390546465569086922356976711/25332631557662456\ 31965136449713276979052695583*c_0101_6^7 - 4504290352778518808353059969893254034323112609831/25332631557662456\ 31965136449713276979052695583*c_0101_6^6 + 904622368285526072005506519505875958189557972724/844421051922081877\ 321712149904425659684231861*c_0101_6^5 + 897262985748416534344090419180975988021737020623/253326315576624563\ 1965136449713276979052695583*c_0101_6^4 - 155981075494281869080940715192389938915968309373/844421051922081877\ 321712149904425659684231861*c_0101_6^3 - 58178635483782081713353583623967194644193333198/2533263155766245631\ 965136449713276979052695583*c_0101_6^2 + 24486326197472922051323460525631184269891337023/2533263155766245631\ 965136449713276979052695583*c_0101_6 + 1849635471431100585596407168614157794386614315/25332631557662456319\ 65136449713276979052695583, c_0101_0 + 1808257146831924066964754192506475189333383940/2533263155766\ 245631965136449713276979052695583*c_0101_6^23 + 1348438137627374299352062840600665150560040176/84442105192208187732\ 1712149904425659684231861*c_0101_6^22 - 17125519584054017762072876913430929823610628044/8444210519220818773\ 21712149904425659684231861*c_0101_6^21 - 495170099735098142621995196724463638557464048/179664053600442952621\ 64088295838843823068763*c_0101_6^20 + 602531389494978549443486328193247804855088534689/253326315576624563\ 1965136449713276979052695583*c_0101_6^19 + 86107038261294866732121202060507097287570395914/8444210519220818773\ 21712149904425659684231861*c_0101_6^18 - 4111869263916698351629333464322650921082193771486/25332631557662456\ 31965136449713276979052695583*c_0101_6^17 + 409254561075300284417559150860205020377959254614/253326315576624563\ 1965136449713276979052695583*c_0101_6^16 + 2238603170125022767673392039839180331789111549907/28147368397402729\ 2440570716634808553228077287*c_0101_6^15 + 653748108719920824434335900821587009819987263382/844421051922081877\ 321712149904425659684231861*c_0101_6^14 - 58140300321562131050779995638898509864781621989750/2533263155766245\ 631965136449713276979052695583*c_0101_6^13 - 26732180121242208879056357068097531373686088252274/2533263155766245\ 631965136449713276979052695583*c_0101_6^12 + 79392934668082842512706898227289048489928552945740/2533263155766245\ 631965136449713276979052695583*c_0101_6^11 + 68910425370717746935777400804964875517358860307132/2533263155766245\ 631965136449713276979052695583*c_0101_6^10 - 15680357695535498187746009736520295211147990882500/8444210519220818\ 77321712149904425659684231861*c_0101_6^9 - 60856751680568191646499910261262311636927856952902/2533263155766245\ 631965136449713276979052695583*c_0101_6^8 + 5735308406895955569808471329566828599464270001780/25332631557662456\ 31965136449713276979052695583*c_0101_6^7 + 21900918551711942263159876411835663336608703224787/2533263155766245\ 631965136449713276979052695583*c_0101_6^6 - 395306619662343261616173247150067681398897462012/844421051922081877\ 321712149904425659684231861*c_0101_6^5 - 3686409607741558963401478772700098917561074283073/25332631557662456\ 31965136449713276979052695583*c_0101_6^4 + 412828316136690251339839333039793684643854282050/253326315576624563\ 1965136449713276979052695583*c_0101_6^3 + 209987818743331643424687280790906556423243977743/253326315576624563\ 1965136449713276979052695583*c_0101_6^2 - 18420920031397561317950805953466692589617538266/2533263155766245631\ 965136449713276979052695583*c_0101_6 - 2624233263450844973264587805146457368037539399/25332631557662456319\ 65136449713276979052695583, c_0101_1 - 319109755975937698644659489115249977941923736/84442105192208\ 1877321712149904425659684231861*c_0101_6^23 - 218069221160714168716550167518262818134401642/281473683974027292440\ 570716634808553228077287*c_0101_6^22 + 9212561129059666551160303821969503882380479694/84442105192208187732\ 1712149904425659684231861*c_0101_6^21 + 226770253907883358304265274186867767806164427/179664053600442952621\ 64088295838843823068763*c_0101_6^20 - 108975922912995304616386700961552821344967811617/844421051922081877\ 321712149904425659684231861*c_0101_6^19 - 26315324345802998034609675688534455079900380392/8444210519220818773\ 21712149904425659684231861*c_0101_6^18 + 738069992188000799862158588187181044754150489820/844421051922081877\ 321712149904425659684231861*c_0101_6^17 - 204601083595068937948669802125130085363901222147/844421051922081877\ 321712149904425659684231861*c_0101_6^16 - 1189677853554677534091790603788245216570731113050/28147368397402729\ 2440570716634808553228077287*c_0101_6^15 + 310906407502052955041476410197985156287390397206/844421051922081877\ 321712149904425659684231861*c_0101_6^14 + 10461065212748650878682205733219309355263619003847/8444210519220818\ 77321712149904425659684231861*c_0101_6^13 + 955337244812834944946041834400399002454404656761/281473683974027292\ 440570716634808553228077287*c_0101_6^12 - 5089957655121479062093696981771869556583351582364/28147368397402729\ 2440570716634808553228077287*c_0101_6^11 - 9874287218577280218384698577251397006111978762349/84442105192208187\ 7321712149904425659684231861*c_0101_6^10 + 3666926930217752372842749913019457941427166295331/28147368397402729\ 2440570716634808553228077287*c_0101_6^9 + 9834247144377376022999942279934856082464151666666/84442105192208187\ 7321712149904425659684231861*c_0101_6^8 - 3104523205553253529373157238258632177586730581438/84442105192208187\ 7321712149904425659684231861*c_0101_6^7 - 1379610463652446515301995607444561875745174641413/28147368397402729\ 2440570716634808553228077287*c_0101_6^6 + 801546976857457979532536090914137729219716518061/844421051922081877\ 321712149904425659684231861*c_0101_6^5 + 721256801603009374308984456560144723893479255068/844421051922081877\ 321712149904425659684231861*c_0101_6^4 - 165073040886002705451819161417007787030875398230/844421051922081877\ 321712149904425659684231861*c_0101_6^3 - 14182515114781570559969083000980822071228080893/2814736839740272924\ 40570716634808553228077287*c_0101_6^2 + 2542105235234547720881413592413258502730048063/28147368397402729244\ 0570716634808553228077287*c_0101_6 + 326881857090266464929563539757709753919607134/281473683974027292440\ 570716634808553228077287, c_0101_5 - 245910693398646166089636233930265513726447140/25332631557662\ 45631965136449713276979052695583*c_0101_6^23 - 81733365356551998970991633234830931994370338/2814736839740272924405\ 70716634808553228077287*c_0101_6^22 + 2177945055645500009524881567125437779420295687/84442105192208187732\ 1712149904425659684231861*c_0101_6^21 + 104061135392096475856153755992893824149937853/179664053600442952621\ 64088295838843823068763*c_0101_6^20 - 73713904351863240308723853697655120888533774397/2533263155766245631\ 965136449713276979052695583*c_0101_6^19 - 31760516290611517335990372928704043164743933432/8444210519220818773\ 21712149904425659684231861*c_0101_6^18 + 520328848234320094433799161801592563840674881386/253326315576624563\ 1965136449713276979052695583*c_0101_6^17 + 358632738600962027771183797520389128543980644073/253326315576624563\ 1965136449713276979052695583*c_0101_6^16 - 899045253594124804448579912142177967142326618597/844421051922081877\ 321712149904425659684231861*c_0101_6^15 - 775946769323385572123792110029156946387802783335/844421051922081877\ 321712149904425659684231861*c_0101_6^14 + 7286138089516879912627407258043825227041404070084/25332631557662456\ 31965136449713276979052695583*c_0101_6^13 + 9486706955001249955132619201625297184549778796181/25332631557662456\ 31965136449713276979052695583*c_0101_6^12 - 6869981180031736632198587748163324048031049191983/25332631557662456\ 31965136449713276979052695583*c_0101_6^11 - 16758899196262346393168006407925018613771499170448/2533263155766245\ 631965136449713276979052695583*c_0101_6^10 - 720241122663667969552346941534594198693898889866/844421051922081877\ 321712149904425659684231861*c_0101_6^9 + 11443974661471084298697112477519239703160664489263/2533263155766245\ 631965136449713276979052695583*c_0101_6^8 + 6122581256812259452075783311123929391026003186906/25332631557662456\ 31965136449713276979052695583*c_0101_6^7 - 2259493659761456019854156020538339790955131148838/25332631557662456\ 31965136449713276979052695583*c_0101_6^6 - 663078470593957536571120286820929675175470311192/844421051922081877\ 321712149904425659684231861*c_0101_6^5 + 229015788086235870292385520520428122196705276983/253326315576624563\ 1965136449713276979052695583*c_0101_6^4 + 305573549122012978482434477821868550716623543460/253326315576624563\ 1965136449713276979052695583*c_0101_6^3 - 4326970595773739318748637985636258835172352794/25332631557662456319\ 65136449713276979052695583*c_0101_6^2 - 20893263351695060162338823285789853210827082064/2533263155766245631\ 965136449713276979052695583*c_0101_6 - 1115888980940470840233116387960901556977160505/25332631557662456319\ 65136449713276979052695583, c_0101_6^24 + 2*c_0101_6^23 - 29*c_0101_6^22 - 32*c_0101_6^21 + 344*c_0101_6^20 + 66*c_0101_6^19 - 2327*c_0101_6^18 + 758*c_0101_6^17 + 11219*c_0101_6^16 - 1575*c_0101_6^15 - 33049*c_0101_6^14 - 7198*c_0101_6^13 + 49260*c_0101_6^12 + 28476*c_0101_6^11 - 37605*c_0101_6^10 - 29571*c_0101_6^9 + 12727*c_0101_6^8 + 13223*c_0101_6^7 - 3788*c_0101_6^6 - 2560*c_0101_6^5 + 780*c_0101_6^4 + 176*c_0101_6^3 - 56*c_0101_6^2 - 4*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB