Magma V2.19-8 Tue Aug 20 2013 16:18:20 on localhost [Seed = 1764291654] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2541 geometric_solution 5.85214877 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 3 4 0132 0132 0132 0132 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 -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.176476043504 0.951477754992 0 1 5 1 0132 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 1 0 -1 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.875032645149 0.701788621617 5 0 2 2 2310 0132 2031 1302 0 0 0 0 0 0 1 -1 -1 0 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 1 -1 0 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.437744184288 0.417612608096 3 3 5 0 1302 2031 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.086815246316 0.524758351089 6 6 0 5 0132 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.016217070700 1.731477770251 4 3 2 1 3201 3201 3201 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 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.176476043504 0.951477754992 4 6 4 6 0132 2310 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.350694298270 0.612458135230 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : negation(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' : negation(d['1']), 's_0_6' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_0'], 'c_1100_4' : d['c_0011_5'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), '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_0011_3'], 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0011_3'], 'c_1001_3' : negation(d['c_0101_0']), 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0011_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0101_5']})} 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_0011_4, c_0011_5, c_0101_0, c_0101_1, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 24759532724017538726948395903548518/1692783867392659405342996789314\ 8125*c_0101_5^20 + 93378315322485608662965840035496291/677113546957\ 0637621371987157259250*c_0101_5^19 + 281417407953940916239158046349103731/169278386739265940534299678931\ 48125*c_0101_5^18 - 2325152116796086799837282348157903003/338556773\ 47853188106859935786296250*c_0101_5^17 + 213041642019790224509728627857731093/169278386739265940534299678931\ 48125*c_0101_5^16 - 213908083473263594572870937665880664/6771135469\ 57063762137198715725925*c_0101_5^15 + 8076190817371662632097299508770833207/33855677347853188106859935786\ 296250*c_0101_5^14 - 10117571612697039919486861229204066211/3385567\ 7347853188106859935786296250*c_0101_5^13 + 960020697551747132637691280784119161/483652533540759830097999082661\ 3750*c_0101_5^12 + 505118622819233244163226172083372221/15388944249\ 02417641220906172104375*c_0101_5^11 + 4030630341498025066805024784527508/11674371499259720036848253719412\ 5*c_0101_5^10 + 324690860676639777180104344101704447/23348742998519\ 4400736965074388250*c_0101_5^9 - 2419905560346062025479275051270188\ 7799/33855677347853188106859935786296250*c_0101_5^8 + 281227452221701889723787005616523492/307778884980483528244181234420\ 875*c_0101_5^7 - 1942995138610101102198097976410782699/153889442490\ 2417641220906172104375*c_0101_5^6 + 667709619506314410215857834591460807/483652533540759830097999082661\ 3750*c_0101_5^5 - 4764078191714223697281598143786445096/16927838673\ 926594053429967893148125*c_0101_5^4 - 3109393747311755489721675770599570043/16927838673926594053429967893\ 148125*c_0101_5^3 + 379606469711846853039348104470771036/1538894424\ 902417641220906172104375*c_0101_5^2 - 303918299438883628574419100092689288/338556773478531881068599357862\ 9625*c_0101_5 + 1624185372342239602218801455723079382/1692783867392\ 6594053429967893148125, c_0011_0 - 1, c_0011_3 - 12369580633166072692/532683178892305761221*c_0101_5^20 - 118263421293983454795/532683178892305761221*c_0101_5^19 - 154506133048908600997/532683178892305761221*c_0101_5^18 + 576124880842078138390/532683178892305761221*c_0101_5^17 - 18849896328242898789/532683178892305761221*c_0101_5^16 + 2555153169073803549960/532683178892305761221*c_0101_5^15 - 1663229427918722844931/532683178892305761221*c_0101_5^14 + 2074375112101741998165/532683178892305761221*c_0101_5^13 - 1035775745468269304635/532683178892305761221*c_0101_5^12 - 2834114360738315518555/532683178892305761221*c_0101_5^11 - 26912385535931187305/18368385479045026249*c_0101_5^10 - 384482195677949227646/18368385479045026249*c_0101_5^9 + 4378900719226872980483/532683178892305761221*c_0101_5^8 - 6364599690870778579403/532683178892305761221*c_0101_5^7 + 8486725516476929265076/532683178892305761221*c_0101_5^6 - 78550386480027463312/48425743535664160111*c_0101_5^5 + 1599668641430176753345/532683178892305761221*c_0101_5^4 + 1257629830526744494068/532683178892305761221*c_0101_5^3 - 665677397661103524457/532683178892305761221*c_0101_5^2 + 478395378409740928904/532683178892305761221*c_0101_5 - 332201698677295187901/532683178892305761221, c_0011_4 + 67249538948503538714980364485/773844053665215728156798532258\ 2*c_0101_5^20 + 564988189395585029302074514677/77384405366521572815\ 67985322582*c_0101_5^19 + 69786309674114726450534308881/15476881073\ 304314563135970645164*c_0101_5^18 - 2361286026923972812320074739566/3869220268326078640783992661291*c_0\ 101_5^17 + 5025192182396292831245965508165/154768810733043145631359\ 70645164*c_0101_5^16 - 12110633963729850552021187963975/77384405366\ 52157281567985322582*c_0101_5^15 + 27009002814106518824165669393395/7738440536652157281567985322582*c_\ 0101_5^14 - 7682342065785691729777208892553/77384405366521572815679\ 85322582*c_0101_5^13 + 38147703928851646454551908291233/15476881073\ 304314563135970645164*c_0101_5^12 + 9579222671987846043460111623492/3869220268326078640783992661291*c_0\ 101_5^11 - 1291594881889203351929698733467/533685554251872915970205\ 884316*c_0101_5^10 + 786367038584062631878224617518/133421388562968\ 228992551471079*c_0101_5^9 - 220678594783439722767879017973845/1547\ 6881073304314563135970645164*c_0101_5^8 - 7034046953935689161210872274393/15476881073304314563135970645164*c_\ 0101_5^7 - 199323914510362432594634009791083/1547688107330431456313\ 5970645164*c_0101_5^6 + 765289690456688283874364235397/351747297120\ 552603707635696481*c_0101_5^5 + 54627837821725549485144175176025/15\ 476881073304314563135970645164*c_0101_5^4 + 5896074426371842521283350521384/3869220268326078640783992661291*c_0\ 101_5^3 + 58841284303868005682257543606065/154768810733043145631359\ 70645164*c_0101_5^2 - 990701613230532294030847649532/38692202683260\ 78640783992661291*c_0101_5 - 387926197394079121944808281230/3869220\ 268326078640783992661291, c_0011_5 + 70542777952577682627669458821/773844053665215728156798532258\ 2*c_0101_5^20 + 58714679177365087188375070271/703494594241105207415\ 271392962*c_0101_5^19 + 1120892391658261996281777302897/15476881073\ 304314563135970645164*c_0101_5^18 - 2045522335479912352870748879975/3869220268326078640783992661291*c_0\ 101_5^17 + 1771997305007035363970453969273/154768810733043145631359\ 70645164*c_0101_5^16 - 12400344676734985256693370120411/77384405366\ 52157281567985322582*c_0101_5^15 + 1369496919055502602078582572791/703494594241105207415271392962*c_01\ 01_5^14 - 5557895639228374661854081839199/7738440536652157281567985\ 322582*c_0101_5^13 + 6572795675466329444236070969397/15476881073304\ 314563135970645164*c_0101_5^12 + 11865159677994152903510697900107/3\ 869220268326078640783992661291*c_0101_5^11 - 584876640683548554588892970471/533685554251872915970205884316*c_010\ 1_5^10 + 880413876266561977217824119794/133421388562968228992551471\ 079*c_0101_5^9 - 107842265566267081757875621261645/1547688107330431\ 4563135970645164*c_0101_5^8 + 944310026279573443456142595239/154768\ 81073304314563135970645164*c_0101_5^7 - 76084598169716844096883471743663/15476881073304314563135970645164*c\ _0101_5^6 - 3451866379341241048066071697701/38692202683260786407839\ 92661291*c_0101_5^5 + 56501771525942014718874092355921/154768810733\ 04314563135970645164*c_0101_5^4 - 2241172862667766222319465722289/3\ 869220268326078640783992661291*c_0101_5^3 + 39781858246406696037540931465297/15476881073304314563135970645164*c\ _0101_5^2 + 1024959835310763609866871439637/38692202683260786407839\ 92661291*c_0101_5 - 1970447159879251317673565865250/386922026832607\ 8640783992661291, c_0101_0 - 122257761342158074642063402368/38692202683260786407839926612\ 91*c_0101_5^20 - 1232651160630417157550606370595/386922026832607864\ 0783992661291*c_0101_5^19 - 2165205358493496327484457302352/3869220\ 268326078640783992661291*c_0101_5^18 + 9278158801330709244348150496929/7738440536652157281567985322582*c_0\ 101_5^17 + 2570099627783652231785783828969/386922026832607864078399\ 2661291*c_0101_5^16 + 53559893968387366131192273361341/773844053665\ 2157281567985322582*c_0101_5^15 - 3831392338891248625163076041462/3\ 869220268326078640783992661291*c_0101_5^14 + 16957398878982785230423388033217/3869220268326078640783992661291*c_\ 0101_5^13 - 5852783397958719031115615783289/38692202683260786407839\ 92661291*c_0101_5^12 - 58555343772363805259667494053711/77384405366\ 52157281567985322582*c_0101_5^11 - 830460435920894983553344310815/133421388562968228992551471079*c_010\ 1_5^10 - 8312730651587075645533217775837/26684277712593645798510294\ 2158*c_0101_5^9 - 12236527257872359430616372146735/3869220268326078\ 640783992661291*c_0101_5^8 - 117546147154548883536216402861059/7738\ 440536652157281567985322582*c_0101_5^7 + 146582486723604927603011556610971/7738440536652157281567985322582*c\ _0101_5^6 + 50058034975777936542204386434229/7738440536652157281567\ 985322582*c_0101_5^5 + 31087222056673863606930571837523/38692202683\ 26078640783992661291*c_0101_5^4 + 21254604466133061072321874426761/\ 7738440536652157281567985322582*c_0101_5^3 - 6078592360991568519917683554189/3869220268326078640783992661291*c_0\ 101_5^2 - 3246374052310653259653954193709/7738440536652157281567985\ 322582*c_0101_5 - 4555236868053317737578630619789/38692202683260786\ 40783992661291, c_0101_1 + 416161352535341821010929234501/15476881073304314563135970645\ 164*c_0101_5^20 + 995966404978668773791044076109/386922026832607864\ 0783992661291*c_0101_5^19 + 118678932485966715421047254099/35174729\ 7120552603707635696481*c_0101_5^18 - 9767380663889834449238749815953/7738440536652157281567985322582*c_0\ 101_5^17 + 249175748774567864282994794011/1547688107330431456313597\ 0645164*c_0101_5^16 - 3853987449725443244680275383037/7034945942411\ 05207415271392962*c_0101_5^15 + 53901561971421225419491367398273/15\ 476881073304314563135970645164*c_0101_5^14 - 15627010971556701224336428378781/3869220268326078640783992661291*c_\ 0101_5^13 + 13619549013698193057795949299183/7738440536652157281567\ 985322582*c_0101_5^12 + 25755995196109744825872541651374/3869220268\ 326078640783992661291*c_0101_5^11 + 343273333222177835068447311041/266842777125936457985102942158*c_010\ 1_5^10 + 12590611018175063119854642586053/5336855542518729159702058\ 84316*c_0101_5^9 - 33182649009015264043043180615323/386922026832607\ 8640783992661291*c_0101_5^8 + 182141334203388068341090338557835/154\ 76881073304314563135970645164*c_0101_5^7 - 130945286053547586062877152977295/7738440536652157281567985322582*c\ _0101_5^6 + 4738181030760443801850230826313/77384405366521572815679\ 85322582*c_0101_5^5 - 548507512655934234467347508284/35174729712055\ 2603707635696481*c_0101_5^4 - 9317978001810288223546527075800/38692\ 20268326078640783992661291*c_0101_5^3 + 31329128995007174440329379461047/15476881073304314563135970645164*c\ _0101_5^2 - 291969576141470659771008135066/351747297120552603707635\ 696481*c_0101_5 - 1175032757022965738550512720820/38692202683260786\ 40783992661291, c_0101_5^21 + 10*c_0101_5^20 + 17*c_0101_5^19 - 38*c_0101_5^18 - 14*c_0101_5^17 - 220*c_0101_5^16 + 37*c_0101_5^15 - 166*c_0101_5^14 + 27*c_0101_5^13 + 252*c_0101_5^12 + 155*c_0101_5^11 + 1015*c_0101_5^10 + 91*c_0101_5^9 + 600*c_0101_5^8 - 473*c_0101_5^7 - 206*c_0101_5^6 - 227*c_0101_5^5 - 236*c_0101_5^4 + 42*c_0101_5^3 - 20*c_0101_5^2 + 24*c_0101_5 + 20 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB