Magma V2.19-8 Tue Aug 20 2013 16:17:25 on localhost [Seed = 509575895] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1646 geometric_solution 5.38870323 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 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.097031113464 1.227849227841 0 5 5 2 0132 0132 1023 0213 0 0 0 0 0 0 -1 1 0 0 0 0 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 -1 0 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.765524405347 0.453159844524 3 0 4 1 0213 0132 2031 0213 0 0 0 0 0 1 0 -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 1 0 -1 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.595354373047 0.452898568241 2 6 6 0 0213 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 1 0 -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 0.098343438073 0.352569400655 4 4 0 2 1302 2031 0132 1302 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 0 0 0 0 0 0 0 0 0 0 0.388713686746 0.528569485880 5 1 1 5 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 1 -1 1 -1 0 0 0 -1 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 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.550555830163 0.520036930076 6 3 3 6 3201 0132 1023 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.764445497912 1.040604044005 ==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' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_3'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_4']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_3']), '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_4']), 'c_1001_4' : negation(d['c_0110_4']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_4']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0011_0'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : negation(d['c_0110_4'])})} 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_3, c_0011_4, c_0101_0, c_0101_5, c_0101_6, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 76256398388332487221214127574689/905063962194498894242962697726*c_0\ 110_4^22 - 46222891984105775278117212603821/45253198109724944712148\ 1348863*c_0110_4^21 + 561977275811740522136318077543546/45253198109\ 7249447121481348863*c_0110_4^20 + 614826969001928820085709558280036\ /452531981097249447121481348863*c_0110_4^19 - 6445601436552563961160851765909809/905063962194498894242962697726*c\ _0110_4^18 - 3579998362695248682327395432779516/4525319810972494471\ 21481348863*c_0110_4^17 + 10285985070515216103561755718519870/45253\ 1981097249447121481348863*c_0110_4^16 + 24857725234138906296820236592280373/905063962194498894242962697726*\ c_0110_4^15 - 40253140969605501621636409920414827/90506396219449889\ 4242962697726*c_0110_4^14 - 24326866102628285713467458794871296/452\ 531981097249447121481348863*c_0110_4^13 + 54655898867321858115606567779961067/905063962194498894242962697726*\ c_0110_4^12 + 68947054295687346537778506687208391/90506396219449889\ 4242962697726*c_0110_4^11 - 47785482402424734148338078753138467/905\ 063962194498894242962697726*c_0110_4^10 - 37333901091611020655727731202005319/452531981097249447121481348863*\ c_0110_4^9 - 6516757042190008657721206344851492/4525319810972494471\ 21481348863*c_0110_4^8 + 57158599254341311685390006792614935/905063\ 962194498894242962697726*c_0110_4^7 + 29695220102188205794144983074195593/905063962194498894242962697726*\ c_0110_4^6 - 32769436260279508622727913092209523/905063962194498894\ 242962697726*c_0110_4^5 - 14717060832735849011525946425795928/45253\ 1981097249447121481348863*c_0110_4^4 - 16041294041432787192031978400942829/905063962194498894242962697726*\ c_0110_4^3 + 1531025652456604832886696574431813/9050639621944988942\ 42962697726*c_0110_4^2 + 3851287490214188798596523188106599/9050639\ 62194498894242962697726*c_0110_4 - 196788697661450484410470570773144/452531981097249447121481348863, c_0011_0 - 1, c_0011_3 - 217885697063115299778337028986/45253198109724944712148134886\ 3*c_0110_4^22 - 521500633201174316803140326183/90506396219449889424\ 2962697726*c_0110_4^21 + 6424323547779604217424272657009/9050639621\ 94498894242962697726*c_0110_4^20 + 3459700251246809059774509393300/452531981097249447121481348863*c_01\ 10_4^19 - 36842833556248386176173191828401/905063962194498894242962\ 697726*c_0110_4^18 - 40243015978620966874394754425457/9050639621944\ 98894242962697726*c_0110_4^17 + 58811306347125535217519645933358/45\ 2531981097249447121481348863*c_0110_4^16 + 69814932736060538783066158714001/452531981097249447121481348863*c_0\ 110_4^15 - 115204947605992603017157899667175/4525319810972494471214\ 81348863*c_0110_4^14 - 136177558986837697684570635957634/4525319810\ 97249447121481348863*c_0110_4^13 + 313076840575662464341625044761869/905063962194498894242962697726*c_\ 0110_4^12 + 192485514417891671913149024857565/452531981097249447121\ 481348863*c_0110_4^11 - 274402963250337905494425712009769/905063962\ 194498894242962697726*c_0110_4^10 - 416436950986633194248522696647045/905063962194498894242962697726*c_\ 0110_4^9 - 36030360474203745845924424440970/45253198109724944712148\ 1348863*c_0110_4^8 + 321324050136448682272648946521059/905063962194\ 498894242962697726*c_0110_4^7 + 81854517474608697193984939207637/45\ 2531981097249447121481348863*c_0110_4^6 - 92371428852237794607511108150096/452531981097249447121481348863*c_0\ 110_4^5 - 163500482868799187004802897736081/90506396219449889424296\ 2697726*c_0110_4^4 - 45633304220137040117631814666425/4525319810972\ 49447121481348863*c_0110_4^3 + 7488256549362075505942070605645/9050\ 63962194498894242962697726*c_0110_4^2 + 20417663850293710363608109607073/905063962194498894242962697726*c_0\ 110_4 - 2594987474512869828398270823631/905063962194498894242962697\ 726, c_0011_4 + 230205477753248920124252648393/45253198109724944712148134886\ 3*c_0110_4^22 + 553177525490432836914684304421/90506396219449889424\ 2962697726*c_0110_4^21 - 6782396761509578346630489500143/9050639621\ 94498894242962697726*c_0110_4^20 - 7343370480197956722425083867551/905063962194498894242962697726*c_01\ 10_4^19 + 19426767877747615902642834674628/452531981097249447121481\ 348863*c_0110_4^18 + 21359628120726662187213868101051/4525319810972\ 49447121481348863*c_0110_4^17 - 61930778010617995258041342727066/45\ 2531981097249447121481348863*c_0110_4^16 - 148239053776981691348710191685543/905063962194498894242962697726*c_\ 0110_4^15 + 242087801407193574940876866878077/905063962194498894242\ 962697726*c_0110_4^14 + 144710612149331298994999121971144/452531981\ 097249447121481348863*c_0110_4^13 - 328132063437266123959528698762173/905063962194498894242962697726*c_\ 0110_4^12 - 204961372706441838408651586754631/452531981097249447121\ 481348863*c_0110_4^11 + 143187406490945524315016378470172/452531981\ 097249447121481348863*c_0110_4^10 + 222143377792600651675666758420659/452531981097249447121481348863*c_\ 0110_4^9 + 39786992876486863127403052275693/45253198109724944712148\ 1348863*c_0110_4^8 - 342472342443935829102462547791177/905063962194\ 498894242962697726*c_0110_4^7 - 87004763549754283743590789579767/45\ 2531981097249447121481348863*c_0110_4^6 + 97798311424793399162826646793389/452531981097249447121481348863*c_0\ 110_4^5 + 174659132039961211729007797241721/90506396219449889424296\ 2697726*c_0110_4^4 + 48349747018743362208275582129334/4525319810972\ 49447121481348863*c_0110_4^3 - 8577483786617929638681459289273/9050\ 63962194498894242962697726*c_0110_4^2 - 21145227308810002708565327281359/905063962194498894242962697726*c_0\ 110_4 + 1334681860336312775934833681707/452531981097249447121481348\ 863, c_0101_0 - 74376246159755723471396539783/905063962194498894242962697726\ *c_0110_4^22 - 99015807540022964163227778597/9050639621944988942429\ 62697726*c_0110_4^21 + 1083966800107077331959404118507/905063962194\ 498894242962697726*c_0110_4^20 + 1324964413806798534334371860313/90\ 5063962194498894242962697726*c_0110_4^19 - 6121139684354165062606830419953/905063962194498894242962697726*c_01\ 10_4^18 - 7663296907388280612938614544363/9050639621944988942429626\ 97726*c_0110_4^17 + 19092871123496802306672014760425/90506396219449\ 8894242962697726*c_0110_4^16 + 26246153543959209694849062789043/905\ 063962194498894242962697726*c_0110_4^15 - 35867806898673308853317256532693/905063962194498894242962697726*c_0\ 110_4^14 - 25437093960699817587993522004684/45253198109724944712148\ 1348863*c_0110_4^13 + 23225603947722092611857836473831/452531981097\ 249447121481348863*c_0110_4^12 + 35567456233029737557668322498343/4\ 52531981097249447121481348863*c_0110_4^11 - 36111181520059115979011435367711/905063962194498894242962697726*c_0\ 110_4^10 - 37558641360592876181411353603171/45253198109724944712148\ 1348863*c_0110_4^9 - 12474565499168817943713177571368/4525319810972\ 49447121481348863*c_0110_4^8 + 51169593415481031255974614219341/905\ 063962194498894242962697726*c_0110_4^7 + 38329205170390718951706201959991/905063962194498894242962697726*c_0\ 110_4^6 - 28003274621983024488557517243985/905063962194498894242962\ 697726*c_0110_4^5 - 16434567004199451629082226531177/45253198109724\ 9447121481348863*c_0110_4^4 - 20604432433451001605072260058081/9050\ 63962194498894242962697726*c_0110_4^3 - 262026675334383216087681650070/452531981097249447121481348863*c_011\ 0_4^2 + 4584910806764373135895026053429/905063962194498894242962697\ 726*c_0110_4 - 231228240019899615292563481121/452531981097249447121\ 481348863, c_0101_5 + 63489124356201491573739160351/905063962194498894242962697726\ *c_0110_4^22 + 36172460601102602080429404093/9050639621944988942429\ 62697726*c_0110_4^21 - 494735861062031440436691340452/4525319810972\ 49447121481348863*c_0110_4^20 - 431544042738899919459394817699/9050\ 63962194498894242962697726*c_0110_4^19 + 6082329302461965261333382953149/905063962194498894242962697726*c_01\ 10_4^18 + 1319603556771171966304271797091/4525319810972494471214813\ 48863*c_0110_4^17 - 21255431406370841236802905698065/90506396219449\ 8894242962697726*c_0110_4^16 - 10420212480506815126840238352601/905\ 063962194498894242962697726*c_0110_4^15 + 47575534504466520591617789526607/905063962194498894242962697726*c_0\ 110_4^14 + 10708235257914480489168328946175/45253198109724944712148\ 1348863*c_0110_4^13 - 36172878796221629620454849971655/452531981097\ 249447121481348863*c_0110_4^12 - 32953961384084701838205860527391/9\ 05063962194498894242962697726*c_0110_4^11 + 38296261665315367877639926692810/452531981097249447121481348863*c_0\ 110_4^10 + 21605358720950170990715423013163/45253198109724944712148\ 1348863*c_0110_4^9 - 26767702775091326550042799868609/9050639621944\ 98894242962697726*c_0110_4^8 - 30590611194071773264755823887015/452\ 531981097249447121481348863*c_0110_4^7 - 759174449998961339849510104255/905063962194498894242962697726*c_011\ 0_4^6 + 45821247318647662973957648385397/90506396219449889424296269\ 7726*c_0110_4^5 + 6770824037023176698317944899180/45253198109724944\ 7121481348863*c_0110_4^4 - 1567027110469923210746818520204/45253198\ 1097249447121481348863*c_0110_4^3 - 13398284399379080957822779154443/905063962194498894242962697726*c_0\ 110_4^2 - 5492532748996307677852808600531/9050639621944988942429626\ 97726*c_0110_4 + 1836665835684690529380446067323/905063962194498894\ 242962697726, c_0101_6 - 241984933415080205486384436197/90506396219449889424296269772\ 6*c_0110_4^22 - 272187395802846635103357568311/90506396219449889424\ 2962697726*c_0110_4^21 + 3601872159590168005380153723201/9050639621\ 94498894242962697726*c_0110_4^20 + 1799610749337692320428158429373/452531981097249447121481348863*c_01\ 10_4^19 - 10467371475224447542481121309550/452531981097249447121481\ 348863*c_0110_4^18 - 10523959895773265262494289576577/4525319810972\ 49447121481348863*c_0110_4^17 + 34025649302134829922026084190854/45\ 2531981097249447121481348863*c_0110_4^16 + 36919780470849820577572413142729/452531981097249447121481348863*c_0\ 110_4^15 - 137063778520356626173427785426697/9050639621944988942429\ 62697726*c_0110_4^14 - 72773646544625230135403041665820/45253198109\ 7249447121481348863*c_0110_4^13 + 95759020109016518135702844840085/\ 452531981097249447121481348863*c_0110_4^12 + 103970947100162898396899820916798/452531981097249447121481348863*c_\ 0110_4^11 - 176457415064278787960538794684441/905063962194498894242\ 962697726*c_0110_4^10 - 114898267889478984540243897147607/452531981\ 097249447121481348863*c_0110_4^9 - 16523778504746901081132216723217/905063962194498894242962697726*c_0\ 110_4^8 + 95940830835854619404833337199870/452531981097249447121481\ 348863*c_0110_4^7 + 81953603956791720298841367917655/90506396219449\ 8894242962697726*c_0110_4^6 - 118710886736120443525435254354831/905\ 063962194498894242962697726*c_0110_4^5 - 43846296074225323096596452667806/452531981097249447121481348863*c_0\ 110_4^4 - 19974120259420112730512335239351/452531981097249447121481\ 348863*c_0110_4^3 + 12840605125744557359152786369249/90506396219449\ 8894242962697726*c_0110_4^2 + 7283549573967233667233870044807/45253\ 1981097249447121481348863*c_0110_4 - 2732848185317418969185625422081/905063962194498894242962697726, c_0110_4^23 + c_0110_4^22 - 15*c_0110_4^21 - 13*c_0110_4^20 + 88*c_0110_4^19 + 76*c_0110_4^18 - 290*c_0110_4^17 - 269*c_0110_4^16 + 598*c_0110_4^15 + 527*c_0110_4^14 - 854*c_0110_4^13 - 754*c_0110_4^12 + 821*c_0110_4^11 + 849*c_0110_4^10 - 39*c_0110_4^9 - 789*c_0110_4^8 - 231*c_0110_4^7 + 515*c_0110_4^6 + 296*c_0110_4^5 + 127*c_0110_4^4 - 66*c_0110_4^3 - 47*c_0110_4^2 + 16*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB