Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 661043741] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2439 geometric_solution 5.78551838 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.106467904136 0.610985063103 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 0 1 -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 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.080544274034 0.730728316339 4 1 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -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 -1 1 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.426713072510 0.566013506809 5 6 4 1 1023 1023 2310 0132 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 -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.426713072510 0.566013506809 2 3 4 4 0132 3201 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562399386578 1.582006588932 5 3 5 2 2031 1023 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 1 -1 -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.842537247039 0.663685186348 3 6 2 6 1023 1302 0132 2031 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 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.667967347353 0.345851383190 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : negation(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' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0101_2'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(d['c_0011_0']), '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' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0110_6'], 'c_1001_0' : negation(d['c_0101_1']), '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_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0110_6'], 'c_1010_1' : d['c_0101_1'], '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_3, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 724318061530788651396887301562590547346149680/711264516526863777625\ 79850982675184020142749*c_0110_6^21 + 4434037344413906493651594819479810543483580952/71126451652686377762\ 579850982675184020142749*c_0110_6^20 + 748759958710506949241922730618735015464895671/547126551174510598173\ 6911614051937232318673*c_0110_6^19 + 14051710316434595465721549287929642755763596567/7112645165268637776\ 2579850982675184020142749*c_0110_6^18 + 19731248172950449150462113524212915485428074580/7112645165268637776\ 2579850982675184020142749*c_0110_6^17 + 4163679828654687449424147472326305843889543926/71126451652686377762\ 579850982675184020142749*c_0110_6^16 - 43050295622843146708650942788181551434001950123/7112645165268637776\ 2579850982675184020142749*c_0110_6^15 - 81303491013402240324045948738109303178246810965/7112645165268637776\ 2579850982675184020142749*c_0110_6^14 - 58218713100980962155120693046960298506948517938/7112645165268637776\ 2579850982675184020142749*c_0110_6^13 + 4876935976950996454623297799128993654963070240/71126451652686377762\ 579850982675184020142749*c_0110_6^12 + 14602105955590974455466780139376192322293675300/7112645165268637776\ 2579850982675184020142749*c_0110_6^11 + 34169195600766239995081564275080279933831937252/7112645165268637776\ 2579850982675184020142749*c_0110_6^10 + 50893363286514923724009850997880647827756255515/7112645165268637776\ 2579850982675184020142749*c_0110_6^9 + 1031308114599717926438561359901249705187565127/54712655117451059817\ 36911614051937232318673*c_0110_6^8 + 6480258497365468913640174984601839110275542495/71126451652686377762\ 579850982675184020142749*c_0110_6^7 - 1118593612589454612094610563365176148289172499/71126451652686377762\ 579850982675184020142749*c_0110_6^6 + 77502276136607596573704177570817899621884648/3092454419682016424459\ 993520985877566093163*c_0110_6^5 - 6373855435221753956717271309139000154701473543/71126451652686377762\ 579850982675184020142749*c_0110_6^4 - 8850006574782412704516542978873296708400979167/71126451652686377762\ 579850982675184020142749*c_0110_6^3 + 112894563367686447126806664106794405119543406/309245441968201642445\ 9993520985877566093163*c_0110_6^2 - 776821542207676295690382935827918231525525326/711264516526863777625\ 79850982675184020142749*c_0110_6 - 382467354652634263743567209575657670145013032/711264516526863777625\ 79850982675184020142749, c_0011_0 - 1, c_0011_3 - 5801795001695975556699580333139395075306490/7991736140751278\ 40028987089692979595731941*c_0110_6^21 - 18428005556767215288260607136663239959164301/7991736140751278400289\ 87089692979595731941*c_0110_6^20 - 16691422665877645302096097323338259276273945/4917991471231555938639\ 92055195679751219656*c_0110_6^19 - 404375851660493813750468998207079410139327097/639338891260102272023\ 1896717543836765855528*c_0110_6^18 - 78318293285246296933651628698860420148311951/1598347228150255680057\ 974179385959191463882*c_0110_6^17 + 40498872779250502850830826391519149222770285/7991736140751278400289\ 87089692979595731941*c_0110_6^16 + 661396672536522030298345665175041253899151105/319669445630051136011\ 5948358771918382927764*c_0110_6^15 + 1538928890994886803273599416603564838236068097/63933889126010227202\ 31896717543836765855528*c_0110_6^14 + 490986582823861369916126974482415185710405643/639338891260102272023\ 1896717543836765855528*c_0110_6^13 + 40765087531714758385362797584220007648774361/3196694456300511360115\ 948358771918382927764*c_0110_6^12 - 615384281893975229647401133927783031401106023/639338891260102272023\ 1896717543836765855528*c_0110_6^11 - 867236893664769190242525134430751470816070955/639338891260102272023\ 1896717543836765855528*c_0110_6^10 - 72266242495179186166250948654187706016177791/7991736140751278400289\ 87089692979595731941*c_0110_6^9 - 209118574747703104394543789093317\ 42011907373/491799147123155593863992055195679751219656*c_0110_6^8 - 7654062477129752340478583892491217217534813/63933889126010227202318\ 96717543836765855528*c_0110_6^7 - 395490905576190696550458377989876\ 27820737313/3196694456300511360115948358771918382927764*c_0110_6^6 + 2912216598579327326818462502979644433978697/27797343098265316174921\ 2900762775511558936*c_0110_6^5 + 1362865421500891686211372985542282\ 0361766970/799173614075127840028987089692979595731941*c_0110_6^4 + 3679969111980136844098323313571775522453795/79917361407512784002898\ 7089692979595731941*c_0110_6^3 - 2134210580703147083296191155019038\ 40128945/277973430982653161749212900762775511558936*c_0110_6^2 - 4066968242172443513364128983911517231242757/31966944563005113601159\ 48358771918382927764*c_0110_6 - 40635386880910294477651469317170139\ 52961041/6393388912601022720231896717543836765855528, c_0101_0 - 295589278913859422005727889982763646080/38970771642616074512\ 556058404104920063*c_0110_6^21 - 9783935286030088978292971214371947\ 99632/38970771642616074512556058404104920063*c_0110_6^20 - 115067509891151302147255131070196933072/299775166481662111635046603\ 1084993851*c_0110_6^19 - 2723397440274169500232940647484305681005/3\ 8970771642616074512556058404104920063*c_0110_6^18 - 2312960803573994884591221138853964295059/38970771642616074512556058\ 404104920063*c_0110_6^17 + 1807680864677562131529404862301296741891\ /38970771642616074512556058404104920063*c_0110_6^16 + 8646062143984829345302031973535448931768/38970771642616074512556058\ 404104920063*c_0110_6^15 + 1060704862011554797977335417439228064227\ 1/38970771642616074512556058404104920063*c_0110_6^14 + 3914642260988675644832313658785604332190/38970771642616074512556058\ 404104920063*c_0110_6^13 + 755831075242904196273650889392813654598/\ 38970771642616074512556058404104920063*c_0110_6^12 - 3161023747987715709721152242005977723072/38970771642616074512556058\ 404104920063*c_0110_6^11 - 5130004123800985622376851897923607712529\ /38970771642616074512556058404104920063*c_0110_6^10 - 3980519450835016137107310525231975382213/38970771642616074512556058\ 404104920063*c_0110_6^9 - 153175636385612183614162546406439097357/2\ 997751664816621116350466031084993851*c_0110_6^8 - 455675684119360120419542741819497561167/389707716426160745125560584\ 04104920063*c_0110_6^7 - 979759262294349044945513690635535264165/38\ 970771642616074512556058404104920063*c_0110_6^6 + 413056667438498952306063752014108377/169438137576591628315461123496\ 1083481*c_0110_6^5 + 616422168875331897356501938470234548448/389707\ 71642616074512556058404104920063*c_0110_6^4 + 228956253017604722088038868592815559035/389707716426160745125560584\ 04104920063*c_0110_6^3 - 3185822543800046500302915843481601240/1694\ 381375765916283154611234961083481*c_0110_6^2 - 62175235215212090878557776837799394235/3897077164261607451255605840\ 4104920063*c_0110_6 + 12945343800400654650105407658418415646/389707\ 71642616074512556058404104920063, c_0101_1 + 67352771973639424343482391921032264000/389707716426160745125\ 56058404104920063*c_0110_6^21 + 28065338998228064572756690431658895\ 7040/38970771642616074512556058404104920063*c_0110_6^20 + 45076079352099131531629049253227098252/2997751664816621116350466031\ 084993851*c_0110_6^19 + 1098715076349420084371285945909825473113/38\ 970771642616074512556058404104920063*c_0110_6^18 + 1362663824371990554464469699063342926273/38970771642616074512556058\ 404104920063*c_0110_6^17 + 588169574421054854147681607894085786146/\ 38970771642616074512556058404104920063*c_0110_6^16 - 1817548365168614634528415648480843350372/38970771642616074512556058\ 404104920063*c_0110_6^15 - 4338645003034414174944982115118224128702\ /38970771642616074512556058404104920063*c_0110_6^14 - 4593096537361479208181329238216052343380/38970771642616074512556058\ 404104920063*c_0110_6^13 - 3138266347281001726340118181480932521489\ /38970771642616074512556058404104920063*c_0110_6^12 - 553345600975265031513868493965646423978/389707716426160745125560584\ 04104920063*c_0110_6^11 + 1446514127064065443109715827849717078159/\ 38970771642616074512556058404104920063*c_0110_6^10 + 2487037946036878088362956632175031951656/38970771642616074512556058\ 404104920063*c_0110_6^9 + 175215855000092054146917935501059558804/2\ 997751664816621116350466031084993851*c_0110_6^8 + 1549560189690960638007208958358659754044/38970771642616074512556058\ 404104920063*c_0110_6^7 + 764651996415853038784763918456363831883/3\ 8970771642616074512556058404104920063*c_0110_6^6 + 17308955984552210484349491142594024460/1694381375765916283154611234\ 961083481*c_0110_6^5 + 29180876024537362176108060112011092064/38970\ 771642616074512556058404104920063*c_0110_6^4 - 191429276577162830324819653991065695368/389707716426160745125560584\ 04104920063*c_0110_6^3 - 7055473202946316848639399427735515292/1694\ 381375765916283154611234961083481*c_0110_6^2 - 43350547211956951603980427403948429943/3897077164261607451255605840\ 4104920063*c_0110_6 + 22030150421946850501899666569822562161/389707\ 71642616074512556058404104920063, c_0101_2 + 6640911133697582042866051691452900430991330/7991736140751278\ 40028987089692979595731941*c_0110_6^21 + 23282558917135461595975306855685963802821697/7991736140751278400289\ 87089692979595731941*c_0110_6^20 + 23590362913666500362393320350046566623223677/4917991471231555938639\ 92055195679751219656*c_0110_6^19 + 549381715021399850034617841142250851430061469/639338891260102272023\ 1896717543836765855528*c_0110_6^18 + 128987211622808818865547507402980191557886659/159834722815025568005\ 7974179385959191463882*c_0110_6^17 - 29349556571569082006568612291908053265600447/7991736140751278400289\ 87089692979595731941*c_0110_6^16 - 817860968354235943747346871510331290025894673/319669445630051136011\ 5948358771918382927764*c_0110_6^15 - 2272155997491649231966572530594355907760796861/63933889126010227202\ 31896717543836765855528*c_0110_6^14 - 1173790431007036471013462312504540737387515591/63933889126010227202\ 31896717543836765855528*c_0110_6^13 - 147866842194181596738986596187718193542790953/319669445630051136011\ 5948358771918382927764*c_0110_6^12 + 659224940380382623806415097240472273996609979/639338891260102272023\ 1896717543836765855528*c_0110_6^11 + 1154261852199820554726928761084586767757829855/63933889126010227202\ 31896717543836765855528*c_0110_6^10 + 126979015670635119127869640883650758379561025/799173614075127840028\ 987089692979595731941*c_0110_6^9 + 39345123624834212075465131974816117886154257/4917991471231555938639\ 92055195679751219656*c_0110_6^8 + 129252179875404102760736238265335\ 782084563529/6393388912601022720231896717543836765855528*c_0110_6^7 + 66591042392880480688283201801042676889386989/31966944563005113601\ 15948358771918382927764*c_0110_6^6 - 1081321969369737284023385939204799562640061/27797343098265316174921\ 2900762775511558936*c_0110_6^5 - 1627107339109281412583273199420194\ 9561238100/799173614075127840028987089692979595731941*c_0110_6^4 - 10048101799694806910399515573414305054813677/7991736140751278400289\ 87089692979595731941*c_0110_6^3 - 539641785842116248197424388198860\ 52802883/277973430982653161749212900762775511558936*c_0110_6^2 + 5980409610167747467893360911576201750572961/31966944563005113601159\ 48358771918382927764*c_0110_6 + 50415521047754832909459459463931389\ 16496069/6393388912601022720231896717543836765855528, c_0101_4 + 169913593009554006571399971710361305263170/61474893390394449\ 232999006899459968902457*c_0110_6^21 + 577792500933784176641341285176834421393713/614748933903944492329990\ 06899459968902457*c_0110_6^20 + 75064765437310461715766875299942039\ 79258121/491799147123155593863992055195679751219656*c_0110_6^19 + 13489590369304504913788746229125362073521645/4917991471231555938639\ 92055195679751219656*c_0110_6^18 + 2881296643094975347158977956532806822627735/12294978678078889846599\ 8013798919937804914*c_0110_6^17 - 959660842100687536955089160977527\ 498005850/61474893390394449232999006899459968902457*c_0110_6^16 - 21584668137575891981646635940575011825912773/2458995735615777969319\ 96027597839875609828*c_0110_6^15 - 58139746811655542781977438554559489782514029/4917991471231555938639\ 92055195679751219656*c_0110_6^14 - 28364742353292225241657687397984378729217071/4917991471231555938639\ 92055195679751219656*c_0110_6^13 - 1069211419803694929646694365279171765114213/24589957356157779693199\ 6027597839875609828*c_0110_6^12 + 282286913064178371421575600708280\ 84930216027/491799147123155593863992055195679751219656*c_0110_6^11 + 36025800856120411394381455138073075203177535/4917991471231555938639\ 92055195679751219656*c_0110_6^10 + 3692098048965051797430037937808532177688978/61474893390394449232999\ 006899459968902457*c_0110_6^9 + 12777303930270996923128800064695767\ 686530573/491799147123155593863992055195679751219656*c_0110_6^8 - 1002648818608639393854013950165680606343159/49179914712315559386399\ 2055195679751219656*c_0110_6^7 - 1239094625622225847013134399446587\ 214466931/245899573561577796931996027597839875609828*c_0110_6^6 - 203899499754397959100374473751269282110085/213825716140502432114779\ 15443290423966072*c_0110_6^5 - 631245347652138718884343613003990556\ 436323/61474893390394449232999006899459968902457*c_0110_6^4 - 500591324705273818151659254558765246689024/614748933903944492329990\ 06899459968902457*c_0110_6^3 - 734529675215223209522637376323791333\ 7859/21382571614050243211477915443290423966072*c_0110_6^2 + 344927342350744468840265912940893090712565/245899573561577796931996\ 027597839875609828*c_0110_6 + 4104806412096264080771638856026209749\ 02709/491799147123155593863992055195679751219656, c_0110_6^22 + 29/10*c_0110_6^21 + 301/80*c_0110_6^20 + 581/80*c_0110_6^19 + 41/10*c_0110_6^18 - 46/5*c_0110_6^17 - 1081/40*c_0110_6^16 - 1993/80*c_0110_6^15 + 1/80*c_0110_6^14 + 121/40*c_0110_6^13 + 1127/80*c_0110_6^12 + 1159/80*c_0110_6^11 + 143/20*c_0110_6^10 + 81/80*c_0110_6^9 - 27/16*c_0110_6^8 + 59/40*c_0110_6^7 - 143/80*c_0110_6^6 - 41/20*c_0110_6^5 + 39/80*c_0110_6^3 + 7/40*c_0110_6^2 + 1/80*c_0110_6 - 1/20 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.250 seconds, Total memory usage: 32.09MB