Magma V2.19-8 Tue Aug 20 2013 16:14:15 on localhost [Seed = 3482211299] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s223 geometric_solution 4.37692334 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 6 1 2 3 3 0132 0132 0132 1230 0 0 0 0 0 -1 0 1 -1 0 0 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 1 0 -1 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.380398586013 0.657520638699 0 1 3 1 0132 1302 0321 2031 0 0 0 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 -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.380398586013 0.657520638699 3 0 4 4 1230 0132 2310 0132 0 0 0 0 0 1 -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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.770498275524 2.601629995793 0 2 1 0 3012 3012 0321 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 -1 1 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.759092844546 0.805548858847 5 2 2 5 0132 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.145250810963 0.192076500687 4 4 5 5 0132 2310 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5.371708534101 3.396254411514 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(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_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : 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_5' : d['c_0101_5'], 'c_1100_4' : d['c_0011_4'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : 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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0011_3'], 'c_0110_4' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_3, c_0011_4, c_0101_0, c_0101_2, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 196658812666126819914971235338877/94939399119826173144630403700800*\ c_0101_5^19 - 63096404326780860268974596010283/94939399119826173144\ 630403700800*c_0101_5^18 - 903991743389721460737484382147191/949393\ 9911982617314463040370080*c_0101_5^17 + 5300901643795964218744650155652131/18987879823965234628926080740160\ *c_0101_5^16 + 1742011608143300667552198651443887/13562771302832310\ 449232914814400*c_0101_5^15 - 38325907488068396540011011697923259/2\ 3734849779956543286157600925200*c_0101_5^14 + 101744608632057530899060949389449161/474696995599130865723152018504\ 00*c_0101_5^13 + 193036141584740471593314419434127601/9493939911982\ 6173144630403700800*c_0101_5^12 - 496894990712222437684833900915677\ 701/94939399119826173144630403700800*c_0101_5^11 - 252148476552435672163415516295182563/949393991198261731446304037008\ 00*c_0101_5^10 + 429932516918422858217938124835161989/9493939911982\ 6173144630403700800*c_0101_5^9 + 3433132811720912831838193109930535\ 3/9493939911982617314463040370080*c_0101_5^8 - 39229670649379424387662414490446079/4746969955991308657231520185040\ 0*c_0101_5^7 - 50266347712998112478848385871429531/9493939911982617\ 3144630403700800*c_0101_5^6 + 4625443526448997268695446372410223/18\ 987879823965234628926080740160*c_0101_5^5 + 25508056803585691894720420480465701/9493939911982617314463040370080\ 0*c_0101_5^4 - 239668690970042075161917986828521/339069282570807761\ 2308228703600*c_0101_5^3 + 1179617106076987542326477901147669/94939\ 399119826173144630403700800*c_0101_5^2 - 1047794543446087207262240401296971/94939399119826173144630403700800\ *c_0101_5 + 835713384911821936789929646445719/474696995599130865723\ 15201850400, c_0011_0 - 1, c_0011_3 - 13849593674086589523365019317/847673206427019403077057175900\ *c_0101_5^19 + 532645686097413794336427292/211918301606754850769264\ 293975*c_0101_5^18 + 129778612864619728068573878077/169534641285403\ 880615411435180*c_0101_5^17 - 352769176771498757796415203301/169534\ 641285403880615411435180*c_0101_5^16 - 849490015898816641402516631007/423836603213509701538528587950*c_010\ 1_5^15 + 12200008753858710504618740165381/8476732064270194030770571\ 75900*c_0101_5^14 - 2962189400947698302428117703103/211918301606754\ 850769264293975*c_0101_5^13 - 24787355148880235703328445150371/8476\ 73206427019403077057175900*c_0101_5^12 + 22263757142480783403213843152973/423836603213509701538528587950*c_0\ 101_5^11 + 8550733799008238172524745361637/211918301606754850769264\ 293975*c_0101_5^10 - 13679648911939035513111019100736/2119183016067\ 54850769264293975*c_0101_5^9 - 8839206794442842171844784697211/1695\ 34641285403880615411435180*c_0101_5^8 + 11871329919089983540868117503459/423836603213509701538528587950*c_0\ 101_5^7 + 25187926840030668488838138918751/847673206427019403077057\ 175900*c_0101_5^6 - 168207683858592830266683625292/4238366032135097\ 0153852858795*c_0101_5^5 - 1363588193241182691758908686499/21191830\ 1606754850769264293975*c_0101_5^4 + 1661077842968660119379147065523/847673206427019403077057175900*c_01\ 01_5^3 + 2610583798921349781834447858751/84767320642701940307705717\ 5900*c_0101_5^2 - 19665906554799050222770571021/2119183016067548507\ 69264293975*c_0101_5 + 253887959025492339845592298027/8476732064270\ 19403077057175900, c_0011_4 - 8889284382380161209798/416608446663891189402397*c_0101_5^19 + 13673252189117204494043/416608446663891189402397*c_0101_5^18 + 807054775163895649760271/833216893327782378804794*c_0101_5^17 - 1690338715774207979420130/416608446663891189402397*c_0101_5^16 + 1962412928913310638629259/833216893327782378804794*c_0101_5^15 + 7170112327275929412026402/416608446663891189402397*c_0101_5^14 - 17159148595362079121912359/416608446663891189402397*c_0101_5^13 + 4157223148557747760325733/416608446663891189402397*c_0101_5^12 + 27831680824932274474286860/416608446663891189402397*c_0101_5^11 - 26827660687372421651404001/833216893327782378804794*c_0101_5^10 - 23666194939495703859955632/416608446663891189402397*c_0101_5^9 - 1067132459150202231253082/416608446663891189402397*c_0101_5^8 + 23487602612852789689767751/833216893327782378804794*c_0101_5^7 + 7431913807403696225122169/833216893327782378804794*c_0101_5^6 + 5658141670288485196978705/416608446663891189402397*c_0101_5^5 + 625105434044589216469159/416608446663891189402397*c_0101_5^4 + 523193538918698615018489/833216893327782378804794*c_0101_5^3 - 129294643522036398932117/416608446663891189402397*c_0101_5^2 + 1842228352534720126951583/833216893327782378804794*c_0101_5 - 43648184358681691425310/416608446663891189402397, c_0101_0 - 28850868055051748049850273187/847673206427019403077057175900\ *c_0101_5^19 + 16145136846460762784801463737/2119183016067548507692\ 64293975*c_0101_5^18 + 267557886139091154398999779717/1695346412854\ 03880615411435180*c_0101_5^17 - 1287522256937690543860207665591/169\ 534641285403880615411435180*c_0101_5^16 + 1079078074853802356613141346524/211918301606754850769264293975*c_01\ 01_5^15 + 29726205184326146924148230285891/847673206427019403077057\ 175900*c_0101_5^14 - 17665349532889704513144427405358/2119183016067\ 54850769264293975*c_0101_5^13 + 6037888053611833209830844426919/847\ 673206427019403077057175900*c_0101_5^12 + 77587065592062307099341793705203/423836603213509701538528587950*c_0\ 101_5^11 - 34947880096819731276374960741661/42383660321350970153852\ 8587950*c_0101_5^10 - 51789362987528864350837494447396/211918301606\ 754850769264293975*c_0101_5^9 + 5290533203182032753908797786619/169\ 534641285403880615411435180*c_0101_5^8 + 42309868729653162522324604108637/211918301606754850769264293975*c_0\ 101_5^7 + 40595859118273937346544921947911/847673206427019403077057\ 175900*c_0101_5^6 - 1018539562554929173025860229417/423836603213509\ 70153852858795*c_0101_5^5 - 844525850956091933268639942764/21191830\ 1606754850769264293975*c_0101_5^4 + 7045014394713549777293851320903/847673206427019403077057175900*c_01\ 01_5^3 - 1167782282071206600332825454739/84767320642701940307705717\ 5900*c_0101_5^2 + 27373658337594948446578021913/4238366032135097015\ 38528587950*c_0101_5 - 474509462984786499692635384503/8476732064270\ 19403077057175900, c_0101_2 + 63127442493015744346385/1666433786655564757609588*c_0101_5^1\ 9 - 79450026710660873605787/1666433786655564757609588*c_0101_5^18 - 723630480592904375205894/416608446663891189402397*c_0101_5^17 + 11213666739312243511277761/1666433786655564757609588*c_0101_5^16 - 3535538432158020944696381/1666433786655564757609588*c_0101_5^15 - 26785850331014820439421923/833216893327782378804794*c_0101_5^14 + 54443513125705012080147501/833216893327782378804794*c_0101_5^13 + 6418580538158109258192745/1666433786655564757609588*c_0101_5^12 - 215422771774656423181299665/1666433786655564757609588*c_0101_5^11 + 49585016571368389975757059/1666433786655564757609588*c_0101_5^10 + 206645844728881176622336763/1666433786655564757609588*c_0101_5^9 + 16001077411606973303508733/833216893327782378804794*c_0101_5^8 - 22357057566777843990342540/416608446663891189402397*c_0101_5^7 - 40780612794361938998971075/1666433786655564757609588*c_0101_5^6 - 39915903156377312639898259/1666433786655564757609588*c_0101_5^5 - 9756854420123749453162459/1666433786655564757609588*c_0101_5^4 - 737409303651948977872241/833216893327782378804794*c_0101_5^3 + 449342587003926832767907/1666433786655564757609588*c_0101_5^2 - 2711679340011181540040505/1666433786655564757609588*c_0101_5 + 217071037382524553597855/416608446663891189402397, c_0101_5^20 - 46*c_0101_5^18 + 120*c_0101_5^17 + 102*c_0101_5^16 - 750*c_0101_5^15 + 789*c_0101_5^14 + 1257*c_0101_5^13 - 2136*c_0101_5^12 - 2021*c_0101_5^11 + 1581*c_0101_5^10 + 2368*c_0101_5^9 + 331*c_0101_5^8 - 269*c_0101_5^7 + 8*c_0101_5^6 + 143*c_0101_5^5 + 8*c_0101_5^4 - 4*c_0101_5^3 - 10*c_0101_5^2 + 2*c_0101_5 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.010 Total time: 0.210 seconds, Total memory usage: 32.09MB