Magma V2.19-8 Tue Aug 20 2013 16:15:58 on localhost [Seed = 2463305389] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0200 geometric_solution 4.01397705 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 1302 2310 2031 0 0 0 0 0 -1 0 1 -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 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.430060313816 0.090506256274 0 0 2 2 0132 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -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 6.964977757156 2.555387092644 3 1 1 3 0132 3201 0132 3201 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 0 0 0 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.248014351975 0.200797320281 2 2 5 4 0132 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 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 -1 1 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.704548644676 1.120581839208 6 5 3 5 0132 2031 0132 1302 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 0 0 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.747394772960 0.435875699618 4 6 4 3 1302 2310 2031 0132 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 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.747394772960 0.435875699618 4 6 6 5 0132 3201 2310 3201 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 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.503106634783 0.298394959929 ==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' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), '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_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_4']), 'c_0101_4' : d['c_0101_0'], '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' : d['c_0011_4'], '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' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_0']), '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_3'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_0']), 'c_1010_4' : d['c_0011_4'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), '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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 111730245485372864095758802198646/9139624523613397956408799164005*c\ _0101_6^18 - 1424073035063467995602263733677324/9139624523613397956\ 408799164005*c_0101_6^17 - 7119796637085287108647666171068916/91396\ 24523613397956408799164005*c_0101_6^16 - 17790855243121026410654690651202252/9139624523613397956408799164005\ *c_0101_6^15 - 10802456674546355112855478498795908/9139624523613397\ 956408799164005*c_0101_6^14 + 26270379401486358908745951100768278/9\ 139624523613397956408799164005*c_0101_6^13 + 10689472465705967085939105057967583/1827924904722679591281759832801\ *c_0101_6^12 + 55291228520601443175991445014154833/9139624523613397\ 956408799164005*c_0101_6^11 + 13941609858615866196710555849902601/9\ 139624523613397956408799164005*c_0101_6^10 + 14609196758893096853309637414099812/9139624523613397956408799164005\ *c_0101_6^9 - 169238677057902321136132987388709044/9139624523613397\ 956408799164005*c_0101_6^8 - 142457340002889174241331431566954363/9\ 139624523613397956408799164005*c_0101_6^7 + 14651530605815473022790817852285743/830874956692127086946254469455*\ c_0101_6^6 + 2152466903802251672408390663604599/2948265975359160631\ 09961263355*c_0101_6^5 - 73974668488215064251953509848822412/913962\ 4523613397956408799164005*c_0101_6^4 - 19577662993503911906635653503196212/9139624523613397956408799164005\ *c_0101_6^3 + 2834983484670221612159755741629535/182792490472267959\ 1281759832801*c_0101_6^2 + 75781635084238103737067955427870/1661749\ 91338425417389250893891*c_0101_6 - 308626912225157472137362274105964/9139624523613397956408799164005, c_0011_0 - 1, c_0011_2 + 8672238201168388395380139118/26802417957810551191814660305*c\ _0101_6^18 + 114246246703517551264082964077/26802417957810551191814\ 660305*c_0101_6^17 + 603015084407515667516512669893/268024179578105\ 51191814660305*c_0101_6^16 + 1661281114964067654767906356796/268024\ 17957810551191814660305*c_0101_6^15 + 1690187092771520709108490320959/26802417957810551191814660305*c_010\ 1_6^14 - 818843283703505449053637935214/268024179578105511918146603\ 05*c_0101_6^13 - 709166323874449336950848751809/5360483591562110238\ 362932061*c_0101_6^12 - 4933835303981911089811948362599/26802417957\ 810551191814660305*c_0101_6^11 - 3172680241918582404966273231728/26\ 802417957810551191814660305*c_0101_6^10 - 3669853368879315771574244884541/26802417957810551191814660305*c_010\ 1_6^9 + 9475088976722226736754747467527/268024179578105511918146603\ 05*c_0101_6^8 + 12385414953545981401743994307054/268024179578105511\ 91814660305*c_0101_6^7 - 8662883207941358220436432868424/2680241795\ 7810551191814660305*c_0101_6^6 - 6398949426387026832058342450867/26\ 802417957810551191814660305*c_0101_6^5 + 4340075557169048569403609072996/26802417957810551191814660305*c_010\ 1_6^4 + 1694618347667630232220247199046/268024179578105511918146603\ 05*c_0101_6^3 - 151106280191018193928597790191/53604835915621102383\ 62932061*c_0101_6^2 - 49038109105882691843271827963/536048359156211\ 0238362932061*c_0101_6 + 1772557832544358305555196827/2680241795781\ 0551191814660305, c_0011_4 + 1021839991637507031090304042/26802417957810551191814660305*c\ _0101_6^18 + 14522645297575784607254867798/268024179578105511918146\ 60305*c_0101_6^17 + 87133978849938956072150634127/26802417957810551\ 191814660305*c_0101_6^16 + 298463074263977945001164874534/268024179\ 57810551191814660305*c_0101_6^15 + 566435164840024734210778625506/26802417957810551191814660305*c_0101\ _6^14 + 620506081696754511110910485089/2680241795781055119181466030\ 5*c_0101_6^13 + 50602867203395381678174166454/536048359156211023836\ 2932061*c_0101_6^12 - 573842026425283416688372928576/26802417957810\ 551191814660305*c_0101_6^11 - 1307151740088100309974407378772/26802\ 417957810551191814660305*c_0101_6^10 - 2066044604354580773463741627824/26802417957810551191814660305*c_010\ 1_6^9 - 949935948167100771864148273947/2680241795781055119181466030\ 5*c_0101_6^8 + 346865665087792716676957585686/268024179578105511918\ 14660305*c_0101_6^7 + 904657305759542954718839750984/26802417957810\ 551191814660305*c_0101_6^6 + 609563122955938510258518563202/2680241\ 7957810551191814660305*c_0101_6^5 - 718293761965807901629911799601/26802417957810551191814660305*c_0101\ _6^4 - 301050911249813709902181524716/26802417957810551191814660305\ *c_0101_6^3 + 48920014534264504370454176146/53604835915621102383629\ 32061*c_0101_6^2 + 17625192493837121768974318028/536048359156211023\ 8362932061*c_0101_6 - 4879827090718424664662816487/2680241795781055\ 1191814660305, c_0101_0 + 2249773002553213440880606064/26802417957810551191814660305*c\ _0101_6^18 + 24708230058926723419542327581/268024179578105511918146\ 60305*c_0101_6^17 + 87080119161024779684956519919/26802417957810551\ 191814660305*c_0101_6^16 + 26135897301793456165276995338/2680241795\ 7810551191814660305*c_0101_6^15 - 868366483484460392162042154608/26\ 802417957810551191814660305*c_0101_6^14 - 2346802628268589242438050861887/26802417957810551191814660305*c_010\ 1_6^13 - 477999131828990970013480590030/536048359156211023836293206\ 1*c_0101_6^12 - 663447251486216393717818844817/26802417957810551191\ 814660305*c_0101_6^11 + 2403846431809828173232556500511/26802417957\ 810551191814660305*c_0101_6^10 + 3652705523182262393884173161112/26\ 802417957810551191814660305*c_0101_6^9 + 8687668047359469633813507700751/26802417957810551191814660305*c_010\ 1_6^8 + 3578588619691690474472315651617/268024179578105511918146603\ 05*c_0101_6^7 - 8713628013581633669058260667632/2680241795781055119\ 1814660305*c_0101_6^6 - 2102399101758076099112276971691/26802417957\ 810551191814660305*c_0101_6^5 + 4323039869249257483389608975208/268\ 02417957810551191814660305*c_0101_6^4 + 541705661825747755957752238203/26802417957810551191814660305*c_0101\ _6^3 - 188724395185882058638337418817/5360483591562110238362932061*\ c_0101_6^2 - 40067849714228608398297741631/536048359156211023836293\ 2061*c_0101_6 + 16780889063406840470894423516/268024179578105511918\ 14660305, c_0101_1 - 3616419241036881260822271462/26802417957810551191814660305*c\ _0101_6^18 - 47216424656919813400573474548/268024179578105511918146\ 60305*c_0101_6^17 - 247118464437860255520689106377/2680241795781055\ 1191814660305*c_0101_6^16 - 680935846983433186096933166714/26802417\ 957810551191814660305*c_0101_6^15 - 727406470783523053484291375341/26802417957810551191814660305*c_0101\ _6^14 + 84478148540991526438520814756/26802417957810551191814660305\ *c_0101_6^13 + 172841931716226926485972759121/536048359156211023836\ 2932061*c_0101_6^12 + 1426764266574493963281778594636/2680241795781\ 0551191814660305*c_0101_6^11 + 1120271102352226948351045803137/2680\ 2417957810551191814660305*c_0101_6^10 + 2117575257653221375101302535164/26802417957810551191814660305*c_010\ 1_6^9 - 2938464917960805977428052938908/268024179578105511918146603\ 05*c_0101_6^8 - 2951557170609765338314669981391/2680241795781055119\ 1814660305*c_0101_6^7 + 4553769867868195218837814317151/26802417957\ 810551191814660305*c_0101_6^6 + 953869219179913691319648339243/2680\ 2417957810551191814660305*c_0101_6^5 - 2268971915026149753950600711654/26802417957810551191814660305*c_010\ 1_6^4 + 164078869850975310284040057991/2680241795781055119181466030\ 5*c_0101_6^3 + 103749571969514293331164921265/536048359156211023836\ 2932061*c_0101_6^2 - 11362395569145969390376176327/5360483591562110\ 238362932061*c_0101_6 - 34434606076553509208689987588/2680241795781\ 0551191814660305, c_0101_3 + 3035151193704872236925239348/26802417957810551191814660305*c\ _0101_6^18 + 37022328435686562718227414797/268024179578105511918146\ 60305*c_0101_6^17 + 170367591107343149763651716858/2680241795781055\ 1191814660305*c_0101_6^16 + 351331064675148008448205748746/26802417\ 957810551191814660305*c_0101_6^15 - 123073526521998898867202322551/26802417957810551191814660305*c_0101\ _6^14 - 1365046703811588046445234226654/268024179578105511918146603\ 05*c_0101_6^13 - 373412200638005156152599276953/5360483591562110238\ 362932061*c_0101_6^12 - 1281298999987210435418515045919/26802417957\ 810551191814660305*c_0101_6^11 + 637959405813877615628750529862/268\ 02417957810551191814660305*c_0101_6^10 + 994523998257258609966093054954/26802417957810551191814660305*c_0101\ _6^9 + 6537979040330276214045348252037/2680241795781055119181466030\ 5*c_0101_6^8 + 3732336371004364283670439179594/26802417957810551191\ 814660305*c_0101_6^7 - 6304418455298289722225971558419/268024179578\ 10551191814660305*c_0101_6^6 - 1678523816702880245211601801552/2680\ 2417957810551191814660305*c_0101_6^5 + 2803518265720206138368772012751/26802417957810551191814660305*c_010\ 1_6^4 + 579833477983109606598951500936/2680241795781055119181466030\ 5*c_0101_6^3 - 112080756997049760241088654342/536048359156211023836\ 2932061*c_0101_6^2 - 42725451815537695918272757725/5360483591562110\ 238362932061*c_0101_6 + 7065242558801849371004895667/26802417957810\ 551191814660305, c_0101_6^19 + 13*c_0101_6^18 + 67*c_0101_6^17 + 176*c_0101_6^16 + 141*c_0101_6^15 - 196*c_0101_6^14 - 507*c_0101_6^13 - 583*c_0101_6^12 - 243*c_0101_6^11 - 196*c_0101_6^10 + 1411*c_0101_6^9 + 1569*c_0101_6^8 - 1191*c_0101_6^7 - 896*c_0101_6^6 + 581*c_0101_6^5 + 295*c_0101_6^4 - 107*c_0101_6^3 - 60*c_0101_6^2 - c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB