Magma V2.19-8 Tue Aug 20 2013 16:16:37 on localhost [Seed = 4038159401] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0918 geometric_solution 4.81189671 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377095465217 0.204594108057 2 0 3 0 0132 2310 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 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.574137827892 0.906969502959 1 4 3 3 0132 0132 3012 1230 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 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.352376164491 1.379406020260 2 2 4 1 3012 1230 3201 0132 0 0 0 0 0 0 0 0 1 0 -1 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.352376164491 1.379406020260 3 2 5 5 2310 0132 2310 0132 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 0 0 0 1 0 -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.311352996920 0.443767057149 6 4 4 6 0132 3201 0132 1023 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.127090864438 0.773248843317 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.214746932867 0.518308723488 ==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_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0011_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0011_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(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_1, c_0011_3, c_0011_5, c_0101_0, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 968070348711257879278524471010728382980/156697103816436106564646256\ 42759041603*c_0101_6^20 + 602536166777644267142690822595464370524/1\ 5669710381643610656464625642759041603*c_0101_6^19 + 2251210561604474327235484600503856645024/22385300545205158080663750\ 91822720229*c_0101_6^18 + 51365512524698169560658885774874361104242\ /15669710381643610656464625642759041603*c_0101_6^17 + 307227544404540951125982073307246535390921/156697103816436106564646\ 25642759041603*c_0101_6^16 + 21176533479357342398573787849563135732\ 46611/15669710381643610656464625642759041603*c_0101_6^15 + 4485626094695416398441940877247599451777864/15669710381643610656464\ 625642759041603*c_0101_6^14 - 7407503740599788336351047246167636528\ 51388/15669710381643610656464625642759041603*c_0101_6^13 - 898282763669123338370281706644999785054932/223853005452051580806637\ 5091822720229*c_0101_6^12 - 642405216582214849041473425881657971379\ 264/15669710381643610656464625642759041603*c_0101_6^11 - 679052944763860710748476927983023946876550/156697103816436106564646\ 25642759041603*c_0101_6^10 + 24570268034296662807115680692718534121\ 43332/15669710381643610656464625642759041603*c_0101_6^9 + 604764314599881464073509736478757819218102/156697103816436106564646\ 25642759041603*c_0101_6^8 + 344033517788703477714056610598660396104\ 09/2238530054520515808066375091822720229*c_0101_6^7 - 212701637054660871169472562342212226235498/156697103816436106564646\ 25642759041603*c_0101_6^6 - 654137925208359377977735168143356088658\ 79/2238530054520515808066375091822720229*c_0101_6^5 + 57911299109822141753224482483933932604514/1566971038164361065646462\ 5642759041603*c_0101_6^4 - 8855782152393791979031401741715510354607\ /15669710381643610656464625642759041603*c_0101_6^3 + 45528676342576388426031402139446101457823/1566971038164361065646462\ 5642759041603*c_0101_6^2 + 1417000032910013339015950879644720722232\ /2238530054520515808066375091822720229*c_0101_6 - 8145918708538676839326194604945857357821/15669710381643610656464625\ 642759041603, c_0011_0 - 1, c_0011_1 - 2533510275144691412326818287913637933/2238530054520515808066\ 375091822720229*c_0101_6^20 + 685887824516085814807823503715150449/\ 2238530054520515808066375091822720229*c_0101_6^19 + 40915496104146278692794982188791803506/2238530054520515808066375091\ 822720229*c_0101_6^18 + 149014425598676335081531553703355794928/223\ 8530054520515808066375091822720229*c_0101_6^17 + 865580824078257744974163271479978062222/223853005452051580806637509\ 1822720229*c_0101_6^16 + 5879084805292830449552830078719849638454/2\ 238530054520515808066375091822720229*c_0101_6^15 + 13997884437809922152960296276510601619358/2238530054520515808066375\ 091822720229*c_0101_6^14 + 4284462243639342507360748167288706030339\ /2238530054520515808066375091822720229*c_0101_6^13 - 11920113675009906446144488229555381506713/2238530054520515808066375\ 091822720229*c_0101_6^12 - 5154463500525751538721308053789866947575\ /2238530054520515808066375091822720229*c_0101_6^11 - 6324171207822390301439337115950538549253/22385300545205158080663750\ 91822720229*c_0101_6^10 + 3215700814083126783098061235631551289888/\ 2238530054520515808066375091822720229*c_0101_6^9 + 1256157436188007108116875142267889529374/22385300545205158080663750\ 91822720229*c_0101_6^8 + 1822074348381076222893070488618105700181/2\ 238530054520515808066375091822720229*c_0101_6^7 + 364748244283318693090384473895118691808/223853005452051580806637509\ 1822720229*c_0101_6^6 - 611942470285188045817866381865376088706/223\ 8530054520515808066375091822720229*c_0101_6^5 + 19475192629810817058787747282832527986/2238530054520515808066375091\ 822720229*c_0101_6^4 - 159356635083901280217281462529338536413/2238\ 530054520515808066375091822720229*c_0101_6^3 + 66710465376934834358914606434150978637/2238530054520515808066375091\ 822720229*c_0101_6^2 + 5150812523677149821746937962249806666/223853\ 0054520515808066375091822720229*c_0101_6 - 4977550506934142114141152435806107416/22385300545205158080663750918\ 22720229, c_0011_3 + 660933899661174589549808452594343452/22385300545205158080663\ 75091822720229*c_0101_6^20 - 708376769056167381075723212011074667/2\ 238530054520515808066375091822720229*c_0101_6^19 - 10707688783451567715860865153007754059/2238530054520515808066375091\ 822720229*c_0101_6^18 - 30337413669071062047986346107304322719/2238\ 530054520515808066375091822720229*c_0101_6^17 - 191830622569479676411992457627813510611/223853005452051580806637509\ 1822720229*c_0101_6^16 - 1341425281285158194638852665822137371347/2\ 238530054520515808066375091822720229*c_0101_6^15 - 2358382992336940114223711134669560568581/22385300545205158080663750\ 91822720229*c_0101_6^14 + 2241973954951007620585600508674269033564/\ 2238530054520515808066375091822720229*c_0101_6^13 + 5139920774204223288120875799548462676943/22385300545205158080663750\ 91822720229*c_0101_6^12 - 414112838551748800466171703724988145288/2\ 238530054520515808066375091822720229*c_0101_6^11 + 87116103136750992061194255949923862760/2238530054520515808066375091\ 822720229*c_0101_6^10 - 2670424921229285891530970380742270599910/22\ 38530054520515808066375091822720229*c_0101_6^9 - 384929253234572495115026318236391110043/223853005452051580806637509\ 1822720229*c_0101_6^8 - 278123282745966803816404830786287356103/223\ 8530054520515808066375091822720229*c_0101_6^7 + 335851323523097826285931228074191265269/223853005452051580806637509\ 1822720229*c_0101_6^6 + 390755955253673123220826600844339159656/223\ 8530054520515808066375091822720229*c_0101_6^5 - 36132118952638209399216857461430864318/2238530054520515808066375091\ 822720229*c_0101_6^4 + 41000930606984864150640012817218169744/22385\ 30054520515808066375091822720229*c_0101_6^3 - 47919034176583966415817145962371523431/2238530054520515808066375091\ 822720229*c_0101_6^2 - 3344915826316623989397231210710183232/223853\ 0054520515808066375091822720229*c_0101_6 + 2484920713134119841769609867606647630/22385300545205158080663750918\ 22720229, c_0011_5 - 2233085371422658552464589171182717252/2238530054520515808066\ 375091822720229*c_0101_6^20 + 507759505596447811623610212997016009/\ 2238530054520515808066375091822720229*c_0101_6^19 + 36150161042325055508231976920541540896/2238530054520515808066375091\ 822720229*c_0101_6^18 + 132898114887835630877779620095168666558/223\ 8530054520515808066375091822720229*c_0101_6^17 + 767676176165470815235229637946214183070/223853005452051580806637509\ 1822720229*c_0101_6^16 + 5211356432249571959561161378473332515317/2\ 238530054520515808066375091822720229*c_0101_6^15 + 12541344533564399575390716681903274642467/2238530054520515808066375\ 091822720229*c_0101_6^14 + 4167880351247687119740323562273086069903\ /2238530054520515808066375091822720229*c_0101_6^13 - 10698478614788506846312726214644985615216/2238530054520515808066375\ 091822720229*c_0101_6^12 - 5182939079207869335250727471583850841447\ /2238530054520515808066375091822720229*c_0101_6^11 - 5614403921113780583281020612918454732050/22385300545205158080663750\ 91822720229*c_0101_6^10 + 2676937596568100032958919295610777178610/\ 2238530054520515808066375091822720229*c_0101_6^9 + 1456482235909603439566772155175150112477/22385300545205158080663750\ 91822720229*c_0101_6^8 + 1650546315861213856702602020532584653134/2\ 238530054520515808066375091822720229*c_0101_6^7 + 401129904785251175304104220811068930248/223853005452051580806637509\ 1822720229*c_0101_6^6 - 584246351371911145229938775951202804994/223\ 8530054520515808066375091822720229*c_0101_6^5 - 34873064182488675214069398619399970491/2238530054520515808066375091\ 822720229*c_0101_6^4 - 145003895045571094948510565356971176095/2238\ 530054520515808066375091822720229*c_0101_6^3 + 51092577358987837734883019991176690690/2238530054520515808066375091\ 822720229*c_0101_6^2 + 15319348921802065102823688011642400379/22385\ 30054520515808066375091822720229*c_0101_6 - 2897130960729511664419503408283152240/22385300545205158080663750918\ 22720229, c_0101_0 + 232327155457343608907660992380325254/22385300545205158080663\ 75091822720229*c_0101_6^20 + 574310463249960781415729411105604744/2\ 238530054520515808066375091822720229*c_0101_6^19 - 3805778926505171713464826878248510040/22385300545205158080663750918\ 22720229*c_0101_6^18 - 23937896520704259796978141094144434718/22385\ 30054520515808066375091822720229*c_0101_6^17 - 118780587705778568516165619051492705212/223853005452051580806637509\ 1822720229*c_0101_6^16 - 764626007600220769310825963041462319839/22\ 38530054520515808066375091822720229*c_0101_6^15 - 2805867341474547582030979789199513000336/22385300545205158080663750\ 91822720229*c_0101_6^14 - 4206243251247604152955015205610739867639/\ 2238530054520515808066375091822720229*c_0101_6^13 - 757349989724450486320996544723767239662/223853005452051580806637509\ 1822720229*c_0101_6^12 + 2986553890188047840798485869689750255951/2\ 238530054520515808066375091822720229*c_0101_6^11 + 2346126265907448914410690236171461788386/22385300545205158080663750\ 91822720229*c_0101_6^10 + 1816131032203953328360453562798240820997/\ 2238530054520515808066375091822720229*c_0101_6^9 - 494503826788146441747065666749537228671/223853005452051580806637509\ 1822720229*c_0101_6^8 - 574180141595499099168776501733471565977/223\ 8530054520515808066375091822720229*c_0101_6^7 - 644092995372947269165260513812721878928/223853005452051580806637509\ 1822720229*c_0101_6^6 - 158594294388994124992470215425982901907/223\ 8530054520515808066375091822720229*c_0101_6^5 + 115855819276852340822845501168954144791/223853005452051580806637509\ 1822720229*c_0101_6^4 + 42233773060497021254425988668398786982/2238\ 530054520515808066375091822720229*c_0101_6^3 + 50532167263137411012719253554036958894/2238530054520515808066375091\ 822720229*c_0101_6^2 - 6307350145918493093305147164377987755/223853\ 0054520515808066375091822720229*c_0101_6 - 3957281821899849327521187766755962427/22385300545205158080663750918\ 22720229, c_0101_3 - 1026248753801996976431842126866844475/2238530054520515808066\ 375091822720229*c_0101_6^20 + 114636080102386823641378061654906977/\ 2238530054520515808066375091822720229*c_0101_6^19 + 16493985158637202013226679832249164469/2238530054520515808066375091\ 822720229*c_0101_6^18 + 62962002450814040134301482900859596534/2238\ 530054520515808066375091822720229*c_0101_6^17 + 362193183411837396080332320317653922012/223853005452051580806637509\ 1822720229*c_0101_6^16 + 2445564493306011123659468387510030027065/2\ 238530054520515808066375091822720229*c_0101_6^15 + 6095867969280401778262265820096062609284/22385300545205158080663750\ 91822720229*c_0101_6^14 + 2951031989328613574522150560488824668775/\ 2238530054520515808066375091822720229*c_0101_6^13 - 3692300541957190917782397092298299740632/22385300545205158080663750\ 91822720229*c_0101_6^12 - 2152998661431525966125359914816048963617/\ 2238530054520515808066375091822720229*c_0101_6^11 - 3034093333306355739887074611387968976366/22385300545205158080663750\ 91822720229*c_0101_6^10 + 611361079447869898253145534414384945521/2\ 238530054520515808066375091822720229*c_0101_6^9 + 218372710525589683635754460448644282303/223853005452051580806637509\ 1822720229*c_0101_6^8 + 662015988934327125435480575633422141044/223\ 8530054520515808066375091822720229*c_0101_6^7 + 231765175488145389486760141020174514872/223853005452051580806637509\ 1822720229*c_0101_6^6 - 163404339939221566882951800098897222356/223\ 8530054520515808066375091822720229*c_0101_6^5 + 29520822027476094553209497515375662388/2238530054520515808066375091\ 822720229*c_0101_6^4 - 64310433561901395750288361351854119259/22385\ 30054520515808066375091822720229*c_0101_6^3 + 23781534785064144265399084417910376255/2238530054520515808066375091\ 822720229*c_0101_6^2 + 3096071228494321239744156412523408547/223853\ 0054520515808066375091822720229*c_0101_6 - 1438097891567852644500113624673967750/22385300545205158080663750918\ 22720229, c_0101_6^21 - c_0101_6^20 - 16*c_0101_6^19 - 47*c_0101_6^18 - 298*c_0101_6^17 - 2069*c_0101_6^16 - 3818*c_0101_6^15 + 2440*c_0101_6^14 + 6141*c_0101_6^13 - 1454*c_0101_6^12 + 770*c_0101_6^11 - 3052*c_0101_6^10 + 323*c_0101_6^9 - 253*c_0101_6^8 + 388*c_0101_6^7 + 381*c_0101_6^6 - 192*c_0101_6^5 + 50*c_0101_6^4 - 68*c_0101_6^3 + 12*c_0101_6^2 + 6*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB