Magma V2.19-8 Tue Aug 20 2013 16:15:57 on localhost [Seed = 3869735642] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0194 geometric_solution 4.00732966 oriented_manifold CS_known -0.0000000000000001 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 -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.735163684102 0.051744791348 2 0 2 0 0132 2310 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 -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.911300581087 0.043524365296 1 3 1 3 0132 0132 1023 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 1 -1 -1 0 1 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.869091004225 0.093832003079 4 2 4 2 0132 0132 1023 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 -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.815131650543 0.289639451955 3 5 3 6 0132 0132 1023 0132 0 0 0 0 0 -1 0 1 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 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.465810866533 0.861735195231 6 4 6 6 3012 0132 2310 3120 0 0 0 0 0 1 0 -1 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.517403305719 0.867839057416 5 5 4 5 3120 3201 0132 1230 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517403305719 0.867839057416 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_1'], '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_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], '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_0101_5']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_6, c_0101_0, c_0101_1, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 3292293738574462721007115256332926288810398776966/83607450447058872\ 63345290761494244353038521495*c_0101_5^22 - 7151296870585487844095817518961760711270799034193/16721490089411774\ 52669058152298848870607704299*c_0101_5^21 + 133350035096106849811250283581019750216944711145162/836074504470588\ 7263345290761494244353038521495*c_0101_5^20 - 133487263212739565030931031437786476894746170419724/836074504470588\ 7263345290761494244353038521495*c_0101_5^19 - 697672389927099761806168473445162770465972184411486/836074504470588\ 7263345290761494244353038521495*c_0101_5^18 + 2132033461310149295359412994866050625849791526375772/83607450447058\ 87263345290761494244353038521495*c_0101_5^17 + 1066329075767788214171378156437338167041223105772759/83607450447058\ 87263345290761494244353038521495*c_0101_5^16 - 11095025340059400717041472257273631026272235477088793/8360745044705\ 887263345290761494244353038521495*c_0101_5^15 + 432968044065221898547758264841082310341367001011327/440039212879257\ 224386594250604960229107290605*c_0101_5^14 + 40184512402887848299230986551039056995715789358460773/8360745044705\ 887263345290761494244353038521495*c_0101_5^13 - 778344636920172402093319798736176222663795867959171/880078425758514\ 44877318850120992045821458121*c_0101_5^12 - 77379066171966841713163932381075980068229378412784479/8360745044705\ 887263345290761494244353038521495*c_0101_5^11 + 36921790191174869233899315512578676349911341963702629/1672149008941\ 177452669058152298848870607704299*c_0101_5^10 + 64126214594235873294725862753934648425192119800509538/8360745044705\ 887263345290761494244353038521495*c_0101_5^9 - 34439532708091191792866380375959878162303444796633255/1672149008941\ 177452669058152298848870607704299*c_0101_5^8 - 23687196398422969113816339188181897481257311353931931/8360745044705\ 887263345290761494244353038521495*c_0101_5^7 + 50388577619682282640465836979563897880001910298023653/8360745044705\ 887263345290761494244353038521495*c_0101_5^6 + 11865822518526331956983785605550892646755409343853403/8360745044705\ 887263345290761494244353038521495*c_0101_5^5 - 2015498861874086180955479092448106257628306615377994/83607450447058\ 87263345290761494244353038521495*c_0101_5^4 - 76052047928403191505960553039157954404518063067669/4918085320415227\ 80196781809499661432531677735*c_0101_5^3 - 58048353234698854210822654190734791195042009866898/1672149008941177\ 452669058152298848870607704299*c_0101_5^2 + 35808904060698796852111648003898254721374364631282/8360745044705887\ 263345290761494244353038521495*c_0101_5 + 15887137543213579697378084321522760793169261635131/8360745044705887\ 263345290761494244353038521495, c_0011_0 - 1, c_0011_1 - 55114289418809186110755363460534165221650009/983617064083045\ 56039356361899932286506335547*c_0101_5^22 + 601510312983689253708939580857081818443025150/983617064083045560393\ 56361899932286506335547*c_0101_5^21 - 2269820820511664457423725852343316867989068509/98361706408304556039\ 356361899932286506335547*c_0101_5^20 + 2412026267184311450702875220445587159808754103/98361706408304556039\ 356361899932286506335547*c_0101_5^19 + 11357162632642087229129058158157059463471130082/9836170640830455603\ 9356361899932286506335547*c_0101_5^18 - 36156996717471879101400331324561994073140186116/9836170640830455603\ 9356361899932286506335547*c_0101_5^17 - 14755135170315775157534440752680546554615924614/9836170640830455603\ 9356361899932286506335547*c_0101_5^16 + 183630004452662313089851992640792564625402694154/983617064083045560\ 39356361899932286506335547*c_0101_5^15 - 7914992418318076180657231166138443805277083020/51769319162265555810\ 18755889470120342438713*c_0101_5^14 - 648696304358786486918101088666770450186005083252/983617064083045560\ 39356361899932286506335547*c_0101_5^13 + 66631089299316136211194840024240107445947844383/5176931916226555581\ 018755889470120342438713*c_0101_5^12 + 1163019697983682194083676821846779022899198869800/98361706408304556\ 039356361899932286506335547*c_0101_5^11 - 3064975704904674317268142244817717422979391354350/98361706408304556\ 039356361899932286506335547*c_0101_5^10 - 757812072225140356112235317397291972092803824426/983617064083045560\ 39356361899932286506335547*c_0101_5^9 + 2722757602677653345110219996072217200995381360210/98361706408304556\ 039356361899932286506335547*c_0101_5^8 + 95964116216294336952993135165319080265120359769/9836170640830455603\ 9356361899932286506335547*c_0101_5^7 - 702940791755696597786192445648456848914264677424/983617064083045560\ 39356361899932286506335547*c_0101_5^6 - 108651012726220157624986152532612432393999597774/983617064083045560\ 39356361899932286506335547*c_0101_5^5 + 21296256275730788601125439823139514086951755893/9836170640830455603\ 9356361899932286506335547*c_0101_5^4 + 15568021117754556251317711741492299579881211835/9836170640830455603\ 9356361899932286506335547*c_0101_5^3 + 3517517265078090687928638708748112693460685494/98361706408304556039\ 356361899932286506335547*c_0101_5^2 - 455867714940149792108128724971626807866671248/983617064083045560393\ 56361899932286506335547*c_0101_5 - 125686350384906836873424079602179081109515184/983617064083045560393\ 56361899932286506335547, c_0011_6 + 32333883332583515981647781747445339179143408/983617064083045\ 56039356361899932286506335547*c_0101_5^22 - 362599997251743548303087532722294060986256772/983617064083045560393\ 56361899932286506335547*c_0101_5^21 + 1438175377697923214049129987407831289065584752/98361706408304556039\ 356361899932286506335547*c_0101_5^20 - 1821006526012496571644207379508878606336712867/98361706408304556039\ 356361899932286506335547*c_0101_5^19 - 6215194802631920270349516188602764113596096817/98361706408304556039\ 356361899932286506335547*c_0101_5^18 + 23189037167168887204230898612990925113540491545/9836170640830455603\ 9356361899932286506335547*c_0101_5^17 + 2171962127543870709965950064208509216474118622/98361706408304556039\ 356361899932286506335547*c_0101_5^16 - 109963830220177935878732053162377074462722079040/983617064083045560\ 39356361899932286506335547*c_0101_5^15 + 6353560666046602352951762244682717225959960402/51769319162265555810\ 18755889470120342438713*c_0101_5^14 + 352214089393027581824589368337786962632022921020/983617064083045560\ 39356361899932286506335547*c_0101_5^13 - 45022642437083544602062820423187649410914261977/5176931916226555581\ 018755889470120342438713*c_0101_5^12 - 452748021967956130847895920462174858312286746108/983617064083045560\ 39356361899932286506335547*c_0101_5^11 + 1989978296463087233705075197907552822874698817827/98361706408304556\ 039356361899932286506335547*c_0101_5^10 - 106686803972111860237591003267623518898493882886/983617064083045560\ 39356361899932286506335547*c_0101_5^9 - 1698548382380614733482988629281593627945312406860/98361706408304556\ 039356361899932286506335547*c_0101_5^8 + 429266490996290652002566342374026624737458170194/983617064083045560\ 39356361899932286506335547*c_0101_5^7 + 398715225878489962532237234518479766968808423219/983617064083045560\ 39356361899932286506335547*c_0101_5^6 - 58224197884838617918067376366013503466031582078/9836170640830455603\ 9356361899932286506335547*c_0101_5^5 - 21999876721934748246403975017501088307368003082/9836170640830455603\ 9356361899932286506335547*c_0101_5^4 - 5914667897363449723359928832620536780296991513/98361706408304556039\ 356361899932286506335547*c_0101_5^3 + 10504707265220191154308733879510388506929628/9836170640830455603935\ 6361899932286506335547*c_0101_5^2 + 661702460407627426534742049778855715137174538/983617064083045560393\ 56361899932286506335547*c_0101_5 - 76797145708882528380088176360715329043376388/9836170640830455603935\ 6361899932286506335547, c_0101_0 + 67466297499184928732004989990479563436663911/983617064083045\ 56039356361899932286506335547*c_0101_5^22 - 730312534564486632497460882522377496115939623/983617064083045560393\ 56361899932286506335547*c_0101_5^21 + 2706958628169740061121939856461163873924706605/98361706408304556039\ 356361899932286506335547*c_0101_5^20 - 2644628397166821792063678038409771324194345994/98361706408304556039\ 356361899932286506335547*c_0101_5^19 - 14363666554788306024872224149497516664009705984/9836170640830455603\ 9356361899932286506335547*c_0101_5^18 + 43134485031777967357820727877653215851372555517/9836170640830455603\ 9356361899932286506335547*c_0101_5^17 + 23281701149934306786300940537126772950825834169/9836170640830455603\ 9356361899932286506335547*c_0101_5^16 - 225998259737093698903688607167964980952546671855/983617064083045560\ 39356361899932286506335547*c_0101_5^15 + 8441300324269665378761141082762374831429460308/51769319162265555810\ 18755889470120342438713*c_0101_5^14 + 826578218603004566998273955195017529310265769956/983617064083045560\ 39356361899932286506335547*c_0101_5^13 - 78021590454439041356644083091366436686614140576/5176931916226555581\ 018755889470120342438713*c_0101_5^12 - 1630957476129284787630025171760894740236212199268/98361706408304556\ 039356361899932286506335547*c_0101_5^11 + 3702169369781757644487727319518857158336442544582/98361706408304556\ 039356361899932286506335547*c_0101_5^10 + 1437281148604438743392964482958278485482676155984/98361706408304556\ 039356361899932286506335547*c_0101_5^9 - 3409673941863307351523900398943983237035145072870/98361706408304556\ 039356361899932286506335547*c_0101_5^8 - 599365825593796804788394241753742488373713422106/983617064083045560\ 39356361899932286506335547*c_0101_5^7 + 927025943049132332356379535942609633682039287074/983617064083045560\ 39356361899932286506335547*c_0101_5^6 + 261768217509825566399841431509247577573732346521/983617064083045560\ 39356361899932286506335547*c_0101_5^5 + 3778341658111897189408650203907240311015867314/98361706408304556039\ 356361899932286506335547*c_0101_5^4 - 15370752765631458919807027088402052690420436070/9836170640830455603\ 9356361899932286506335547*c_0101_5^3 - 6755392299270449757284673112709154522817564574/98361706408304556039\ 356361899932286506335547*c_0101_5^2 + 22770011459373035624129202296861954870013067/9836170640830455603935\ 6361899932286506335547*c_0101_5 + 136625257452796450516508375116203\ 065813390527/98361706408304556039356361899932286506335547, c_0101_1 - 57052091100974846148435725918565751211431116/983617064083045\ 56039356361899932286506335547*c_0101_5^22 + 636681595040360989536869427010248572392306759/983617064083045560393\ 56361899932286506335547*c_0101_5^21 - 2500418982598997680277719236726990918521477910/98361706408304556039\ 356361899932286506335547*c_0101_5^20 + 3053279796177333317078112788163610532569037940/98361706408304556039\ 356361899932286506335547*c_0101_5^19 + 11200413509747646767516218925475170062046322702/9836170640830455603\ 9356361899932286506335547*c_0101_5^18 - 40302767292915312382413823016812762638435033129/9836170640830455603\ 9356361899932286506335547*c_0101_5^17 - 6594919805666109726806384925928434045697103519/98361706408304556039\ 356361899932286506335547*c_0101_5^16 + 194556856258553327565416387224781644431873382319/983617064083045560\ 39356361899932286506335547*c_0101_5^15 - 10534854800081616113261085410550138906940683307/5176931916226555581\ 018755889470120342438713*c_0101_5^14 - 638456560758747242139042768871885380676617572711/983617064083045560\ 39356361899932286506335547*c_0101_5^13 + 77481122586807901278702845862598541021071783030/5176931916226555581\ 018755889470120342438713*c_0101_5^12 + 909738313610300984925642255699985506484075892346/983617064083045560\ 39356361899932286506335547*c_0101_5^11 - 3478688055355506722283430107382287910430746404605/98361706408304556\ 039356361899932286506335547*c_0101_5^10 - 96315932706463681253667560850655526713008032130/9836170640830455603\ 9356361899932286506335547*c_0101_5^9 + 3027736481466709083658614842754855538063943189648/98361706408304556\ 039356361899932286506335547*c_0101_5^8 - 464327635883757184778676124892391070231913640801/983617064083045560\ 39356361899932286506335547*c_0101_5^7 - 738088335130735699189401998197046154882008180622/983617064083045560\ 39356361899932286506335547*c_0101_5^6 + 3033370732507358367024230091281452548442401496/98361706408304556039\ 356361899932286506335547*c_0101_5^5 + 28810774595716324021590375501179345966695386465/9836170640830455603\ 9356361899932286506335547*c_0101_5^4 + 13529454109053059752876642777879194011111405768/9836170640830455603\ 9356361899932286506335547*c_0101_5^3 + 1608583317519674571750455727271306024768836600/98361706408304556039\ 356361899932286506335547*c_0101_5^2 - 845561276606193346889267075785091305378111897/983617064083045560393\ 56361899932286506335547*c_0101_5 + 81320950530035810639570677984629472033920160/9836170640830455603935\ 6361899932286506335547, c_0101_4 + 115374595588198207132972299941691026700765842/98361706408304\ 556039356361899932286506335547*c_0101_5^22 - 1273848973393845602736766886016703336879678402/98361706408304556039\ 356361899932286506335547*c_0101_5^21 + 4909908384676939429005637767819631350291337301/98361706408304556039\ 356361899932286506335547*c_0101_5^20 - 5640084822077686750149116062577350030837088453/98361706408304556039\ 356361899932286506335547*c_0101_5^19 - 23147031086316333306409104820796962981147655006/9836170640830455603\ 9356361899932286506335547*c_0101_5^18 + 78602118550212801629783097901643582452931221975/9836170640830455603\ 9356361899932286506335547*c_0101_5^17 + 21720328170196843111586567616763703238070094010/9836170640830455603\ 9356361899932286506335547*c_0101_5^16 - 388242480667491091482931189542178921569030073794/983617064083045560\ 39356361899932286506335547*c_0101_5^15 + 18976801762950656604315934870469271838502785461/5176931916226555581\ 018755889470120342438713*c_0101_5^14 + 1320086836841239064839417417995832798554187277983/98361706408304556\ 039356361899932286506335547*c_0101_5^13 - 148006413120719504074335862799705010041772338440/517693191622655558\ 1018755889470120342438713*c_0101_5^12 - 2120784557393084236757941002699953439989464077463/98361706408304556\ 039356361899932286506335547*c_0101_5^11 + 6698522034753072713459876394110070474273285106618/98361706408304556\ 039356361899932286506335547*c_0101_5^10 + 879495406312203382881383315997386933028106454953/983617064083045560\ 39356361899932286506335547*c_0101_5^9 - 5825241004244924096091755517393556990974652159777/98361706408304556\ 039356361899932286506335547*c_0101_5^8 + 343357269606813453468898142526088928226789730484/983617064083045560\ 39356361899932286506335547*c_0101_5^7 + 1389487501129225252221917110432650984889026868334/98361706408304556\ 039356361899932286506335547*c_0101_5^6 + 132014453745509027426933121776968809513828418303/983617064083045560\ 39356361899932286506335547*c_0101_5^5 - 24505637267067604863251207109646404302455456425/9836170640830455603\ 9356361899932286506335547*c_0101_5^4 - 23202566122535271631575222000087271539426221968/9836170640830455603\ 9356361899932286506335547*c_0101_5^3 - 5089832287220907041828618102751164168837996076/98361706408304556039\ 356361899932286506335547*c_0101_5^2 + 1070635883288619580753346776096392236709867766/98361706408304556039\ 356361899932286506335547*c_0101_5 + 21222280900740386035295309409610399735770345/9836170640830455603935\ 6361899932286506335547, c_0101_5^23 - 11*c_0101_5^22 + 42*c_0101_5^21 - 46*c_0101_5^20 - 207*c_0101_5^19 + 678*c_0101_5^18 + 237*c_0101_5^17 - 3427*c_0101_5^16 + 2966*c_0101_5^15 + 11915*c_0101_5^14 - 24218*c_0101_5^13 - 20564*c_0101_5^12 + 59779*c_0101_5^11 + 11943*c_0101_5^10 - 56033*c_0101_5^9 + 49*c_0101_5^8 + 17184*c_0101_5^7 + 1340*c_0101_5^6 - 1322*c_0101_5^5 - 304*c_0101_5^4 - 27*c_0101_5^3 + 27*c_0101_5^2 + 4*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB