Magma V2.19-8 Tue Aug 20 2013 16:17:00 on localhost [Seed = 4206585385] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1254 geometric_solution 5.15181233 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 2310 2310 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 -1 0 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.257114827136 0.690832981489 0 0 4 3 0132 3201 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 1 -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 0.473195779425 1.271413456663 0 0 4 3 3201 0132 2310 2310 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 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.473195779425 1.271413456663 2 5 1 5 3201 0132 0132 1023 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 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.815236484836 0.504727644546 4 2 4 1 2310 3201 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.533403451968 0.836314527831 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.713711534602 0.149226592173 5 6 5 6 0132 1302 1023 2031 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.639527365968 0.055715577142 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_3']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : 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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0110_3']), 'c_1001_3' : d['c_0110_3'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0110_3'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0110_3'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0110_3']), 'c_1010_1' : d['c_0110_3'], '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_1, c_0101_5, c_0101_6, c_0110_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 33718178797399784933780569603922156323557303079927808/1709299561398\ 1500948822821669644333309440208756545*c_0110_3^21 - 5583756779101521268010287985837659966678579412992/20421739084804660\ 631807433297066109091326414285*c_0110_3^20 + 41555738572855093683157978607907041923750932512768/6126521725441398\ 1895422299891198327273979242855*c_0110_3^19 - 21007300762612984733060828947942524110908068135108608/1709299561398\ 1500948822821669644333309440208756545*c_0110_3^18 - 5149693357704917237582372170376654443593444676173824/56976652046605\ 00316274273889881444436480069585515*c_0110_3^17 - 11098314241619385246196578845135396509185116713091072/5697665204660\ 500316274273889881444436480069585515*c_0110_3^16 - 30695411946806708377172249951409918667072869374578688/1709299561398\ 1500948822821669644333309440208756545*c_0110_3^15 + 14151968902052309088891692847924593853164837232062464/1709299561398\ 1500948822821669644333309440208756545*c_0110_3^14 - 61042515548209602854341584619489328050345207368704/3675913035264838\ 9137253379934718996364387545713*c_0110_3^13 + 11898519675466064287731078867970076705298692975191040/3418599122796\ 300189764564333928866661888041751309*c_0110_3^12 - 46604817912299840734100135130599447677142697776384/5012608684452053\ 0641709154456434995042346653245*c_0110_3^11 + 2683850823385181048539049134588998065939436289019008/11395330409321\ 00063254854777976288887296013917103*c_0110_3^10 + 2686391903591998839813323170657110626254392896142848/56976652046605\ 00316274273889881444436480069585515*c_0110_3^9 - 10186676080340323777043393544850056575407637759411552/1709299561398\ 1500948822821669644333309440208756545*c_0110_3^8 + 1576392026560606484096718675135527236135061372143664/15539086921801\ 36449892983788149484846312746250595*c_0110_3^7 - 8835731537543155675632421354276556648460344519064824/56976652046605\ 00316274273889881444436480069585515*c_0110_3^6 + 670237348159777704277666820052566783876480987410520/113953304093210\ 0063254854777976288887296013917103*c_0110_3^5 - 9295367046220950475670082852564345482792510751073762/17092995613981\ 500948822821669644333309440208756545*c_0110_3^4 + 489102176477348117837334337161052640035438590296396/341859912279630\ 0189764564333928866661888041751309*c_0110_3^3 - 2231960395964573127143215413881322568692802573560361/17092995613981\ 500948822821669644333309440208756545*c_0110_3^2 - 5709915070379786352603054674217856171016302293758/11027739105794516\ 7411760139804156989093162637139*c_0110_3 - 208276085234786266456299785617613873702637398309588/569766520466050\ 0316274273889881444436480069585515, c_0011_0 - 1, c_0011_3 + 8439760994330620523384977404406289219486482432/3713043469964\ 48375123771514492111074387752987*c_0110_3^21 - 6964115794371647068251651174859320283218051072/37130434699644837512\ 3771514492111074387752987*c_0110_3^20 + 1177876998783454130214582739361944798556061696/37130434699644837512\ 3771514492111074387752987*c_0110_3^19 + 1357157818624134995236436344225308547978231808/37130434699644837512\ 3771514492111074387752987*c_0110_3^18 - 7583944262198274955902576618204118302661345280/37130434699644837512\ 3771514492111074387752987*c_0110_3^17 - 4974098760001262632355575601651789926794592256/37130434699644837512\ 3771514492111074387752987*c_0110_3^16 - 860422985002340909283745222210744242651725824/371304346996448375123\ 771514492111074387752987*c_0110_3^15 + 6463958875474870132604392697785233058671222784/37130434699644837512\ 3771514492111074387752987*c_0110_3^14 - 12146756604154074553525553486957152872835477504/3713043469964483751\ 23771514492111074387752987*c_0110_3^13 + 18424690754672095567446179832936685322447124480/3713043469964483751\ 23771514492111074387752987*c_0110_3^12 - 3166163343352187892657075253315999212344491008/37130434699644837512\ 3771514492111074387752987*c_0110_3^11 - 2017411130969468323225633177898576909160257536/37130434699644837512\ 3771514492111074387752987*c_0110_3^10 + 11821375874052850304311911174676161224558474496/3713043469964483751\ 23771514492111074387752987*c_0110_3^9 - 10200707973984095923431500861267926866977932928/3713043469964483751\ 23771514492111074387752987*c_0110_3^8 + 3884955370343841045722631783185818023709625728/37130434699644837512\ 3771514492111074387752987*c_0110_3^7 - 1794192003670046457760626056597245635841479936/37130434699644837512\ 3771514492111074387752987*c_0110_3^6 - 1789260700412230626052608495201703914495828864/37130434699644837512\ 3771514492111074387752987*c_0110_3^5 + 1266801856698219543990489033796044926980588344/37130434699644837512\ 3771514492111074387752987*c_0110_3^4 - 1082991567892912494265316192241202068585163788/37130434699644837512\ 3771514492111074387752987*c_0110_3^3 + 209481563981320967492040340092298661876886702/371304346996448375123\ 771514492111074387752987*c_0110_3^2 + 85933235009594761511306202054606322902942390/3713043469964483751237\ 71514492111074387752987*c_0110_3 - 216001826672648061773464140495635446611223717/371304346996448375123\ 771514492111074387752987, c_0101_0 - 16267912950663433707239160234870132729118720000/371304346996\ 448375123771514492111074387752987*c_0110_3^21 - 5868659780840222729570713108684383268177969152/37130434699644837512\ 3771514492111074387752987*c_0110_3^20 + 9968183395164917917342933330713171393766948864/37130434699644837512\ 3771514492111074387752987*c_0110_3^19 + 3557931591245848097874553341840880049337204736/37130434699644837512\ 3771514492111074387752987*c_0110_3^18 + 11779225259367400245044975501936674527703531520/3713043469964483751\ 23771514492111074387752987*c_0110_3^17 + 18028550590306795471152111648282099769707528192/3713043469964483751\ 23771514492111074387752987*c_0110_3^16 + 14894335412273163087829665193117579691457134592/3713043469964483751\ 23771514492111074387752987*c_0110_3^15 - 10806968971870060830599982662756691420813273088/3713043469964483751\ 23771514492111074387752987*c_0110_3^14 + 1715821660009452790179818070480556131428335616/37130434699644837512\ 3771514492111074387752987*c_0110_3^13 - 12361606556840733984355842616303941010224759296/3713043469964483751\ 23771514492111074387752987*c_0110_3^12 - 20678873043469090356549191259475145692106171904/3713043469964483751\ 23771514492111074387752987*c_0110_3^11 + 4208911258934303077954806462018407758466739072/37130434699644837512\ 3771514492111074387752987*c_0110_3^10 - 14504719866286239532500845565673751478736365504/3713043469964483751\ 23771514492111074387752987*c_0110_3^9 + 4532263776350460553554528506701675965516899264/37130434699644837512\ 3771514492111074387752987*c_0110_3^8 + 5782772428692980980873142052321705835237576304/37130434699644837512\ 3771514492111074387752987*c_0110_3^7 - 200377080696531447315626707888158935048447032/371304346996448375123\ 771514492111074387752987*c_0110_3^6 + 6268399100399502862566190130725539170631638732/37130434699644837512\ 3771514492111074387752987*c_0110_3^5 - 2160243302842596826426294069405592472434071484/37130434699644837512\ 3771514492111074387752987*c_0110_3^4 + 900455666783796951744116271883597634386077855/371304346996448375123\ 771514492111074387752987*c_0110_3^3 + 804099346300129386537231379787823662889444105/371304346996448375123\ 771514492111074387752987*c_0110_3^2 + 347621050320138539652680658321762122347114398/371304346996448375123\ 771514492111074387752987*c_0110_3 + 353063099673477325170907119080241832012871621/371304346996448375123\ 771514492111074387752987, c_0101_1 + 54719924580325684600676043345338853451411947520/111391304098\ 9345125371314543476333223163258961*c_0110_3^21 + 4219880497165310261692488702203144609743241216/37130434699644837512\ 3771514492111074387752987*c_0110_3^20 - 3482057897185823534125825587429660141609025536/37130434699644837512\ 3771514492111074387752987*c_0110_3^19 - 11913165646906239954847136727291796165018894336/1113913040989345125\ 371314543476333223163258961*c_0110_3^18 - 13001402235769353652550792664222059088863870976/3713043469964483751\ 23771514492111074387752987*c_0110_3^17 - 22601946205586091559433678209062290025253529600/3713043469964483751\ 23771514492111074387752987*c_0110_3^16 - 57051079790922045617896027684191020830533965824/1113913040989345125\ 371314543476333223163258961*c_0110_3^15 + 22221833115605181237927369541634172228425982464/1113913040989345125\ 371314543476333223163258961*c_0110_3^14 - 10020502296560191672924032898806637040928219648/3713043469964483751\ 23771514492111074387752987*c_0110_3^13 + 61401630352250597207804740652918657060477058944/1113913040989345125\ 371314543476333223163258961*c_0110_3^12 + 49172318950241786802411892276916315035349412160/1113913040989345125\ 371314543476333223163258961*c_0110_3^11 + 5524096032604488135595206284406519445622470336/37130434699644837512\ 3771514492111074387752987*c_0110_3^10 + 15837443090714164344601170388216798997136293552/3713043469964483751\ 23771514492111074387752987*c_0110_3^9 - 7350128181001162248065646758706875681479166056/11139130409893451253\ 71314543476333223163258961*c_0110_3^8 - 3180785697426222656152295157854362274638410772/11139130409893451253\ 71314543476333223163258961*c_0110_3^7 - 5004387740064738654958884923733312617718969536/37130434699644837512\ 3771514492111074387752987*c_0110_3^6 - 3643278740248890060112361163107269805861625823/37130434699644837512\ 3771514492111074387752987*c_0110_3^5 - 4649386388479775711265060906177306558764979326/11139130409893451253\ 71314543476333223163258961*c_0110_3^4 - 2363936845563682513476738271886583314124466849/11139130409893451253\ 71314543476333223163258961*c_0110_3^3 - 2502865047434196320131970833761224395463276822/11139130409893451253\ 71314543476333223163258961*c_0110_3^2 - 1523524144526322256740576748819846935873599642/11139130409893451253\ 71314543476333223163258961*c_0110_3 - 258453865489245162897362823772308137620179700/371304346996448375123\ 771514492111074387752987, c_0101_5 + 14864622417129625653274650882420264777515991040/371304346996\ 448375123771514492111074387752987*c_0110_3^21 + 458169816328434136141929296469626964191543296/371304346996448375123\ 771514492111074387752987*c_0110_3^20 - 4126237424059172946417464641497447278550974464/37130434699644837512\ 3771514492111074387752987*c_0110_3^19 - 2361259796420295448103846844443656006790463488/37130434699644837512\ 3771514492111074387752987*c_0110_3^18 - 12486135448216610988797566453062344482697216000/3713043469964483751\ 23771514492111074387752987*c_0110_3^17 - 15729948530636162307454509488370393114529929216/3713043469964483751\ 23771514492111074387752987*c_0110_3^16 - 12472928731540430565252742900543455255325335552/3713043469964483751\ 23771514492111074387752987*c_0110_3^15 + 9106514356864910442588023741759098329228325376/37130434699644837512\ 3771514492111074387752987*c_0110_3^14 - 7782948960746553143972710393838506259869566976/37130434699644837512\ 3771514492111074387752987*c_0110_3^13 + 19769699653500949462217228037144342879150303104/3713043469964483751\ 23771514492111074387752987*c_0110_3^12 + 12183926701938955418474302959237710550255206080/3713043469964483751\ 23771514492111074387752987*c_0110_3^11 + 718690493398397674007345682069100940735254272/371304346996448375123\ 771514492111074387752987*c_0110_3^10 + 16447218324688418943107607339777597205720767120/3713043469964483751\ 23771514492111074387752987*c_0110_3^9 - 7310887449291576962571404688543264974461423000/37130434699644837512\ 3771514492111074387752987*c_0110_3^8 + 188953743820309319913930526369455669166953028/371304346996448375123\ 771514492111074387752987*c_0110_3^7 - 3335097350196898199283877873387492254589034876/37130434699644837512\ 3771514492111074387752987*c_0110_3^6 - 4988773748158875098722165299756719831133347289/37130434699644837512\ 3771514492111074387752987*c_0110_3^5 + 572088048244510853330958957393544907522202803/371304346996448375123\ 771514492111074387752987*c_0110_3^4 - 2104991937014318916501980360840230238186661479/37130434699644837512\ 3771514492111074387752987*c_0110_3^3 - 585348090916635238584420681688547409330037561/371304346996448375123\ 771514492111074387752987*c_0110_3^2 - 405265198458998336456414021989148468231967328/371304346996448375123\ 771514492111074387752987*c_0110_3 - 396290465502232733358839488535104775480519943/371304346996448375123\ 771514492111074387752987, c_0101_6 + 25006850938279608936411654670129620598877782016/371304346996\ 448375123771514492111074387752987*c_0110_3^21 + 5915538965653818322795419159936831048256454656/37130434699644837512\ 3771514492111074387752987*c_0110_3^20 - 3982553289380736072113152926882724227781033984/37130434699644837512\ 3771514492111074387752987*c_0110_3^19 - 7327486613596275744632593320693570921800253440/37130434699644837512\ 3771514492111074387752987*c_0110_3^18 - 17167715342958468786051960184335257847667933184/3713043469964483751\ 23771514492111074387752987*c_0110_3^17 - 27854118616874835907815595713744072931828922368/3713043469964483751\ 23771514492111074387752987*c_0110_3^16 - 26226258562815669686626103509224277108229359616/3713043469964483751\ 23771514492111074387752987*c_0110_3^15 + 10750002152458836521925688818296841563167562240/3713043469964483751\ 23771514492111074387752987*c_0110_3^14 - 11905217693785453075722255737577209896896711168/3713043469964483751\ 23771514492111074387752987*c_0110_3^13 + 27661240196074699453829214717317633954005847424/3713043469964483751\ 23771514492111074387752987*c_0110_3^12 + 16845126894895265438691080530037198342277808704/3713043469964483751\ 23771514492111074387752987*c_0110_3^11 + 7580083122099637417437016299193864641147564608/37130434699644837512\ 3771514492111074387752987*c_0110_3^10 + 19548573388364841750603947030441217744723721680/3713043469964483751\ 23771514492111074387752987*c_0110_3^9 - 7412194712244071330935639496858122081177263496/37130434699644837512\ 3771514492111074387752987*c_0110_3^8 + 1056252976118241108829223749884715730083618028/37130434699644837512\ 3771514492111074387752987*c_0110_3^7 - 7530348340140130820000022699153311307099611056/37130434699644837512\ 3771514492111074387752987*c_0110_3^6 - 4146203161523516260361956197995088923092007681/37130434699644837512\ 3771514492111074387752987*c_0110_3^5 + 75927083874993485377519653328418480964724952/3713043469964483751237\ 71514492111074387752987*c_0110_3^4 - 845688472229681871664334730001702663798885678/371304346996448375123\ 771514492111074387752987*c_0110_3^3 - 428618479845086695036316499910511794755026566/371304346996448375123\ 771514492111074387752987*c_0110_3^2 - 587078896336822021976718882523529548341207882/371304346996448375123\ 771514492111074387752987*c_0110_3 - 323596906424678416366598204462988682960683176/371304346996448375123\ 771514492111074387752987, c_0110_3^22 - 1/4*c_0110_3^19 - 3/4*c_0110_3^18 - 33/32*c_0110_3^17 - 29/32*c_0110_3^16 + 55/128*c_0110_3^15 - 93/128*c_0110_3^14 + 745/512*c_0110_3^13 + 403/1024*c_0110_3^12 + 399/1024*c_0110_3^11 + 3783/4096*c_0110_3^10 - 3755/8192*c_0110_3^9 + 3629/16384*c_0110_3^8 - 195/512*c_0110_3^7 - 9867/65536*c_0110_3^6 - 1177/32768*c_0110_3^5 - 5107/65536*c_0110_3^4 - 263/16384*c_0110_3^3 - 2201/65536*c_0110_3^2 - 1083/65536*c_0110_3 - 279/65536 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB