Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 997894114] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0910 geometric_solution 4.80481993 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 2310 0 0 0 0 0 0 -1 1 1 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 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.533284622103 0.222636531887 0 3 0 4 0132 0132 1023 0132 0 0 0 0 0 -1 1 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 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 0 0 0 0.432824441704 3.033199948084 0 0 2 2 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496157382228 0.074920450957 4 1 5 4 3201 0132 0132 3120 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257361849833 0.754611969572 3 5 1 3 3120 3201 0132 2310 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 -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 0 0 0 0 0 0 0.257361849833 0.754611969572 6 6 4 3 0132 3201 2310 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396620802957 0.806764526543 5 6 5 6 0132 2310 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.895299757694 0.557496071125 ==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_5'], 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0110_2']), 'c_0110_1' : negation(d['c_0011_4']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_5']), 'c_1010_0' : negation(d['c_0110_2'])})} 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_0011_5, c_0101_1, c_0101_3, c_0101_5, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t + 60948446471431172228175/26889146603*c_0110_2^37 + 456102549012869912742715/26889146603*c_0110_2^36 + 364845281080107852188898/26889146603*c_0110_2^35 - 5617371870575007455424667/26889146603*c_0110_2^34 - 15281986327454295526080720/26889146603*c_0110_2^33 + 21074296270508253216294966/26889146603*c_0110_2^32 + 131048193999210638207392157/26889146603*c_0110_2^31 + 2111240981453249383288281/26889146603*c_0110_2^30 - 675601079196843900494595473/26889146603*c_0110_2^29 - 26407770773731292806194170/2444467873*c_0110_2^28 + 238810045532539287095921867/2444467873*c_0110_2^27 + 1062942004776490539537445095/26889146603*c_0110_2^26 - 8138316672119167865554810168/26889146603*c_0110_2^25 - 97440283054751368025907084/2444467873*c_0110_2^24 + 19456109266181739256015314656/26889146603*c_0110_2^23 - 4571689401030715039365542927/26889146603*c_0110_2^22 - 33577456549264901623223001924/26889146603*c_0110_2^21 + 21376199463190966383832513675/26889146603*c_0110_2^20 + 37696855940428330014109569396/26889146603*c_0110_2^19 - 43605506518350966091555212229/26889146603*c_0110_2^18 - 20276524530189821729241483894/26889146603*c_0110_2^17 + 51123407092468886258083882964/26889146603*c_0110_2^16 - 8094770084009241221114854221/26889146603*c_0110_2^15 - 33211822140030763836214835834/26889146603*c_0110_2^14 + 21761824172681815947180044360/26889146603*c_0110_2^13 + 7435330145623955021519546475/26889146603*c_0110_2^12 - 14282821548264124739044480912/26889146603*c_0110_2^11 + 4218617335536919773527137065/26889146603*c_0110_2^10 + 269854716323462041802651581/2444467873*c_0110_2^9 - 2845465682059821264059397581/26889146603*c_0110_2^8 + 708192572297084692254633078/26889146603*c_0110_2^7 + 23295819023632799542643974/2444467873*c_0110_2^6 - 265279968018989917921916918/26889146603*c_0110_2^5 + 102713836152139785480287993/26889146603*c_0110_2^4 - 23450774221108339048685899/26889146603*c_0110_2^3 + 3312330276609216469525784/26889146603*c_0110_2^2 - 270053905534919396026558/26889146603*c_0110_2 + 9791654165380244056706/26889146603, c_0011_0 - 1, c_0011_4 + 15*c_0110_2^37 + 106*c_0110_2^36 + 43*c_0110_2^35 - 1420*c_0110_2^34 - 3185*c_0110_2^33 + 6755*c_0110_2^32 + 30094*c_0110_2^31 - 12924*c_0110_2^30 - 166514*c_0110_2^29 - 2209*c_0110_2^28 + 676423*c_0110_2^27 - 7725*c_0110_2^26 - 2112384*c_0110_2^25 + 570534*c_0110_2^24 + 4899621*c_0110_2^23 - 3119891*c_0110_2^22 - 7798129*c_0110_2^21 + 8704231*c_0110_2^20 + 7091109*c_0110_2^19 - 14599552*c_0110_2^18 - 525437*c_0110_2^17 + 14666502*c_0110_2^16 - 7229861*c_0110_2^15 - 7350519*c_0110_2^14 + 8760701*c_0110_2^13 - 396568*c_0110_2^12 - 4279433*c_0110_2^11 + 2501070*c_0110_2^10 + 299627*c_0110_2^9 - 1004787*c_0110_2^8 + 465574*c_0110_2^7 - 9282*c_0110_2^6 - 91580*c_0110_2^5 + 52436*c_0110_2^4 - 16279*c_0110_2^3 + 3213*c_0110_2^2 - 406*c_0110_2 + 29, c_0011_5 - 5530128788515917979365/26889146603*c_0110_2^37 - 40888872017941841455696/26889146603*c_0110_2^36 - 29210002467146935307083/26889146603*c_0110_2^35 + 514125790323837526879953/26889146603*c_0110_2^34 + 1342631887076681219379386/26889146603*c_0110_2^33 - 2052951971229517445432666/26889146603*c_0110_2^32 - 11772544862416553816370954/26889146603*c_0110_2^31 + 917693629333006021046439/26889146603*c_0110_2^30 + 61736212466254060432411506/26889146603*c_0110_2^29 + 1912128053111465279436949/2444467873*c_0110_2^28 - 22065350426380935320449097/2444467873*c_0110_2^27 - 76755669701159343640273978/26889146603*c_0110_2^26 + 754478045890628636082115086/26889146603*c_0110_2^25 + 3382585844145910362752609/2444467873*c_0110_2^24 - 1796647074393446083376870405/26889146603*c_0110_2^23 + 560999743158617833544145704/26889146603*c_0110_2^22 + 3064497174312541644379332757/26889146603*c_0110_2^21 - 2205402561770981717650548246/26889146603*c_0110_2^20 - 3346783799614378465263940529/26889146603*c_0110_2^19 + 4290073343698833237518692813/26889146603*c_0110_2^18 + 1611142003705770345469794056/26889146603*c_0110_2^17 - 4888879676584224065243948000/26889146603*c_0110_2^16 + 1055349350322196958729329859/26889146603*c_0110_2^15 + 3067971585792253269728892395/26889146603*c_0110_2^14 - 2223405370318903664713068450/26889146603*c_0110_2^13 - 591292186322836028811706735/26889146603*c_0110_2^12 + 1387330832334076676046295926/26889146603*c_0110_2^11 - 464379051910075366380479956/26889146603*c_0110_2^10 - 24145117398080171218826510/2444467873*c_0110_2^9 + 283611140528292386355108608/26889146603*c_0110_2^8 - 77828304654687684252181839/26889146603*c_0110_2^7 - 2051372557359830635883075/2444467873*c_0110_2^6 + 26398081847169337875049192/26889146603*c_0110_2^5 - 10601642381212223057340834/26889146603*c_0110_2^4 + 2483227734628578338335901/26889146603*c_0110_2^3 - 358522873972346531236163/26889146603*c_0110_2^2 + 29829019060922711937467/26889146603*c_0110_2 - 1102750763380919325943/26889146603, c_0101_1 - 292119179353154292120/26889146603*c_0110_2^37 - 2119734159127067746273/26889146603*c_0110_2^36 - 1234488816867144086209/26889146603*c_0110_2^35 + 27458057440396413395809/26889146603*c_0110_2^34 + 67267012764005279609784/26889146603*c_0110_2^33 - 119264821891949838661039/26889146603*c_0110_2^32 - 609999070172493646992662/26889146603*c_0110_2^31 + 137755334822235854171405/26889146603*c_0110_2^30 + 3280212176400649393676415/26889146603*c_0110_2^29 + 60522280685493266818887/2444467873*c_0110_2^28 - 1191380967318510995271530/2444467873*c_0110_2^27 - 2363250952818979484553056/26889146603*c_0110_2^26 + 40916868035433305970722842/26889146603*c_0110_2^25 - 294799176030527623306956/2444467873*c_0110_2^24 - 96739925397776557748480594/26889146603*c_0110_2^23 + 42260042880475557417750960/26889146603*c_0110_2^22 + 161589865155623145789257608/26889146603*c_0110_2^21 - 139110683112153964665507655/26889146603*c_0110_2^20 - 167504944048702246763566914/26889146603*c_0110_2^19 + 254144487325538626937086668/26889146603*c_0110_2^18 + 62019136196801854048157251/26889146603*c_0110_2^17 - 277377665053846323126570651/26889146603*c_0110_2^16 + 85882968518320712281102610/26889146603*c_0110_2^15 + 163806430360101704095983132/26889146603*c_0110_2^14 - 139650873110622307203120113/26889146603*c_0110_2^13 - 21859142375472334017584677/26889146603*c_0110_2^12 + 80720717802204766252245772/26889146603*c_0110_2^11 - 32441457314524200803767175/26889146603*c_0110_2^10 - 1196637933122238149900732/2444467873*c_0110_2^9 + 17252664372843365608646982/26889146603*c_0110_2^8 - 5477502919200376858982183/26889146603*c_0110_2^7 - 96949403248741690830813/2444467873*c_0110_2^6 + 1606054473835468234220600/26889146603*c_0110_2^5 - 686585432345464129782342/26889146603*c_0110_2^4 + 167753322104217666093481/26889146603*c_0110_2^3 - 25094343445910782502134/26889146603*c_0110_2^2 + 2156283409999665951826/26889146603*c_0110_2 - 82174836835491077818/26889146603, c_0101_3 + 2441813961415535646180/26889146603*c_0110_2^37 + 18035182841511407873932/26889146603*c_0110_2^36 + 12748892353820465729075/26889146603*c_0110_2^35 - 227165045489541222878026/26889146603*c_0110_2^34 - 591106374810650720011359/26889146603*c_0110_2^33 + 911747657832408838451949/26889146603*c_0110_2^32 + 5192884487829728444120943/26889146603*c_0110_2^31 - 447909247656653754866198/26889146603*c_0110_2^30 - 27271420904906227380132925/26889146603*c_0110_2^29 - 825211726510731394070908/2444467873*c_0110_2^28 + 9756290986648510861417686/2444467873*c_0110_2^27 + 33101543880874110958435535/26889146603*c_0110_2^26 - 333683557745607866468471566/26889146603*c_0110_2^25 - 1273241819565800745627096/2444467873*c_0110_2^24 + 794291037011495024971447035/26889146603*c_0110_2^23 - 253589886778996132775448542/26889146603*c_0110_2^22 - 1353254052045456670078147333/26889146603*c_0110_2^21 + 984368752118748783783673810/26889146603*c_0110_2^20 + 1473852806827988790227913118/26889146603*c_0110_2^19 - 1907254763673270415510744470/26889146603*c_0110_2^18 - 701104309966900661195432089/26889146603*c_0110_2^17 + 2167887576071451328889890946/26889146603*c_0110_2^16 - 479684281612191705420933164/26889146603*c_0110_2^15 - 1355825182592519258203385258/26889146603*c_0110_2^14 + 991960588758060812156919406/26889146603*c_0110_2^13 + 256978150110135186756893257/26889146603*c_0110_2^12 - 616067781476072940364511180/26889146603*c_0110_2^11 + 208622976315700259786458878/26889146603*c_0110_2^10 + 10629408041169996419877969/2444467873*c_0110_2^9 - 126271566608053883978024967/26889146603*c_0110_2^8 + 34980488212150077258075456/26889146603*c_0110_2^7 + 900956075174432808066642/2444467873*c_0110_2^6 - 11752916448660830652779896/26889146603*c_0110_2^5 + 4738523326186386887676330/26889146603*c_0110_2^4 - 1113004854173773275430340/26889146603*c_0110_2^3 + 161087159075136084830151/26889146603*c_0110_2^2 - 13433567200664244395796/26889146603*c_0110_2 + 497758948944612892428/26889146603, c_0101_5 + 3857246146290845246220/26889146603*c_0110_2^37 + 28541975006552135352933/26889146603*c_0110_2^36 + 20548860192232703013372/26889146603*c_0110_2^35 - 358394006484410502244211/26889146603*c_0110_2^34 - 938431379231588592374873/26889146603*c_0110_2^33 + 1425551279918091258759931/26889146603*c_0110_2^32 + 8216238595489845323000574/26889146603*c_0110_2^31 - 590455482873067064333174/26889146603*c_0110_2^30 - 43038905318200583817413275/26889146603*c_0110_2^29 - 1355128135892517977510657/2444467873*c_0110_2^28 + 15371824313601902632516431/2444467873*c_0110_2^27 + 54401847767677972013522260/26889146603*c_0110_2^26 - 525493455880787857237991479/26889146603*c_0110_2^25 - 2598455121324452831712054/2444467873*c_0110_2^24 + 1251652361172562743910545160/26889146603*c_0110_2^23 - 384883781857627563945411024/26889146603*c_0110_2^22 - 2136419879869297282924622776/26889146603*c_0110_2^21 + 1526550362845167829574024283/26889146603*c_0110_2^20 + 2337163140364070878637619431/26889146603*c_0110_2^19 - 2977494250234670495090693909/26889146603*c_0110_2^18 - 1133295278070511319530611144/26889146603*c_0110_2^17 + 3398637110524553535524880042/26889146603*c_0110_2^16 - 722393150959701922534540160/26889146603*c_0110_2^15 - 2137071854221859112323167030/26889146603*c_0110_2^14 + 1540013412895136218758881164/26889146603*c_0110_2^13 + 415757792364917145625393374/26889146603*c_0110_2^12 - 963586838718747279209648848/26889146603*c_0110_2^11 + 320452666988470471741315081/26889146603*c_0110_2^10 + 16848883412394778781248146/2444467873*c_0110_2^9 - 196714733374291633804846727/26889146603*c_0110_2^8 + 53718334043616472166188046/26889146603*c_0110_2^7 + 1432707104993643821512138/2444467873*c_0110_2^6 - 18312147139579993539834176/26889146603*c_0110_2^5 + 7340692549008559021535460/26889146603*c_0110_2^4 - 1717289840047984169271736/26889146603*c_0110_2^3 + 247685263664358174870355/26889146603*c_0110_2^2 - 20588464271488878374449/26889146603*c_0110_2 + 760483924963801013243/26889146603, c_0110_2^38 + 106/15*c_0110_2^37 + 43/15*c_0110_2^36 - 284/3*c_0110_2^35 - 637/3*c_0110_2^34 + 1351/3*c_0110_2^33 + 30094/15*c_0110_2^32 - 4308/5*c_0110_2^31 - 166514/15*c_0110_2^30 - 2209/15*c_0110_2^29 + 676423/15*c_0110_2^28 - 515*c_0110_2^27 - 704128/5*c_0110_2^26 + 190178/5*c_0110_2^25 + 1633207/5*c_0110_2^24 - 3119891/15*c_0110_2^23 - 7798129/15*c_0110_2^22 + 8704231/15*c_0110_2^21 + 2363703/5*c_0110_2^20 - 14599552/15*c_0110_2^19 - 525437/15*c_0110_2^18 + 4888834/5*c_0110_2^17 - 7229861/15*c_0110_2^16 - 2450173/5*c_0110_2^15 + 8760701/15*c_0110_2^14 - 396568/15*c_0110_2^13 - 4279433/15*c_0110_2^12 + 166738*c_0110_2^11 + 299627/15*c_0110_2^10 - 334929/5*c_0110_2^9 + 465574/15*c_0110_2^8 - 3094/5*c_0110_2^7 - 18316/3*c_0110_2^6 + 52436/15*c_0110_2^5 - 16279/15*c_0110_2^4 + 1071/5*c_0110_2^3 - 27*c_0110_2^2 + 2*c_0110_2 - 1/15 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB