Magma V2.19-8 Tue Aug 20 2013 16:16:21 on localhost [Seed = 2378961257] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0625 geometric_solution 4.62289852 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 1023 2031 0 0 0 0 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 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 0.388665127592 0.048453239629 0 2 0 2 0132 0132 1023 2310 0 0 0 0 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 -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.251968265329 0.968717963748 1 1 3 4 3201 0132 0132 0132 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 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.875420406296 1.333625866026 4 5 4 2 1302 0132 1230 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.727157319159 0.557334049390 5 3 2 3 2310 2031 0132 3012 0 0 0 0 0 0 0 0 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 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.727157319159 0.557334049390 6 3 4 6 0132 0132 3201 1023 0 0 0 0 0 0 1 -1 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 -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.413291551192 0.218777250541 5 6 6 5 0132 1230 3012 1023 0 0 0 0 0 1 0 -1 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 1 -1 0 0 0 -1 1 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.473840687164 1.055708149361 ==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_0011_3'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0101_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0101_0']), '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' : d['c_0011_0'], 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : negation(d['c_0011_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_4']), 'c_1010_0' : d['c_0011_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_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 2 Groebner basis: [ t + 3*c_0101_6 + 5, c_0011_0 - 1, c_0011_3 + 1, c_0101_0 + c_0101_6, c_0101_1 - c_0101_6, c_0101_4 - 1, c_0101_5 + c_0101_6, c_0101_6^2 + c_0101_6 - 1 ], 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_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 20276017155479723893172860283381/29186221684944850810019434538524*c\ _0101_6^19 - 569839763203363320412416933945153/58372443369889701620\ 038869077048*c_0101_6^18 + 2040276623180702388365218382076465/58372\ 443369889701620038869077048*c_0101_6^17 - 153843601847922381200860701694793/29186221684944850810019434538524*\ c_0101_6^16 - 10692202693713903114167193269202111/58372443369889701\ 620038869077048*c_0101_6^15 + 19317287895862273773966915813885837/2\ 9186221684944850810019434538524*c_0101_6^14 - 2002767832980238601970074369954721/58372443369889701620038869077048\ *c_0101_6^13 - 51275199604350391749612090525673059/5837244336988970\ 1620038869077048*c_0101_6^12 - 9141979842195753859092242428044603/2\ 9186221684944850810019434538524*c_0101_6^11 - 79471031363474492216482092531499483/7296555421236212702504858634631\ *c_0101_6^10 - 48429947446261722475178500417702610/7296555421236212\ 702504858634631*c_0101_6^9 + 832821109569261218402662716550348157/2\ 9186221684944850810019434538524*c_0101_6^8 + 2104971637837886445192220720642777821/58372443369889701620038869077\ 048*c_0101_6^7 + 691640778353920329935723706347734577/5837244336988\ 9701620038869077048*c_0101_6^6 - 2754027735308578936700550032694296\ 71/58372443369889701620038869077048*c_0101_6^5 - 546370505862538091462905263679293503/583724433698897016200388690770\ 48*c_0101_6^4 - 16153184841901093503515986976906304/729655542123621\ 2702504858634631*c_0101_6^3 + 66310718498493122373292845629902771/2\ 9186221684944850810019434538524*c_0101_6^2 + 1104551081497229869469566895395253/58372443369889701620038869077048\ *c_0101_6 - 7292077199543548687353443900429865/58372443369889701620\ 038869077048, c_0011_0 - 1, c_0011_3 - 2259377090381598693408719285551/7296555421236212702504858634\ 631*c_0101_6^19 + 12324363348652339579397912468630/7296555421236212\ 702504858634631*c_0101_6^18 - 5600165008623876664594732966018/72965\ 55421236212702504858634631*c_0101_6^17 - 40325180282002260331834966152172/7296555421236212702504858634631*c_\ 0101_6^16 + 239268927635067668271275555654198/729655542123621270250\ 4858634631*c_0101_6^15 - 33587007699815728098297331717945/729655542\ 1236212702504858634631*c_0101_6^14 - 388722799730519691957265790114135/7296555421236212702504858634631*c\ _0101_6^13 - 713382832129208351601361858433664/72965554212362127025\ 04858634631*c_0101_6^12 - 4388941600594335478411161968435622/729655\ 5421236212702504858634631*c_0101_6^11 - 1656614221906651717075751429416089/7296555421236212702504858634631*\ c_0101_6^10 + 12072616390017630347753287486037730/72965554212362127\ 02504858634631*c_0101_6^9 + 16137448313244642556310634800302100/729\ 6555421236212702504858634631*c_0101_6^8 + 7147311607382027964462312510157114/7296555421236212702504858634631*\ c_0101_6^7 - 1017953403128932656280964124489391/7296555421236212702\ 504858634631*c_0101_6^6 - 3709732402112096504292913175662103/729655\ 5421236212702504858634631*c_0101_6^5 - 1291287263015922800907867686890991/7296555421236212702504858634631*\ c_0101_6^4 + 633115155304028012406469411407569/72965554212362127025\ 04858634631*c_0101_6^3 + 166906628850135083548238101935364/72965554\ 21236212702504858634631*c_0101_6^2 - 51283845760560110951907830589484/7296555421236212702504858634631*c_\ 0101_6 - 12385605527874236297466432388921/7296555421236212702504858\ 634631, c_0101_0 - 1131636193310544861362917714154/7296555421236212702504858634\ 631*c_0101_6^19 + 6770799503822744334032113198477/72965554212362127\ 02504858634631*c_0101_6^18 - 6805085692049608442388426088383/729655\ 5421236212702504858634631*c_0101_6^17 - 13967700077416955004282816285027/7296555421236212702504858634631*c_\ 0101_6^16 + 124024394131377037022720200713631/729655542123621270250\ 4858634631*c_0101_6^15 - 86812708011914157579061619783344/729655542\ 1236212702504858634631*c_0101_6^14 - 101420205364984519341992237517962/7296555421236212702504858634631*c\ _0101_6^13 - 347906204774109456216879594075586/72965554212362127025\ 04858634631*c_0101_6^12 - 2042032980624500074473510710619964/729655\ 5421236212702504858634631*c_0101_6^11 + 126001216548358272116398380101524/7296555421236212702504858634631*c\ _0101_6^10 + 5252189497473411404082728615189988/7296555421236212702\ 504858634631*c_0101_6^9 + 5542947004191084639383880462226975/729655\ 5421236212702504858634631*c_0101_6^8 + 2570294880749663809727836554437914/7296555421236212702504858634631*\ c_0101_6^7 - 268988606709610445205100940974168/72965554212362127025\ 04858634631*c_0101_6^6 - 1229866876896197952541022672382441/7296555\ 421236212702504858634631*c_0101_6^5 - 322555848072890026935504231758928/7296555421236212702504858634631*c\ _0101_6^4 + 78199102141458439449854708869645/7296555421236212702504\ 858634631*c_0101_6^3 + 25724461537776006960305906963167/72965554212\ 36212702504858634631*c_0101_6^2 + 10422395743408177187620086603398/\ 7296555421236212702504858634631*c_0101_6 - 1342642438380157477007003056373/7296555421236212702504858634631, c_0101_1 - 459163363711016475550276813059/72965554212362127025048586346\ 31*c_0101_6^19 + 2961263154634077758081117793866/729655542123621270\ 2504858634631*c_0101_6^18 - 4074476983041959786886689548634/7296555\ 421236212702504858634631*c_0101_6^17 - 4174047479652429073329539938730/7296555421236212702504858634631*c_0\ 101_6^16 + 52664280394101723218653926508027/72965554212362127025048\ 58634631*c_0101_6^15 - 58735034392963220676293790543204/72965554212\ 36212702504858634631*c_0101_6^14 - 21430553096729904660785110832660/7296555421236212702504858634631*c_\ 0101_6^13 - 125911681657394287037605785398135/729655542123621270250\ 4858634631*c_0101_6^12 - 759849598593267438697372447812274/72965554\ 21236212702504858634631*c_0101_6^11 + 421862343298725823562326547177524/7296555421236212702504858634631*c\ _0101_6^10 + 2049817120708198050232421499011170/7296555421236212702\ 504858634631*c_0101_6^9 + 1264251548819915598354143457951840/729655\ 5421236212702504858634631*c_0101_6^8 + 71531976094850387272958209784280/7296555421236212702504858634631*c_\ 0101_6^7 - 433512463544938660626070112113417/7296555421236212702504\ 858634631*c_0101_6^6 - 233880537806226497920598030184289/7296555421\ 236212702504858634631*c_0101_6^5 + 187148071260728985557278717220397/7296555421236212702504858634631*c\ _0101_6^4 + 100664169565151188661362294378966/729655542123621270250\ 4858634631*c_0101_6^3 - 24723265270572084416501247982675/7296555421\ 236212702504858634631*c_0101_6^2 - 23886156180621900974952456480453/7296555421236212702504858634631*c_\ 0101_6 + 5162145139869593217826831661136/72965554212362127025048586\ 34631, c_0101_4 + 606890166562843619479597300780/72965554212362127025048586346\ 31*c_0101_6^19 - 3512631852565759407093656403406/729655542123621270\ 2504858634631*c_0101_6^18 + 2926976966407213649724804903960/7296555\ 421236212702504858634631*c_0101_6^17 + 8184738085085857902449853361702/7296555421236212702504858634631*c_0\ 101_6^16 - 64492936693284418177458626973658/72965554212362127025048\ 58634631*c_0101_6^15 + 32504596637742782794509511945492/72965554212\ 36212702504858634631*c_0101_6^14 + 64228270647474640473462539828676/7296555421236212702504858634631*c_\ 0101_6^13 + 207268317114797627308923913398052/729655542123621270250\ 4858634631*c_0101_6^12 + 1117669225079378107232860291118375/7296555\ 421236212702504858634631*c_0101_6^11 + 140531340325480097910389545862366/7296555421236212702504858634631*c\ _0101_6^10 - 2885624636606953350527751472141228/7296555421236212702\ 504858634631*c_0101_6^9 - 3686693533663356970632444700579273/729655\ 5421236212702504858634631*c_0101_6^8 - 1816877797464084380679093706543297/7296555421236212702504858634631*\ c_0101_6^7 + 340500935442912617690793770790180/72965554212362127025\ 04858634631*c_0101_6^6 + 1031819496433380301464294374992444/7296555\ 421236212702504858634631*c_0101_6^5 + 439010477862622778081294284789862/7296555421236212702504858634631*c\ _0101_6^4 - 46777516511462271043315715579282/7296555421236212702504\ 858634631*c_0101_6^3 - 82269116134723464267492067252332/72965554212\ 36212702504858634631*c_0101_6^2 - 7700197947995173557842919580384/7\ 296555421236212702504858634631*c_0101_6 + 6055913442886780505770807245780/7296555421236212702504858634631, c_0101_5 + 373124445351884166635015424487/72965554212362127025048586346\ 31*c_0101_6^19 - 1762668351809589702899248202281/729655542123621270\ 2504858634631*c_0101_6^18 - 489013274870528814666647448613/72965554\ 21236212702504858634631*c_0101_6^17 + 6818725704956776825969223563482/7296555421236212702504858634631*c_0\ 101_6^16 - 33667257803147557315151065859194/72965554212362127025048\ 58634631*c_0101_6^15 - 23399983211187322750202906403393/72965554212\ 36212702504858634631*c_0101_6^14 + 60167262345734299624820543451720/7296555421236212702504858634631*c_\ 0101_6^13 + 178962352546516221249955730984831/729655542123621270250\ 4858634631*c_0101_6^12 + 803280770504437362468820763689148/72965554\ 21236212702504858634631*c_0101_6^11 + 831988596561093642086213797964289/7296555421236212702504858634631*c\ _0101_6^10 - 1690823910445667248705770603565133/7296555421236212702\ 504858634631*c_0101_6^9 - 4243174649514995984183669115484008/729655\ 5421236212702504858634631*c_0101_6^8 - 3351837676723266349688663097183717/7296555421236212702504858634631*\ c_0101_6^7 - 802103440406765373649490646637135/72965554212362127025\ 04858634631*c_0101_6^6 + 703966978402845552365204653408904/72965554\ 21236212702504858634631*c_0101_6^5 + 724456931762982766180533948643750/7296555421236212702504858634631*c\ _0101_6^4 + 95920043199150652351632843213664/7296555421236212702504\ 858634631*c_0101_6^3 - 92354201738103213621647852094889/72965554212\ 36212702504858634631*c_0101_6^2 - 4015873959272992897876673926138/7\ 296555421236212702504858634631*c_0101_6 + 4929818217361510253517045792851/7296555421236212702504858634631, c_0101_6^20 - 5*c_0101_6^19 + 19*c_0101_6^17 - 98*c_0101_6^16 - 33*c_0101_6^15 + 179*c_0101_6^14 + 390*c_0101_6^13 + 2090*c_0101_6^12 + 1620*c_0101_6^11 - 4996*c_0101_6^10 - 9509*c_0101_6^9 - 6439*c_0101_6^8 - 1169*c_0101_6^7 + 1705*c_0101_6^6 + 1280*c_0101_6^5 + 6*c_0101_6^4 - 165*c_0101_6^3 - 11*c_0101_6^2 + 12*c_0101_6 + 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB