Magma V2.19-8 Tue Aug 20 2013 16:18:09 on localhost [Seed = 1764291664] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2372 geometric_solution 5.74149524 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.125352614890 0.638577916825 0 4 3 5 0132 0132 1302 0132 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 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.365491486868 0.545070738354 2 0 0 2 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 0 0 0 0 0 0 0 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.670113043192 0.644329117455 1 5 0 4 2031 1023 0132 2310 0 0 0 0 0 -1 0 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365491486868 0.545070738354 3 1 4 4 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 1.151373922555 1.265586913072 3 6 1 6 1023 0132 0132 2310 0 0 0 0 0 0 0 0 1 0 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 1 0 -1 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.107517843551 0.711314130980 5 5 6 6 3201 0132 1230 3012 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 -1 0 1 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.456072582965 0.330917711106 ==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' : negation(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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_0'], '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_0101_6']), 'c_1001_4' : negation(d['c_0101_6']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_4']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0110_3' : negation(d['c_0101_4']), 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : negation(d['c_0110_6']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0101_6']), '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_3, c_0101_0, c_0101_2, c_0101_4, c_0101_6, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 10737589823606349436077750730255522877678/2647807038801562810463801\ 199279193920711*c_0110_6^26 + 1578202465738265562172493212428262106\ 398159/7943421116404688431391403597837581762133*c_0110_6^24 - 18157063010333220182383208275785402999948527/7943421116404688431391\ 403597837581762133*c_0110_6^22 - 2515848897260311491765917189168250\ 780301980/882602346267187603487933733093064640237*c_0110_6^20 + 838148916433472506496410695741671340896312749/794342111640468843139\ 1403597837581762133*c_0110_6^18 - 306692780483194491406850208961890\ 408709785793/2647807038801562810463801199279193920711*c_0110_6^16 - 8636927383559614662316063995374984577481905401/79434211164046884313\ 91403597837581762133*c_0110_6^14 + 2740670838675861784925790832087293671546348633/88260234626718760348\ 7933733093064640237*c_0110_6^12 - 257054303080895000856793248658916\ 4789057118453/882602346267187603487933733093064640237*c_0110_6^10 + 7019855955610535851447376530954423338880677671/79434211164046884313\ 91403597837581762133*c_0110_6^8 + 314330851667927396339457623636969\ 278905330002/7943421116404688431391403597837581762133*c_0110_6^6 + 8499737249611478731130452996998869671683220/26478070388015628104638\ 01199279193920711*c_0110_6^4 - 163255385317321488004216385891323978\ 466565506/7943421116404688431391403597837581762133*c_0110_6^2 + 5855677656436308162225982657818808506937253/79434211164046884313914\ 03597837581762133, c_0011_0 - 1, c_0011_3 + 36675792540813432839807033808398563432/794342111640468843139\ 1403597837581762133*c_0110_6^27 - 180345157549098113198096649427293\ 1681565/7943421116404688431391403597837581762133*c_0110_6^25 + 2332788568053111168055742773917872790591/88260234626718760348793373\ 3093064640237*c_0110_6^23 + 220912501156019667427692171151890108575\ 80/7943421116404688431391403597837581762133*c_0110_6^21 - 319739469119019389180904372628265182494220/264780703880156281046380\ 1199279193920711*c_0110_6^19 + 121867167464615413536344652189487606\ 5717985/7943421116404688431391403597837581762133*c_0110_6^17 + 3219937005554258999908310375331537375453175/26478070388015628104638\ 01199279193920711*c_0110_6^15 - 99554797070639491048213013481049349\ 89866107/2647807038801562810463801199279193920711*c_0110_6^13 + 31232975124515337903937840955179010895522395/7943421116404688431391\ 403597837581762133*c_0110_6^11 - 1230606295893611418772122704672549\ 2250724607/7943421116404688431391403597837581762133*c_0110_6^9 + 249915114217919219110058660206181502344701/264780703880156281046380\ 1199279193920711*c_0110_6^7 + 8904995293467850109863057590869530557\ 2161/7943421116404688431391403597837581762133*c_0110_6^5 + 177589061340409370023168527752536900303121/794342111640468843139140\ 3597837581762133*c_0110_6^3 - 3582419117910954968345819763414828612\ 157/882602346267187603487933733093064640237*c_0110_6, c_0101_0 + 207673467606722281007825954364781614692/79434211164046884313\ 91403597837581762133*c_0110_6^27 - 3395533786906864364538487555848100195798/26478070388015628104638011\ 99279193920711*c_0110_6^25 + 11764644492756635905610485977935407051\ 1932/7943421116404688431391403597837581762133*c_0110_6^23 + 139226799006849243434343723688377647494055/794342111640468843139140\ 3597837581762133*c_0110_6^21 - 541239203320505613099227626453186500\ 6844274/7943421116404688431391403597837581762133*c_0110_6^19 + 6244445226684462570125970707232861125516975/79434211164046884313914\ 03597837581762133*c_0110_6^17 + 55358268318736551470953519778911417\ 525241287/7943421116404688431391403597837581762133*c_0110_6^15 - 54090742568376111545802089088335592493240010/2647807038801562810463\ 801199279193920711*c_0110_6^13 + 1581506922360190005815457299152236\ 84956833336/7943421116404688431391403597837581762133*c_0110_6^11 - 17762911650402284506067826642331804093762600/2647807038801562810463\ 801199279193920711*c_0110_6^9 + 11141082327950150204142233392749167\ 1578702/7943421116404688431391403597837581762133*c_0110_6^7 - 29245578576774518222072356146502997908375/7943421116404688431391403\ 597837581762133*c_0110_6^5 + 11192179843791162868938796398165743985\ 48809/7943421116404688431391403597837581762133*c_0110_6^3 - 90015880804015991390303748075098510788669/7943421116404688431391403\ 597837581762133*c_0110_6, c_0101_2 + 1116370523307335965658014923499873582357/7943421116404688431\ 391403597837581762133*c_0110_6^27 - 54691876679941934677646806314431173170316/7943421116404688431391403\ 597837581762133*c_0110_6^25 + 6291290685153862739713047073377878682\ 83995/7943421116404688431391403597837581762133*c_0110_6^23 + 786151605184969850602362860835146258056864/794342111640468843139140\ 3597837581762133*c_0110_6^21 - 290453580386921523169335244897573460\ 17440689/7943421116404688431391403597837581762133*c_0110_6^19 + 31819984215418885947529634967877863275196808/7943421116404688431391\ 403597837581762133*c_0110_6^17 + 2994014187652903580569272057795843\ 60967092349/7943421116404688431391403597837581762133*c_0110_6^15 - 94905769064120927663350910319725151255913189/8826023462671876034879\ 33733093064640237*c_0110_6^13 + 79975537281418058958873708848372660\ 6496077189/7943421116404688431391403597837581762133*c_0110_6^11 - 241307401903700757819004960944047197950418520/794342111640468843139\ 1403597837581762133*c_0110_6^9 - 1158259622858979744931966298749070\ 4660174535/7943421116404688431391403597837581762133*c_0110_6^7 - 811660136526755974295938054696541840999360/794342111640468843139140\ 3597837581762133*c_0110_6^5 + 1869771204670031224163767790488596306\ 043783/2647807038801562810463801199279193920711*c_0110_6^3 - 189073068034927231963507907634000639351802/794342111640468843139140\ 3597837581762133*c_0110_6, c_0101_4 - 30805906496793466410483254181775088117/794342111640468843139\ 1403597837581762133*c_0110_6^26 + 150071288173820417508184673399200\ 2254197/7943421116404688431391403597837581762133*c_0110_6^24 - 1883142637333617237435118388425766054429/88260234626718760348793373\ 3093064640237*c_0110_6^22 - 262992216644810254883476326118349259576\ 98/7943421116404688431391403597837581762133*c_0110_6^20 + 264507560883466881166063903332051976718576/264780703880156281046380\ 1199279193920711*c_0110_6^18 - 660915069291708592966432034029034181\ 704588/7943421116404688431391403597837581762133*c_0110_6^16 - 2803083292423723650439067649639363869866727/26478070388015628104638\ 01199279193920711*c_0110_6^14 + 23602856223003352408854361240220313\ 45725971/882602346267187603487933733093064640237*c_0110_6^12 - 16598074802057835058277772437348964078206500/7943421116404688431391\ 403597837581762133*c_0110_6^10 + 2816451634967240176236604731576430\ 405068248/7943421116404688431391403597837581762133*c_0110_6^8 + 263408944847815564416995941128614361154135/264780703880156281046380\ 1199279193920711*c_0110_6^6 + 1268455863305233667843782152081656973\ 47167/7943421116404688431391403597837581762133*c_0110_6^4 - 83135504549977444930294067629943967110491/7943421116404688431391403\ 597837581762133*c_0110_6^2 - 33323364256659883683906281338733694599\ 2/882602346267187603487933733093064640237, c_0101_6 - 3372439470954901862918857711563855811/7943421116404688431391\ 403597837581762133*c_0110_6^26 + 1590259265185378585600425544997291\ 68817/7943421116404688431391403597837581762133*c_0110_6^24 - 533445843580730963817081502624204912147/264780703880156281046380119\ 9279193920711*c_0110_6^22 - 571013626639182436962306218389648398205\ 6/7943421116404688431391403597837581762133*c_0110_6^20 + 9072714903905075545449067954306564158246/88260234626718760348793373\ 3093064640237*c_0110_6^18 + 620067381449379745680475302038447622907\ 19/7943421116404688431391403597837581762133*c_0110_6^16 - 333096550642695519657183800597271132708272/264780703880156281046380\ 1199279193920711*c_0110_6^14 + 287911346834451270776612633316633291\ 715675/2647807038801562810463801199279193920711*c_0110_6^12 + 1437977561165609685713203789391450373398167/79434211164046884313914\ 03597837581762133*c_0110_6^10 - 16487973723186180016077541123072322\ 33535122/7943421116404688431391403597837581762133*c_0110_6^8 + 13365930810461535876731201092732128500611/2647807038801562810463801\ 199279193920711*c_0110_6^6 + 88369453295139257265323261597557103640\ 455/7943421116404688431391403597837581762133*c_0110_6^4 + 53768705416250527078847478438686369584123/7943421116404688431391403\ 597837581762133*c_0110_6^2 + 11029738367025683084348615824090557139\ 5/882602346267187603487933733093064640237, c_0110_6^28 - 49*c_0110_6^26 + 564*c_0110_6^24 + 699*c_0110_6^22 - 26024*c_0110_6^20 + 28743*c_0110_6^18 + 267922*c_0110_6^16 - 767584*c_0110_6^14 + 723515*c_0110_6^12 - 222887*c_0110_6^10 - 8334*c_0110_6^8 - 649*c_0110_6^6 + 5061*c_0110_6^4 - 218*c_0110_6^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB