Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 2378961330] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0199 geometric_solution 4.01254363 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 2310 3201 0 0 0 0 0 -1 1 0 -1 0 0 1 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 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.774730443590 0.059752618733 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.636650899773 0.253970641860 3 1 1 3 0132 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.133574397097 0.123861106573 2 4 4 2 0132 0132 1023 1023 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 0 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 1.085669215936 0.387196348825 5 3 3 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 -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 0 0 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505315402859 0.297771619518 4 6 6 6 0132 0321 1302 3201 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 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.508035258287 0.879705534578 5 5 4 5 2031 2310 0132 0321 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 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508035258287 0.879705534578 ==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_2'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_2']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : 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_2']), 'c_0011_4' : d['c_0011_2'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0011_2'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_2'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_0101_1'])})} 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_2, c_0011_6, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 12994510629307201384921453472713614482786312/3287885594372347148475\ 5875008399043457129*c_0101_4^23 - 128704484275492919597141866386762\ 1397297780/32878855943723471484755875008399043457129*c_0101_4^22 + 142280272624765653679682380592682887815335628/328788559437234714847\ 55875008399043457129*c_0101_4^21 - 89973346735958150398903447862352089886414259/3287885594372347148475\ 5875008399043457129*c_0101_4^20 - 652847820083042667815018460630703\ 738447512445/32878855943723471484755875008399043457129*c_0101_4^19 + 659967593017327871815081748310896728834317081/328788559437234714847\ 55875008399043457129*c_0101_4^18 + 3754991536246033612299884537694646418833016544/32878855943723471484\ 755875008399043457129*c_0101_4^17 - 3489484562557441791388011409450661913204850650/32878855943723471484\ 755875008399043457129*c_0101_4^16 - 13431826306123041027380425015272139402153430357/3287885594372347148\ 4755875008399043457129*c_0101_4^15 + 18907019836745169566975368186505566576762259746/3287885594372347148\ 4755875008399043457129*c_0101_4^14 + 36465838626816679126083516259829559194659474855/3287885594372347148\ 4755875008399043457129*c_0101_4^13 - 59119638471979195224708920368191462924459556612/3287885594372347148\ 4755875008399043457129*c_0101_4^12 - 90903958740862895975956025039319591758876027659/3287885594372347148\ 4755875008399043457129*c_0101_4^11 + 147971515920195771040667673061778151967850729423/328788559437234714\ 84755875008399043457129*c_0101_4^10 + 102688585226853272398626510425845881895153613855/328788559437234714\ 84755875008399043457129*c_0101_4^9 - 207458295392957898284252179158977837853662197281/328788559437234714\ 84755875008399043457129*c_0101_4^8 - 34067312909124844748735351608550901891012028105/3287885594372347148\ 4755875008399043457129*c_0101_4^7 + 139228268381596383040201838989003086981684465557/328788559437234714\ 84755875008399043457129*c_0101_4^6 - 11245959575931700803362651869033336487006476004/3287885594372347148\ 4755875008399043457129*c_0101_4^5 - 38557747878116779669026573559843057585127248630/3287885594372347148\ 4755875008399043457129*c_0101_4^4 + 7746168460761207420050426037216424086546257982/32878855943723471484\ 755875008399043457129*c_0101_4^3 + 2874174386217528538392340433367198844180194580/32878855943723471484\ 755875008399043457129*c_0101_4^2 - 564519802047937315474389844350746021072966893/328788559437234714847\ 55875008399043457129*c_0101_4 - 35678708453312090438469764452915378\ 962157216/32878855943723471484755875008399043457129, c_0011_0 - 1, c_0011_2 + 1667684062583185305059434015325891901639/2529142764901805498\ 827375000646080265933*c_0101_4^23 + 923004961215384144819897271857700597608/252914276490180549882737500\ 0646080265933*c_0101_4^22 - 180357466502421058733262783719850804977\ 07/2529142764901805498827375000646080265933*c_0101_4^21 + 3444835314756320731536919007485951253219/25291427649018054988273750\ 00646080265933*c_0101_4^20 + 87399795038958120639402812270266408233\ 590/2529142764901805498827375000646080265933*c_0101_4^19 - 47506418166809334048314044302710895123385/2529142764901805498827375\ 000646080265933*c_0101_4^18 - 5114882543861951868546768474230063943\ 09630/2529142764901805498827375000646080265933*c_0101_4^17 + 229520248508111767642827566175652278837146/252914276490180549882737\ 5000646080265933*c_0101_4^16 + 187498442521159314410581623035230320\ 1045728/2529142764901805498827375000646080265933*c_0101_4^15 - 1651631993529144167239168490963647256660743/25291427649018054988273\ 75000646080265933*c_0101_4^14 - 55794874810566557297114185901554897\ 09213325/2529142764901805498827375000646080265933*c_0101_4^13 + 5409278225927674188703674528265942861179434/25291427649018054988273\ 75000646080265933*c_0101_4^12 + 14440078495402882328415233593266913\ 866637277/2529142764901805498827375000646080265933*c_0101_4^11 - 13438705166722674782268894176349163773696334/2529142764901805498827\ 375000646080265933*c_0101_4^10 - 2001246537210345266181272828964744\ 5459522579/2529142764901805498827375000646080265933*c_0101_4^9 + 20005387544032494122312672494159524474910264/2529142764901805498827\ 375000646080265933*c_0101_4^8 + 13449959849497300448620428386350333\ 444975687/2529142764901805498827375000646080265933*c_0101_4^7 - 14451052073796907645025829383408926103045367/2529142764901805498827\ 375000646080265933*c_0101_4^6 - 40876659726292504153079235631994821\ 68117131/2529142764901805498827375000646080265933*c_0101_4^5 + 4139306844376052966583256130731840660009787/25291427649018054988273\ 75000646080265933*c_0101_4^4 + 300690873727868852527049946414883904\ 277411/2529142764901805498827375000646080265933*c_0101_4^3 - 313154241783220009499040937501661843215944/252914276490180549882737\ 5000646080265933*c_0101_4^2 - 1359952903285869390002312714557147462\ 6972/2529142764901805498827375000646080265933*c_0101_4 + 2989485741254274143973741462717518849668/25291427649018054988273750\ 00646080265933, c_0011_6 + 145983786091807896902442494835493386324/25291427649018054988\ 27375000646080265933*c_0101_4^23 - 49719299024205659885669274173141932418/2529142764901805498827375000\ 646080265933*c_0101_4^22 - 1604246712954767046384344223417010564067\ /2529142764901805498827375000646080265933*c_0101_4^21 + 1666833921765712525659911307621046492543/25291427649018054988273750\ 00646080265933*c_0101_4^20 + 68910744675475172915652675541456205810\ 25/2529142764901805498827375000646080265933*c_0101_4^19 - 10140039727841033808240750337458287607759/2529142764901805498827375\ 000646080265933*c_0101_4^18 - 3933543077313156350626351892772104023\ 3933/2529142764901805498827375000646080265933*c_0101_4^17 + 55646057816396005800201345501840490630730/2529142764901805498827375\ 000646080265933*c_0101_4^16 + 1361929200824462353153401230494987062\ 20937/2529142764901805498827375000646080265933*c_0101_4^15 - 266443619410299977684585287993485032387726/252914276490180549882737\ 5000646080265933*c_0101_4^14 - 330145352673143553028543991888096305\ 129675/2529142764901805498827375000646080265933*c_0101_4^13 + 802602226554241374452650376444809547686584/252914276490180549882737\ 5000646080265933*c_0101_4^12 + 799409029347083511281780238393453033\ 080927/2529142764901805498827375000646080265933*c_0101_4^11 - 2008673350189222352803351511916697087770031/25291427649018054988273\ 75000646080265933*c_0101_4^10 - 62755816682733716529021763516795177\ 0376277/2529142764901805498827375000646080265933*c_0101_4^9 + 2585249181321783160859625724065967786970021/25291427649018054988273\ 75000646080265933*c_0101_4^8 - 138981415023066018508404754441659507\ 675309/2529142764901805498827375000646080265933*c_0101_4^7 - 1550493342383074615554211423512272282921672/25291427649018054988273\ 75000646080265933*c_0101_4^6 + 236355006332019813713460346742001354\ 966883/2529142764901805498827375000646080265933*c_0101_4^5 + 429366845369577142589835886592164444435809/252914276490180549882737\ 5000646080265933*c_0101_4^4 - 2919935589443532140335363560652298483\ 7659/2529142764901805498827375000646080265933*c_0101_4^3 - 48757183901458949412644797450814966499029/2529142764901805498827375\ 000646080265933*c_0101_4^2 + 11841571290492611034597181206387714023\ 59/2529142764901805498827375000646080265933*c_0101_4 + 719533680774349420842588199394544802819/252914276490180549882737500\ 0646080265933, c_0101_0 - 774335839625695936590868884911291574854/25291427649018054988\ 27375000646080265933*c_0101_4^23 - 436141991501127948935706364555348733233/252914276490180549882737500\ 0646080265933*c_0101_4^22 + 839695706938026725032918737518225085927\ 4/2529142764901805498827375000646080265933*c_0101_4^21 - 1511937590178783356868624660488394529126/25291427649018054988273750\ 00646080265933*c_0101_4^20 - 40881760160338950584585365251054916204\ 001/2529142764901805498827375000646080265933*c_0101_4^19 + 21820247735000293490395048496834127327395/2529142764901805498827375\ 000646080265933*c_0101_4^18 + 2389877603902760889507276933231451507\ 38504/2529142764901805498827375000646080265933*c_0101_4^17 - 105452260715373348470557169986971555030912/252914276490180549882737\ 5000646080265933*c_0101_4^16 - 879109503413542968350962067548733656\ 111710/2529142764901805498827375000646080265933*c_0101_4^15 + 764512738038811658542886427654947348613065/252914276490180549882737\ 5000646080265933*c_0101_4^14 + 262415898653155375772183403907569777\ 5188726/2529142764901805498827375000646080265933*c_0101_4^13 - 2521429607437577053274057377132902089181049/25291427649018054988273\ 75000646080265933*c_0101_4^12 - 68000117975049103698414661337008732\ 17107001/2529142764901805498827375000646080265933*c_0101_4^11 + 6280610801027775889907520224875112298573865/25291427649018054988273\ 75000646080265933*c_0101_4^10 + 95276338315750777496357647234888623\ 18212135/2529142764901805498827375000646080265933*c_0101_4^9 - 9459696902071129137500049878705148191708656/25291427649018054988273\ 75000646080265933*c_0101_4^8 - 651399673708684417715215679199407275\ 3047109/2529142764901805498827375000646080265933*c_0101_4^7 + 6998583091127173899868905540947959156624677/25291427649018054988273\ 75000646080265933*c_0101_4^6 + 199601643191644751836198064979377861\ 9555061/2529142764901805498827375000646080265933*c_0101_4^5 - 2101615051698032775202484675026934851935166/25291427649018054988273\ 75000646080265933*c_0101_4^4 - 124631089113899622394434045564871041\ 010074/2529142764901805498827375000646080265933*c_0101_4^3 + 180123840638712448726375257399800809273073/252914276490180549882737\ 5000646080265933*c_0101_4^2 - 4615864178113481523650806173258931425\ 321/2529142764901805498827375000646080265933*c_0101_4 - 2384738898690885892699758553775909710234/25291427649018054988273750\ 00646080265933, c_0101_1 - 1065732689674254707203248102810070205141/2529142764901805498\ 827375000646080265933*c_0101_4^23 - 451987800072365555525835842154142521264/252914276490180549882737500\ 0646080265933*c_0101_4^22 + 114472270028855718464899473607760684208\ 33/2529142764901805498827375000646080265933*c_0101_4^21 - 3677205650230402889520521819374690823637/25291427649018054988273750\ 00646080265933*c_0101_4^20 - 53959424774317096485741087310666947128\ 359/2529142764901805498827375000646080265933*c_0101_4^19 + 36197846657866483848617913454568114526430/2529142764901805498827375\ 000646080265933*c_0101_4^18 + 3162957487790855288317924603267583752\ 89467/2529142764901805498827375000646080265933*c_0101_4^17 - 180483428190170166280754973837847612194084/252914276490180549882737\ 5000646080265933*c_0101_4^16 - 113974354477309006799076881086170505\ 1675923/2529142764901805498827375000646080265933*c_0101_4^15 + 1165479892441703617289169182714470172453664/25291427649018054988273\ 75000646080265933*c_0101_4^14 + 32992125994218520031394543330564024\ 18033803/2529142764901805498827375000646080265933*c_0101_4^13 - 3690068479069944914533493826528758666149893/25291427649018054988273\ 75000646080265933*c_0101_4^12 - 84611408784239683617802770244706743\ 64628488/2529142764901805498827375000646080265933*c_0101_4^11 + 9133191507390938351294828250274962963657972/25291427649018054988273\ 75000646080265933*c_0101_4^10 + 10898050586798721555048387297842215\ 339813266/2529142764901805498827375000646080265933*c_0101_4^9 - 12858809408312700140572486473701293701747768/2529142764901805498827\ 375000646080265933*c_0101_4^8 - 64551383888976927406132581776587623\ 46729009/2529142764901805498827375000646080265933*c_0101_4^7 + 8600839156679868618445552183127304439610397/25291427649018054988273\ 75000646080265933*c_0101_4^6 + 163165426433410703046323272844060113\ 5144015/2529142764901805498827375000646080265933*c_0101_4^5 - 2285535990855401561328488573442323574065231/25291427649018054988273\ 75000646080265933*c_0101_4^4 - 199342799727078963538730733965364644\ 52272/2529142764901805498827375000646080265933*c_0101_4^3 + 174293288866376159494470987497558991591061/252914276490180549882737\ 5000646080265933*c_0101_4^2 - 1053709925938340796792518480383180301\ 0023/2529142764901805498827375000646080265933*c_0101_4 - 2315809926123143441351632057324130106097/25291427649018054988273750\ 00646080265933, c_0101_3 + 228479797258344723233165244719652038332/25291427649018054988\ 27375000646080265933*c_0101_4^23 + 71239895315155244302979299471978362897/2529142764901805498827375000\ 646080265933*c_0101_4^22 - 2496394591287895767814538998423324684011\ /2529142764901805498827375000646080265933*c_0101_4^21 + 1044120167627838209731017142139826740328/25291427649018054988273750\ 00646080265933*c_0101_4^20 + 11806069699809388266754703478268382827\ 145/2529142764901805498827375000646080265933*c_0101_4^19 - 9100945235418091684348835764501568388288/25291427649018054988273750\ 00646080265933*c_0101_4^18 - 68469209625254908139732543026530527187\ 107/2529142764901805498827375000646080265933*c_0101_4^17 + 47017478671894521371875899893185621660332/2529142764901805498827375\ 000646080265933*c_0101_4^16 + 2491757558084597685789071738351745811\ 85848/2529142764901805498827375000646080265933*c_0101_4^15 - 280444063963335162945205364913532505225933/252914276490180549882737\ 5000646080265933*c_0101_4^14 - 711743975940280130013200547299491675\ 697284/2529142764901805498827375000646080265933*c_0101_4^13 + 896733472841118271510747179648440247562204/252914276490180549882737\ 5000646080265933*c_0101_4^12 + 182196467130714291129660548380300898\ 8662525/2529142764901805498827375000646080265933*c_0101_4^11 - 2242601428183696609511202797080243029984002/25291427649018054988273\ 75000646080265933*c_0101_4^10 - 23670320670754496774474881756395916\ 25332180/2529142764901805498827375000646080265933*c_0101_4^9 + 3214082768487313179736877591155668219138633/25291427649018054988273\ 75000646080265933*c_0101_4^8 + 139677289363213258441577932105018904\ 1765413/2529142764901805498827375000646080265933*c_0101_4^7 - 2258212343536162693320650452437088837145403/25291427649018054988273\ 75000646080265933*c_0101_4^6 - 350541431395225432340956179612790879\ 176550/2529142764901805498827375000646080265933*c_0101_4^5 + 681430295483412397214449664432939970245644/252914276490180549882737\ 5000646080265933*c_0101_4^4 + 1661704018725244144478142310086512300\ 3978/2529142764901805498827375000646080265933*c_0101_4^3 - 66140637883644655978676161619424748278100/2529142764901805498827375\ 000646080265933*c_0101_4^2 + 50165531790167422065110665331843146841\ 50/2529142764901805498827375000646080265933*c_0101_4 + 925729645446503114881697575105694216723/252914276490180549882737500\ 0646080265933, c_0101_4^24 - 11*c_0101_4^22 + 8*c_0101_4^21 + 50*c_0101_4^20 - 56*c_0101_4^19 - 286*c_0101_4^18 + 299*c_0101_4^17 + 1019*c_0101_4^16 - 1567*c_0101_4^15 - 2705*c_0101_4^14 + 4882*c_0101_4^13 + 6664*c_0101_4^12 - 12251*c_0101_4^11 - 7075*c_0101_4^10 + 17174*c_0101_4^9 + 1399*c_0101_4^8 - 11570*c_0101_4^7 + 1765*c_0101_4^6 + 3279*c_0101_4^5 - 884*c_0101_4^4 - 270*c_0101_4^3 + 77*c_0101_4^2 + 6*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB