Magma V2.19-8 Tue Aug 20 2013 16:16:19 on localhost [Seed = 475889919] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0582 geometric_solution 4.60064865 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 1023 0 0 0 0 0 1 -1 0 0 0 0 0 -1 1 0 0 1 0 -1 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.258331780789 0.114538396483 0 2 2 0 0132 0132 1023 1023 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 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 1.366286282578 0.344953715245 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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.401487604635 0.734262568475 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 -1 1 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 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.108441660102 0.662301094260 3 5 2 3 2310 1023 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 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 -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.108441660102 0.662301094260 4 6 3 6 1023 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.938296270449 1.135384205006 6 5 6 5 2031 0132 1302 1023 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 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.432574025305 0.313091695351 ==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' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_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_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0110_6'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : 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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 634969062337385382454852987783550230/209241991351503982423951581131\ 871*c_0110_6^20 + 1649480412833989433346521507123626807/20924199135\ 1503982423951581131871*c_0110_6^19 - 3153528231403576943329546815048413066/20924199135150398242395158113\ 1871*c_0110_6^18 - 6555355555831594773721788796927833352/6974733045\ 0501327474650527043957*c_0110_6^17 + 179373960712550981166799717485924858365/209241991351503982423951581\ 131871*c_0110_6^16 + 196897347407092118932423732536540937015/697473\ 30450501327474650527043957*c_0110_6^15 + 93197766668495934484712134530982092492/6974733045050132747465052704\ 3957*c_0110_6^14 - 1271401476398985156700382833380610779394/2092419\ 91351503982423951581131871*c_0110_6^13 - 1215884824111921380273815921894909247568/20924199135150398242395158\ 1131871*c_0110_6^12 + 851187745284882616874392160565642167814/69747\ 330450501327474650527043957*c_0110_6^11 + 1242481190893075882967570760959097606905/20924199135150398242395158\ 1131871*c_0110_6^10 - 4155636340076775148985459211746004055049/2092\ 41991351503982423951581131871*c_0110_6^9 + 499675998624751339487951639833252613128/209241991351503982423951581\ 131871*c_0110_6^8 + 3390288140797519472110941058484363121173/209241\ 991351503982423951581131871*c_0110_6^7 - 2031104111777748333476441029624117433651/20924199135150398242395158\ 1131871*c_0110_6^6 - 267164300441934936208088721980340007747/697473\ 30450501327474650527043957*c_0110_6^5 + 488768490075065800699026172065186505379/697473304505013274746505270\ 43957*c_0110_6^4 - 260784408590899917183980617699240724134/69747330\ 450501327474650527043957*c_0110_6^3 + 217521862212383366140473979818388920046/209241991351503982423951581\ 131871*c_0110_6^2 - 31198867717509146287675217147061853192/20924199\ 1351503982423951581131871*c_0110_6 + 1743287882976154236068160271208216407/20924199135150398242395158113\ 1871, c_0011_0 - 1, c_0011_4 + 2569574717252159452311916933215477/6974733045050132747465052\ 7043957*c_0110_6^20 - 6584899938831483402325183223751451/6974733045\ 0501327474650527043957*c_0110_6^19 + 12542594834530155012986332679836660/6974733045050132747465052704395\ 7*c_0110_6^18 + 79989945034300754260280811509626465/697473304505013\ 27474650527043957*c_0110_6^17 - 72301522225225853035172252960333103\ 7/69747330450501327474650527043957*c_0110_6^16 - 2415400369286198711851002109569862057/69747330450501327474650527043\ 957*c_0110_6^15 - 1219723985067035733037303989587893421/69747330450\ 501327474650527043957*c_0110_6^14 + 5091735621929304314610775420170897738/69747330450501327474650527043\ 957*c_0110_6^13 + 5097625275265769746408480221908272720/69747330450\ 501327474650527043957*c_0110_6^12 - 10124564843091616584461699290655997423/6974733045050132747465052704\ 3957*c_0110_6^11 - 5360949353200851549822156113285623547/6974733045\ 0501327474650527043957*c_0110_6^10 + 16569269360638746012003901391178679788/6974733045050132747465052704\ 3957*c_0110_6^9 - 1464895118997701170910713422808367758/69747330450\ 501327474650527043957*c_0110_6^8 - 13677579827435517456365373051914894926/6974733045050132747465052704\ 3957*c_0110_6^7 + 7726338809391178482231510821418643281/69747330450\ 501327474650527043957*c_0110_6^6 + 3434776699040762881930547194222814847/69747330450501327474650527043\ 957*c_0110_6^5 - 5769415492646931650986790117340974458/697473304505\ 01327474650527043957*c_0110_6^4 + 298625373905200014451130066718376\ 9242/69747330450501327474650527043957*c_0110_6^3 - 807842704776823236393234278901687443/697473304505013274746505270439\ 57*c_0110_6^2 + 112297540805194735053536977376347937/69747330450501\ 327474650527043957*c_0110_6 - 6137730992234309006289159202699340/69\ 747330450501327474650527043957, c_0101_0 + 3025113969475868487705894406406911/6974733045050132747465052\ 7043957*c_0110_6^20 - 7570327480069638690835590256682368/6974733045\ 0501327474650527043957*c_0110_6^19 + 14354146835132942935145891891088132/6974733045050132747465052704395\ 7*c_0110_6^18 + 94942032862517733676268696765742117/697473304505013\ 27474650527043957*c_0110_6^17 - 84530951930177167039644045821078348\ 1/69747330450501327474650527043957*c_0110_6^16 - 2893030138021356935658461225148313493/69747330450501327474650527043\ 957*c_0110_6^15 - 1621533656930131574707636510975740218/69747330450\ 501327474650527043957*c_0110_6^14 + 5851145094026863581033798986377866063/69747330450501327474650527043\ 957*c_0110_6^13 + 6312343627095970376475865662023317208/69747330450\ 501327474650527043957*c_0110_6^12 - 11473462633664231073142887030484734332/6974733045050132747465052704\ 3957*c_0110_6^11 - 6888239131096748771892992743234079258/6974733045\ 0501327474650527043957*c_0110_6^10 + 18973119158952258692176797740131189836/6974733045050132747465052704\ 3957*c_0110_6^9 - 721490593998972817728184385904605091/697473304505\ 01327474650527043957*c_0110_6^8 - 159296432725173250941475083105166\ 32912/69747330450501327474650527043957*c_0110_6^7 + 8202268636349591843817351531022892012/69747330450501327474650527043\ 957*c_0110_6^6 + 4340425451210910293157923802606344609/697473304505\ 01327474650527043957*c_0110_6^5 - 648302629312751599037330984492995\ 9400/69747330450501327474650527043957*c_0110_6^4 + 3198941468820257792458248054709458168/69747330450501327474650527043\ 957*c_0110_6^3 - 824029057721156262613815813711925020/6974733045050\ 1327474650527043957*c_0110_6^2 + 1069868035768180739081085775121681\ 97/69747330450501327474650527043957*c_0110_6 - 5263269278408813846504334399661795/69747330450501327474650527043957\ , c_0101_1 + 1483761188905621869375608795775906/6974733045050132747465052\ 7043957*c_0110_6^20 - 3712596637003525106927173251274192/6974733045\ 0501327474650527043957*c_0110_6^19 + 7040453629633463337390372089641179/69747330450501327474650527043957\ *c_0110_6^18 + 46564730961633895052626840481447831/6974733045050132\ 7474650527043957*c_0110_6^17 - 414583601522876819549430694859159772\ /69747330450501327474650527043957*c_0110_6^16 - 1419083002074888121396232917845083336/69747330450501327474650527043\ 957*c_0110_6^15 - 796233399105843265740951024234691382/697473304505\ 01327474650527043957*c_0110_6^14 + 2868810399981414566435024581719743481/69747330450501327474650527043\ 957*c_0110_6^13 + 3098436295294387141796610301485549710/69747330450\ 501327474650527043957*c_0110_6^12 - 5621295714724640506336386416052747443/69747330450501327474650527043\ 957*c_0110_6^11 - 3379178275940045305740124777741574935/69747330450\ 501327474650527043957*c_0110_6^10 + 9294554100805986343773944342532884160/69747330450501327474650527043\ 957*c_0110_6^9 - 351488662841335935242996930835844252/6974733045050\ 1327474650527043957*c_0110_6^8 - 7798268354303729949632699419117283\ 571/69747330450501327474650527043957*c_0110_6^7 + 4014752207533362460749015435285397643/69747330450501327474650527043\ 957*c_0110_6^6 + 2117678171275535819036352629558005778/697473304505\ 01327474650527043957*c_0110_6^5 - 316997631137692113449379921199496\ 7522/69747330450501327474650527043957*c_0110_6^4 + 1571120522664510548610228274483271079/69747330450501327474650527043\ 957*c_0110_6^3 - 409420156895350140318212253577320235/6974733045050\ 1327474650527043957*c_0110_6^2 + 5480076123715035475471260314289794\ 7/69747330450501327474650527043957*c_0110_6 - 2957274395788490659219543659260323/69747330450501327474650527043957\ , c_0101_2 - 4049771361158442454365237390179273/6974733045050132747465052\ 7043957*c_0110_6^20 + 10341600831129270678464448056747868/697473304\ 50501327474650527043957*c_0110_6^19 - 19704554259187645298132221848072429/6974733045050132747465052704395\ 7*c_0110_6^18 - 126189246011975062437362423577237081/69747330450501\ 327474650527043957*c_0110_6^17 + 1138262507844705494819395286349666\ 880/69747330450501327474650527043957*c_0110_6^16 + 3816035441067463818067918428515316472/69747330450501327474650527043\ 957*c_0110_6^15 + 1964518983336548514906752085757992507/69747330450\ 501327474650527043957*c_0110_6^14 - 7973415267098131175437421245281379224/69747330450501327474650527043\ 957*c_0110_6^13 - 8069016358253115196419613191274119310/69747330450\ 501327474650527043957*c_0110_6^12 + 15847576999641529103956637325767119030/6974733045050132747465052704\ 3957*c_0110_6^11 + 8504358009017051704886550971541140072/6974733045\ 0501327474650527043957*c_0110_6^10 - 25977144289989457767728889977066894830/6974733045050132747465052704\ 3957*c_0110_6^9 + 2184940768675507568828780404703854143/69747330450\ 501327474650527043957*c_0110_6^8 + 21455279163932860714252871705550322698/6974733045050132747465052704\ 3957*c_0110_6^7 - 12057947175666651563362038814215392206/6974733045\ 0501327474650527043957*c_0110_6^6 - 5406424610285598546673085243196000656/69747330450501327474650527043\ 957*c_0110_6^5 + 9039708441910360593135342352006989768/697473304505\ 01327474650527043957*c_0110_6^4 - 467506674712999521528238520725130\ 0038/69747330450501327474650527043957*c_0110_6^3 + 1263165489092349370336811180426734860/69747330450501327474650527043\ 957*c_0110_6^2 - 175021595435169500006195965570354166/6974733045050\ 1327474650527043957*c_0110_6 + 9461605725720781509168311068561794/6\ 9747330450501327474650527043957, c_0101_3 + 66528179924211415988761022577888/697473304505013274746505270\ 43957*c_0110_6^20 - 152863284403255512681062242331751/6974733045050\ 1327474650527043957*c_0110_6^19 + 291013846210593659185394393903955\ /69747330450501327474650527043957*c_0110_6^18 + 2136035219999432906040777653460860/69747330450501327474650527043957\ *c_0110_6^17 - 18130942153653429618381874453634438/6974733045050132\ 7474650527043957*c_0110_6^16 - 67109209855616717051271402640315587/\ 69747330450501327474650527043957*c_0110_6^15 - 51087403803364843975555575895113608/6974733045050132747465052704395\ 7*c_0110_6^14 + 110539759482926068387136547561924981/69747330450501\ 327474650527043957*c_0110_6^13 + 1522560854373389196793722184434620\ 60/69747330450501327474650527043957*c_0110_6^12 - 214256091854334996192005559916141901/697473304505013274746505270439\ 57*c_0110_6^11 - 174967110534736719724276924197380305/6974733045050\ 1327474650527043957*c_0110_6^10 + 370741855873969033705966247286246\ 904/69747330450501327474650527043957*c_0110_6^9 + 33813980671076284092475457624857186/6974733045050132747465052704395\ 7*c_0110_6^8 - 320004307260345477230558331945316107/697473304505013\ 27474650527043957*c_0110_6^7 + 134968301784841511868625331672432514\ /69747330450501327474650527043957*c_0110_6^6 + 99826966010799497116172416040566946/6974733045050132747465052704395\ 7*c_0110_6^5 - 124654422279557793912754792612610839/697473304505013\ 27474650527043957*c_0110_6^4 + 55998211200748341040776465074342060/\ 69747330450501327474650527043957*c_0110_6^3 - 12164738248354762353059614262591547/6974733045050132747465052704395\ 7*c_0110_6^2 + 1007155484871108477531068703757123/69747330450501327\ 474650527043957*c_0110_6 + 38164770608080058862149669778034/6974733\ 0450501327474650527043957, c_0110_6^21 - 3*c_0110_6^20 + 6*c_0110_6^19 + 29*c_0110_6^18 - 295*c_0110_6^17 - 817*c_0110_6^16 - 63*c_0110_6^15 + 2191*c_0110_6^14 + 1118*c_0110_6^13 - 4812*c_0110_6^12 - 367*c_0110_6^11 + 7369*c_0110_6^10 - 3386*c_0110_6^9 - 5087*c_0110_6^8 + 5336*c_0110_6^7 + 33*c_0110_6^6 - 2836*c_0110_6^5 + 2141*c_0110_6^4 - 818*c_0110_6^3 + 179*c_0110_6^2 - 21*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB