Magma V2.19-8 Tue Aug 20 2013 16:15:50 on localhost [Seed = 1595851636] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0064 geometric_solution 3.62276418 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 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 1 0 -1 1 0 0 -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.804279243987 0.052266736185 0 0 2 2 0132 3201 2310 0132 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 -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 1.526468473447 0.199238990141 3 1 1 3 0132 3201 0132 1023 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 -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 1.096192889975 0.080352836730 2 4 4 2 0132 0132 1023 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.111453073178 0.212531756310 5 3 3 6 0132 0132 1023 0132 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 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.801111532451 0.408221375904 4 6 6 6 0132 1302 3201 2031 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 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.506994121153 0.497993209858 5 5 4 5 2310 1302 0132 2031 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 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.506994121153 0.497993209858 ==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' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : negation(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' : negation(d['1']), 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : 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' : negation(d['1']), 's_0_2' : 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_2'], 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : negation(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' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], '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' : negation(d['c_0011_2']), '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_5']), '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' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0011_2']), '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_0101_0, c_0101_1, c_0101_3, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 350105640140482641087358354694/269056050339171223629080099*c_0101_5\ ^18 - 1140018517802013520774751921353/269056050339171223629080099*c\ _0101_5^17 - 642750900204306796200782535508/26905605033917122362908\ 0099*c_0101_5^16 + 1933705439079714693951616616601/2690560503391712\ 23629080099*c_0101_5^15 - 850806667962972238308482697348/2069661925\ 6859324894544623*c_0101_5^14 + 50034333347587135124986826915034/269\ 056050339171223629080099*c_0101_5^13 + 143043391293632585360381997292832/269056050339171223629080099*c_010\ 1_5^12 + 19210367735728032841955252907457/2690560503391712236290800\ 99*c_0101_5^11 + 178513386841157610891148536762274/2690560503391712\ 23629080099*c_0101_5^10 - 114753231973275722273747085714628/2690560\ 50339171223629080099*c_0101_5^9 - 421902990637217844723806584662493\ /269056050339171223629080099*c_0101_5^8 - 17021215574495700008582027309965/269056050339171223629080099*c_0101\ _5^7 + 112823696240815945858850704082737/26905605033917122362908009\ 9*c_0101_5^6 + 7892197309711799096160813501166/20696619256859324894\ 544623*c_0101_5^5 + 70193096828234195883524937343739/26905605033917\ 1223629080099*c_0101_5^4 - 3119431601695136379477629450310/20696619\ 256859324894544623*c_0101_5^3 - 23108630911414700214944747117481/26\ 9056050339171223629080099*c_0101_5^2 + 165267223638971840797290356201/20696619256859324894544623*c_0101_5 - 1282366156004052247212031997252/269056050339171223629080099, c_0011_0 - 1, c_0011_2 + 349836114754545428420681/20696619256859324894544623*c_0101_5\ ^18 + 674531368979845050926139/20696619256859324894544623*c_0101_5^\ 17 - 825117769649972982195117/20696619256859324894544623*c_0101_5^1\ 6 - 2787490383554896594368051/20696619256859324894544623*c_0101_5^1\ 5 + 13190002649236462615874819/20696619256859324894544623*c_0101_5^\ 14 - 65414279172213384886644491/20696619256859324894544623*c_0101_5\ ^13 - 74761891888456396841356871/20696619256859324894544623*c_0101_\ 5^12 + 159126847965523377651107071/20696619256859324894544623*c_010\ 1_5^11 - 150301584236051800885494444/20696619256859324894544623*c_0\ 101_5^10 + 408699513039692904333782600/20696619256859324894544623*c\ _0101_5^9 + 284161147075632752701020614/20696619256859324894544623*\ c_0101_5^8 - 397644668934484306950540843/20696619256859324894544623\ *c_0101_5^7 - 94824747681454407509450849/20696619256859324894544623\ *c_0101_5^6 - 15688369280858393687311728/20696619256859324894544623\ *c_0101_5^5 - 3395853655943811038439767/20696619256859324894544623*\ c_0101_5^4 + 115110844858122432563462334/20696619256859324894544623\ *c_0101_5^3 - 8100706595030204037781642/20696619256859324894544623*\ c_0101_5^2 - 965583706057667935117628/20696619256859324894544623*c_\ 0101_5 + 4501801849543060935525679/20696619256859324894544623, c_0101_0 + 14682754750039086246249037/20696619256859324894544623*c_0101\ _5^18 + 62462955769696897028565417/20696619256859324894544623*c_010\ 1_5^17 + 81743379996063306092894090/20696619256859324894544623*c_01\ 01_5^16 - 21568192236749352067511812/20696619256859324894544623*c_0\ 101_5^15 + 431968538405089591361347184/20696619256859324894544623*c\ _0101_5^14 - 1634936468782266885401480602/2069661925685932489454462\ 3*c_0101_5^13 - 7889910885155898433012978655/2069661925685932489454\ 4623*c_0101_5^12 - 7500677653994703412581317836/2069661925685932489\ 4544623*c_0101_5^11 - 12411535177082089806461036445/206966192568593\ 24894544623*c_0101_5^10 - 7458658424506541210100233277/206966192568\ 59324894544623*c_0101_5^9 + 15595451327000512663303174902/206966192\ 56859324894544623*c_0101_5^8 + 12634289434607485472217335452/206966\ 19256859324894544623*c_0101_5^7 + 2947236786936192074622395680/2069\ 6619256859324894544623*c_0101_5^6 - 838172891159353316701838297/20696619256859324894544623*c_0101_5^5 - 4409021254778719770668479397/20696619256859324894544623*c_0101_5^4 - 1056136585448634139660579277/20696619256859324894544623*c_0101_5^3 + 399523286819716791377094976/20696619256859324894544623*c_0101_5^2 - 106181119028920248173365711/20696619256859324894544623*c_0101_5 + 30821413666850412533032913/20696619256859324894544623, c_0101_1 + 30278927259754264917235769/20696619256859324894544623*c_0101\ _5^18 + 111563977654053013364391359/20696619256859324894544623*c_01\ 01_5^17 + 110119193558614279656697914/20696619256859324894544623*c_\ 0101_5^16 - 94949096344595331772658826/20696619256859324894544623*c\ _0101_5^15 + 943039720756297787001641307/20696619256859324894544623\ *c_0101_5^14 - 3937977167986828882949576013/20696619256859324894544\ 623*c_0101_5^13 - 13843996494847692276048433560/2069661925685932489\ 4544623*c_0101_5^12 - 8465162044852437445117007008/2069661925685932\ 4894544623*c_0101_5^11 - 22130361836105516017507371473/206966192568\ 59324894544623*c_0101_5^10 - 1791169571098991019620613023/206966192\ 56859324894544623*c_0101_5^9 + 30056490260514375317737902153/206966\ 19256859324894544623*c_0101_5^8 + 13436676325512762066583204694/206\ 96619256859324894544623*c_0101_5^7 + 1430055626204639956934659590/20696619256859324894544623*c_0101_5^6 - 4793444117385462173034366093/20696619256859324894544623*c_0101_5^5 - 6449326128665588128356304560/20696619256859324894544623*c_0101_5^4 + 109061758940026265413280826/20696619256859324894544623*c_0101_5^3 + 785529713075477563601501168/20696619256859324894544623*c_0101_5^2 - 124892104440168529381303093/20696619256859324894544623*c_0101_5 + 28518013562863012709799358/20696619256859324894544623, c_0101_3 - 6090205741351386053389295/20696619256859324894544623*c_0101_\ 5^18 - 25842366035750398148576279/20696619256859324894544623*c_0101\ _5^17 - 32215761010431641653833124/20696619256859324894544623*c_010\ 1_5^16 + 13493238712454317216387020/20696619256859324894544623*c_01\ 01_5^15 - 177276146228470220325802372/20696619256859324894544623*c_\ 0101_5^14 + 673378976741949752320305752/20696619256859324894544623*\ c_0101_5^13 + 3311804991213086797654642050/206966192568593248945446\ 23*c_0101_5^12 + 2857246047594148271712793497/206966192568593248945\ 44623*c_0101_5^11 + 4623032910583205294475636649/206966192568593248\ 94544623*c_0101_5^10 + 2999317603134923680778034005/206966192568593\ 24894544623*c_0101_5^9 - 7396876446844323849575193551/2069661925685\ 9324894544623*c_0101_5^8 - 4380053857190616327858403629/20696619256\ 859324894544623*c_0101_5^7 - 45501882823292538549233055/20696619256\ 859324894544623*c_0101_5^6 + 628748251563062560932311983/2069661925\ 6859324894544623*c_0101_5^5 + 1818865898451267407581923455/20696619\ 256859324894544623*c_0101_5^4 + 24866163740569856836755/20696619256\ 859324894544623*c_0101_5^3 - 319405436110017568644609990/2069661925\ 6859324894544623*c_0101_5^2 + 55582070467348950838672832/2069661925\ 6859324894544623*c_0101_5 - 7671421086124786411720155/2069661925685\ 9324894544623, c_0101_4 - 391907409028247111189973/20696619256859324894544623*c_0101_5\ ^18 - 347574604125217071823699/20696619256859324894544623*c_0101_5^\ 17 + 2448986389657908604084075/20696619256859324894544623*c_0101_5^\ 16 + 5108137069690383428644867/20696619256859324894544623*c_0101_5^\ 15 - 14678036679828331031038564/20696619256859324894544623*c_0101_5\ ^14 + 86763410284669869324109668/20696619256859324894544623*c_0101_\ 5^13 + 29892132879125593798179703/20696619256859324894544623*c_0101\ _5^12 - 352894027558552934592062626/20696619256859324894544623*c_01\ 01_5^11 - 19269769666550181270189287/20696619256859324894544623*c_0\ 101_5^10 - 913323344829520283194229599/20696619256859324894544623*c\ _0101_5^9 - 394750663192715807455827780/20696619256859324894544623*\ c_0101_5^8 + 515581172403334313085013220/20696619256859324894544623\ *c_0101_5^7 + 428401500582194293044094387/2069661925685932489454462\ 3*c_0101_5^6 + 269683420934275730760780587/206966192568593248945446\ 23*c_0101_5^5 - 70787434466360967630382458/206966192568593248945446\ 23*c_0101_5^4 - 185655106589598098905987339/20696619256859324894544\ 623*c_0101_5^3 - 28869592382365163794459059/20696619256859324894544\ 623*c_0101_5^2 + 10979984897197634055176157/20696619256859324894544\ 623*c_0101_5 + 2355599492081557070225439/20696619256859324894544623\ , c_0101_5^19 + 3*c_0101_5^18 + c_0101_5^17 - 6*c_0101_5^16 + 33*c_0101_5^15 - 151*c_0101_5^14 - 372*c_0101_5^13 + 50*c_0101_5^12 - 495*c_0101_5^11 + 459*c_0101_5^10 + 1122*c_0101_5^9 - 260*c_0101_5^8 - 337*c_0101_5^7 - 212*c_0101_5^6 - 125*c_0101_5^5 + 168*c_0101_5^4 + 37*c_0101_5^3 - 23*c_0101_5^2 + 5*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB