Magma V2.19-8 Tue Aug 20 2013 16:15:54 on localhost [Seed = 745386005] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0128 geometric_solution 3.63840763 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 0 0 0 0 1.434298063194 0.031190219967 0 2 2 0 3201 0132 1023 0132 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 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 0 0 0 0 1.229616771987 0.041007059712 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 1 0 -1 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 -1 1 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.628018128711 0.256923748004 2 4 4 2 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.321085672875 0.481870439891 3 3 5 6 2310 0132 0132 0132 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 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.003138726113 0.505589256851 6 6 6 4 1230 3012 2031 0132 0 0 0 0 0 0 0 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 -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.997486293276 1.008713054887 5 5 4 5 1230 3012 0132 1302 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 -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.997486293276 1.008713054887 ==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_0101_5'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_0101_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_5'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0011_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0011_5']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0101_0, c_0101_2, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 412793440883654157275573752798943771117233306821199577/999728290578\ 100424065743660078828538914823741829543*c_0101_5^21 - 12515004700580495769580421602654969169238118023566829500/9997282905\ 78100424065743660078828538914823741829543*c_0101_5^20 + 51317742356798113022773913547931835782892771700255136651/9997282905\ 78100424065743660078828538914823741829543*c_0101_5^19 + 178786910175622834273762339302071799522849866114011800242/999728290\ 578100424065743660078828538914823741829543*c_0101_5^18 - 1032037331477211005309633991596405574040943672201324911169/99972829\ 0578100424065743660078828538914823741829543*c_0101_5^17 + 702517520023452794517710716612364301443109302062469501849/999728290\ 578100424065743660078828538914823741829543*c_0101_5^16 + 6138613092144877033491162020983525655530524199198931546373/99972829\ 0578100424065743660078828538914823741829543*c_0101_5^15 - 17237598374831880233234994061225997094639050546654489117727/9997282\ 90578100424065743660078828538914823741829543*c_0101_5^14 + 9845592371999380385503843762070191958594319639937990614034/99972829\ 0578100424065743660078828538914823741829543*c_0101_5^13 + 23973846661425996474628647687582513251177602332434809928336/9997282\ 90578100424065743660078828538914823741829543*c_0101_5^12 - 43134409969418428330412678653339387543719062399286812452934/9997282\ 90578100424065743660078828538914823741829543*c_0101_5^11 + 10383032457856197467605821539994277646976585145021272494990/9997282\ 90578100424065743660078828538914823741829543*c_0101_5^10 + 31582089491716712947739593251666673934832028638279553898964/9997282\ 90578100424065743660078828538914823741829543*c_0101_5^9 - 21843329560804401165389433927768369352632074752183939697664/9997282\ 90578100424065743660078828538914823741829543*c_0101_5^8 - 6121574025320520366437195258528423410930094592790408566232/99972829\ 0578100424065743660078828538914823741829543*c_0101_5^7 + 961979306714982394029162624236569171116025484628629267773/142818327\ 225442917723677665725546934130689105975649*c_0101_5^6 + 403303826155782909862465143713501857152434283430463808111/999728290\ 578100424065743660078828538914823741829543*c_0101_5^5 - 56517409934055195508993459778699853444635388948274208722/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^4 - 261935444812847453638588701125133860963478961679487316283/999728290\ 578100424065743660078828538914823741829543*c_0101_5^3 + 3753567415452064077915522218351177784366475001414487772/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^2 + 23479943754833853185722242223628156644253584739963913261/9997282905\ 78100424065743660078828538914823741829543*c_0101_5 - 2590156452751462883123166429052834883415783821747934468/99972829057\ 8100424065743660078828538914823741829543, c_0011_0 - 1, c_0011_1 + 1246635712601269268867022224143559297676631476979280/1428183\ 27225442917723677665725546934130689105975649*c_0101_5^21 + 38051802163858376523941986388334415876255861309521729/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^20 - 147123928451323806186056858731579184515836212056925014/142818327225\ 442917723677665725546934130689105975649*c_0101_5^19 - 569406417456173408850581095359892435047596590461891967/142818327225\ 442917723677665725546934130689105975649*c_0101_5^18 + 2996536314123560688118055203661276552416369162235569914/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^17 - 1517169378965898363777125992600064762877520062238024496/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^16 - 18788312815935085992343672381811972407017630243084990888/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^15 + 48162833531581927030578116471693281789093390302164223087/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^14 - 20220591808495270228507241623955119129111733340674641393/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^13 - 75567628579997052234806738709687354437192360181454293075/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^12 + 114341112807964698920473584452609140149339662560106356232/142818327\ 225442917723677665725546934130689105975649*c_0101_5^11 - 9438992552734653349805541991526440189458254600543668804/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^10 - 94997909806759575936377259993475577826654095972176047823/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^9 + 46343226385296401677986524342514251354430863330167809829/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^8 + 26023177757970910047424174272226264234860924505343873923/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^7 - 14121397002147121663908257775086592360835155515468801409/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^6 - 3524122322467962941545423219012969334551317603228242101/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^5 + 213801793025144477750556957137162667329416473241536750/142818327225\ 442917723677665725546934130689105975649*c_0101_5^4 + 739252748564346326589974165976922163282303017534009502/142818327225\ 442917723677665725546934130689105975649*c_0101_5^3 + 68748661087646147884949786663297146914860129426708879/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^2 - 40328321326617740114020046356959136646873393367892931/1428183272254\ 42917723677665725546934130689105975649*c_0101_5 + 2424319809282507671762329497401221417378874079394458/14281832722544\ 2917723677665725546934130689105975649, c_0011_5 - 294443637924239238816794328338535163789071309096136/14281832\ 7225442917723677665725546934130689105975649*c_0101_5^21 - 8984877004844823862643305698470642555088823657442978/14281832722544\ 2917723677665725546934130689105975649*c_0101_5^20 + 34827930348508074975975794305880845070474788405525033/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^19 + 134158164639131718823956699204791046810919387269791618/142818327225\ 442917723677665725546934130689105975649*c_0101_5^18 - 708865577507220207761678454014141756658282423628940173/142818327225\ 442917723677665725546934130689105975649*c_0101_5^17 + 364973271226659537178295671731999141020186535297096099/142818327225\ 442917723677665725546934130689105975649*c_0101_5^16 + 4432869319747446557305645858034479074703404056874560247/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^15 - 11414696107074166446343763247441273114245174003636270300/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^14 + 4887478046703644244976033618688764836327536014496898217/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^13 + 17783348409317330618523576286039510475197717023779994979/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^12 - 27162326256907217334631671414887080633404853908675918762/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^11 + 2509025794446515707266969445455418734360002201808994279/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^10 + 22375427896123636988340949681689732685154026608479097883/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^9 - 11155909374803284482883525822269657542060675596736428531/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^8 - 6011675791439848600016775413024473347690422381871730498/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^7 + 3388485562870082365548711652044633479769850414294641138/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^6 + 792485463331915073714071405796888295787064914582343845/142818327225\ 442917723677665725546934130689105975649*c_0101_5^5 - 60597042848346047501489550337211595663253728972031633/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^4 - 174123949561772376844875664487034157879175154130815217/142818327225\ 442917723677665725546934130689105975649*c_0101_5^3 - 14100010836424541631439345953976653847907820879992438/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^2 + 9799886406529636547945037005511523878177363042659716/14281832722544\ 2917723677665725546934130689105975649*c_0101_5 - 617721624293755260288114497617661019984054373844180/142818327225442\ 917723677665725546934130689105975649, c_0101_0 + 1017563245826084921885061551025175507399394938366206/1428183\ 27225442917723677665725546934130689105975649*c_0101_5^21 + 31092088398595796835562962920857573939764993702552894/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^20 - 119094876676416613087515699847113701135450302075038030/142818327225\ 442917723677665725546934130689105975649*c_0101_5^19 - 468425759016729565359806704215078316151368073741958597/142818327225\ 442917723677665725546934130689105975649*c_0101_5^18 + 2430509565895966260868420621479829565478978190316802169/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^17 - 1163295566305525741017266791403715097757496514624516225/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^16 - 15362744139529201646542097891296018243251030890081237308/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^15 + 38821937238265920455295358395695973831057817939817428407/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^14 - 15339002097338270787944398516405129999186834048138457472/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^13 - 62019122104946075712831830023352516745609111760636532607/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^12 + 91338564174443655128632867331277253292899026200495775140/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^11 - 5079835068642333048417587068289780495170156689863468229/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^10 - 77391300610703112423736577373298079033642706337618205801/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^9 + 35443611434731340094614981228998562267038371862806794388/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^8 + 22057081524083891668770849047954022989817821953066380974/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^7 - 10773323430219832065207524239998914379001399269665876280/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^6 - 3112250895754551937958461361959170331139160860436657598/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^5 + 66819930409928399059782686015469145726660596436656445/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^4 + 593107684122385892448153100577608704167540354259555152/142818327225\ 442917723677665725546934130689105975649*c_0101_5^3 + 70834155731186812613540543568672123131833908413656963/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^2 - 30034277735761100155847873428524481416021376645101532/1428183272254\ 42917723677665725546934130689105975649*c_0101_5 + 1456885965439004116227992742685444789747212556457864/14281832722544\ 2917723677665725546934130689105975649, c_0101_2 - 357182213681481912290644166933832213964318524923189/14281832\ 7225442917723677665725546934130689105975649*c_0101_5^21 - 10870386954788002396764513187670694076289573094977329/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^20 + 43144973909195318873948357069161491677228881547540562/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^19 + 159720783445284685675830990012252466723065995343723902/142818327225\ 442917723677665725546934130689105975649*c_0101_5^18 - 874417468520019215165041908165935986750718046873548266/142818327225\ 442917723677665725546934130689105975649*c_0101_5^17 + 505888737428162521734934060707963024227042714774734970/142818327225\ 442917723677665725546934130689105975649*c_0101_5^16 + 5369227274379122088192243117234647759409921432881189451/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^15 - 14284911377009821816669419346505017946294905561151414717/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^14 + 6856761253692522652903270070794782959246175971182094978/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^13 + 21494054402156725270350083394841557651597603636177119003/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^12 - 34717911280150091585691469727394549779007372948461220655/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^11 + 4942884101774655176281562850141955913697987670182317770/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^10 + 27695350912135289349708595891202165712785202370147336038/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^9 - 15471473716920282864471914320561714347416447159525013203/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^8 - 7008593962884959988468778938318807770646333486603537566/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^7 + 4788004410271935248288665004036710391640045599171050543/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^6 + 903671749921836929799025178297155646597903269963504172/142818327225\ 442917723677665725546934130689105975649*c_0101_5^5 - 156793946805060751272514273036429628494658597233138487/142818327225\ 442917723677665725546934130689105975649*c_0101_5^4 - 233879746817794094191155109083125211393038030127053423/142818327225\ 442917723677665725546934130689105975649*c_0101_5^3 - 12046322377549630628487069995767594124669641973002458/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^2 + 14088646653926539206095595802969690854533247327368499/1428183272254\ 42917723677665725546934130689105975649*c_0101_5 - 999154421578643725527004763927069618273000698017776/142818327225442\ 917723677665725546934130689105975649, c_0101_3 + 701996674923144280767201531354608491537378667852663/14281832\ 7225442917723677665725546934130689105975649*c_0101_5^21 + 21431630754827794387117780457182579509079454946910695/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^20 - 82717686350316138457289229991290229824879042838647850/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^19 - 321056671234297760282425408178191129186762314027806478/142818327225\ 442917723677665725546934130689105975649*c_0101_5^18 + 1685233735732729521971754256694277890836677698609212317/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^17 - 845544311994510896113201043342698974342378764791565124/142818327225\ 442917723677665725546934130689105975649*c_0101_5^16 - 10579785836156208635107838438732394389837775063471145888/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^15 + 27057783469875870066599836996656282407272439870294833590/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^14 - 11261900489980389137974637114357052720741488179226245260/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^13 - 42544693652475632202011614053221272157128633859599119430/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^12 + 64129168001263310788072453049750028050670978950446149021/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^11 - 5076248261786864541324292332379447375045147233910379772/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^10 - 53375143097783656884866788905936903206830927291302680183/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^9 + 25823580960271382425699969249735343042617438308599494796/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^8 + 14659784220663068104394786123610135445032142074551979834/1428183272\ 25442917723677665725546934130689105975649*c_0101_5^7 - 7847341745169599643556017812899689023078932825142421647/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^6 - 1984228755431203325031805673104942389100913254089246088/14281832722\ 5442917723677665725546934130689105975649*c_0101_5^5 + 108405174337885236242517543936389196261278729071814264/142818327225\ 442917723677665725546934130689105975649*c_0101_5^4 + 413559703073100496191967407817348479882761598334373106/142818327225\ 442917723677665725546934130689105975649*c_0101_5^3 + 38753596306051511721150312133937897225390571094057525/1428183272254\ 42917723677665725546934130689105975649*c_0101_5^2 - 22484957916342010103064082018904152888165486708743853/1428183272254\ 42917723677665725546934130689105975649*c_0101_5 + 1351257147920927739551699145118288631924761633130652/14281832722544\ 2917723677665725546934130689105975649, c_0101_5^22 + 30*c_0101_5^21 - 134*c_0101_5^20 - 395*c_0101_5^19 + 2643*c_0101_5^18 - 2475*c_0101_5^17 - 14437*c_0101_5^16 + 46527*c_0101_5^15 - 36430*c_0101_5^14 - 52173*c_0101_5^13 + 123480*c_0101_5^12 - 55521*c_0101_5^11 - 72356*c_0101_5^10 + 77089*c_0101_5^9 + 1504*c_0101_5^8 - 22310*c_0101_5^7 + 3083*c_0101_5^6 + 1668*c_0101_5^5 + 505*c_0101_5^4 - 256*c_0101_5^3 - 62*c_0101_5^2 + 19*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB