Magma V2.19-8 Tue Aug 20 2013 16:16:23 on localhost [Seed = 3903419400] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0669 geometric_solution 4.64469370 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 0 0 0 0 0 -1 0 1 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 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.802497348374 0.096001379395 0 3 0 3 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 -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.680728756735 0.336794569845 2 0 2 0 2310 0132 3201 1023 0 0 0 0 0 1 0 -1 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 -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.849551571189 0.051686532778 4 1 5 1 0132 0132 0132 1023 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 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 1.844575452407 1.475605278918 3 6 5 5 0132 0132 2310 1230 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 -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.345922062216 1.128004167148 4 4 6 3 3012 3201 3201 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 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.345922062216 1.128004167148 5 4 6 6 2310 0132 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 1 0 -1 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.210268266054 0.422204413245 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : negation(d['1']), 's_2_0' : d['1'], 's_2_1' : 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' : 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' : negation(d['1']), 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_5' : negation(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' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], '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_5'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : negation(d['c_0101_4']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : 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_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : negation(d['c_0101_2']), 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0011_5'], 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : negation(d['c_0101_2'])})} 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_5, c_0101_0, c_0101_1, c_0101_2, c_0101_4, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 2529039951305345530157063/259632477355089121921*c_0101_5^26 - 56609557075282570656900499/259632477355089121921*c_0101_5^25 - 482044753075763212277092444/259632477355089121921*c_0101_5^24 - 2014231811474775317942129906/259632477355089121921*c_0101_5^23 - 4084758424635078282690597852/259632477355089121921*c_0101_5^22 - 1604538254331986568566876931/259632477355089121921*c_0101_5^21 + 9174617251730214993343436933/259632477355089121921*c_0101_5^20 + 13400927509870012472854980218/259632477355089121921*c_0101_5^19 - 10010435240469204520099518502/259632477355089121921*c_0101_5^18 - 33611289453775497002527418789/259632477355089121921*c_0101_5^17 - 1458935793485282884599427697/259632477355089121921*c_0101_5^16 + 49028331555302073677423466022/259632477355089121921*c_0101_5^15 + 20234119624818234745967208575/259632477355089121921*c_0101_5^14 - 44297864895230799136685445115/259632477355089121921*c_0101_5^13 - 23419723216576336075163192237/259632477355089121921*c_0101_5^12 + 32336457377403135485983820892/259632477355089121921*c_0101_5^11 + 14396617588854702230345217956/259632477355089121921*c_0101_5^10 - 20293513410423506475649555639/259632477355089121921*c_0101_5^9 - 4528977416454434440720096266/259632477355089121921*c_0101_5^8 + 9791302349087876783539381287/259632477355089121921*c_0101_5^7 - 536252200940045092750879641/259632477355089121921*c_0101_5^6 - 3006448496004980765942282249/259632477355089121921*c_0101_5^5 + 1077822539411526651192478788/259632477355089121921*c_0101_5^4 + 303911513545126521627856713/259632477355089121921*c_0101_5^3 - 300480709656402058185320979/259632477355089121921*c_0101_5^2 + 77440105633130743086967408/259632477355089121921*c_0101_5 - 6987088388433566684876195/259632477355089121921, c_0011_0 - 1, c_0011_5 + 15907671714044173198357/118014762434131419055*c_0101_5^26 + 356206236506029305469931/118014762434131419055*c_0101_5^25 + 607099473738669649932451/23602952486826283811*c_0101_5^24 + 12704778849275046666532876/118014762434131419055*c_0101_5^23 + 5175146185055109669526320/23602952486826283811*c_0101_5^22 + 10576247023682299735159688/118014762434131419055*c_0101_5^21 - 11453777481209188901590076/23602952486826283811*c_0101_5^20 - 85161361796675330877661512/118014762434131419055*c_0101_5^19 + 60604064023809945389731958/118014762434131419055*c_0101_5^18 + 211322028141514564567651194/118014762434131419055*c_0101_5^17 + 14251419919258231436051656/118014762434131419055*c_0101_5^16 - 305175681481580475301447534/118014762434131419055*c_0101_5^15 - 134026000969260164591759878/118014762434131419055*c_0101_5^14 + 54286102137730680393942076/23602952486826283811*c_0101_5^13 + 152844114006525166659930141/118014762434131419055*c_0101_5^12 - 195402354322102836227279479/118014762434131419055*c_0101_5^11 - 94216023974810622609311991/118014762434131419055*c_0101_5^10 + 122122599620436343791029403/118014762434131419055*c_0101_5^9 + 31130809449514567742318022/118014762434131419055*c_0101_5^8 - 58986732617430292832866762/118014762434131419055*c_0101_5^7 + 342290539715094066754095/23602952486826283811*c_0101_5^6 + 18257579416270262274004826/118014762434131419055*c_0101_5^5 - 6080343440167635619478938/118014762434131419055*c_0101_5^4 - 1953598356042114051137673/118014762434131419055*c_0101_5^3 + 1754567170937148682518549/118014762434131419055*c_0101_5^2 - 431026960487871943312821/118014762434131419055*c_0101_5 + 37074114473445833776387/118014762434131419055, c_0101_0 + 21758403635323308089416/118014762434131419055*c_0101_5^26 + 487805425681769118734718/118014762434131419055*c_0101_5^25 + 833013520740443588527561/23602952486826283811*c_0101_5^24 + 17489169561739938233911848/118014762434131419055*c_0101_5^23 + 7172583519371965681370450/23602952486826283811*c_0101_5^22 + 15462414707042537490741519/118014762434131419055*c_0101_5^21 - 15543457205136125427290028/23602952486826283811*c_0101_5^20 - 118099200066975659272311136/118014762434131419055*c_0101_5^19 + 79949314911931870941504319/118014762434131419055*c_0101_5^18 + 290166986264583199052675257/118014762434131419055*c_0101_5^17 + 25826091578568528898415358/118014762434131419055*c_0101_5^16 - 415466841131664352345642797/118014762434131419055*c_0101_5^15 - 190982760547859905581187044/118014762434131419055*c_0101_5^14 + 73141481158271962297006478/23602952486826283811*c_0101_5^13 + 213968999381583798170613423/118014762434131419055*c_0101_5^12 - 262477787520431696622720257/118014762434131419055*c_0101_5^11 - 131696260189436112499309973/118014762434131419055*c_0101_5^10 + 164400833662343141547912864/118014762434131419055*c_0101_5^9 + 44154485260543459137591766/118014762434131419055*c_0101_5^8 - 79694057084321169141621216/118014762434131419055*c_0101_5^7 + 335900473085189316356701/23602952486826283811*c_0101_5^6 + 24806956214711751219167273/118014762434131419055*c_0101_5^5 - 8129421621592010861843554/118014762434131419055*c_0101_5^4 - 2684247587129946209310774/118014762434131419055*c_0101_5^3 + 2376027327870837135399917/118014762434131419055*c_0101_5^2 - 584297668785683034528468/118014762434131419055*c_0101_5 + 50779832285900119351956/118014762434131419055, c_0101_1 - 26961977763930466862502/118014762434131419055*c_0101_5^26 - 604083862458709972722071/118014762434131419055*c_0101_5^25 - 1030331558845899575430303/23602952486826283811*c_0101_5^24 - 21578542755106166679523246/118014762434131419055*c_0101_5^23 - 8794668003930224969983002/23602952486826283811*c_0101_5^22 - 17939534595886579554476353/118014762434131419055*c_0101_5^21 + 19501902330090789385340261/23602952486826283811*c_0101_5^20 + 144646954396076152478687827/118014762434131419055*c_0101_5^19 - 104291008164616913371877178/118014762434131419055*c_0101_5^18 - 360271881477424808311294789/118014762434131419055*c_0101_5^17 - 21397042232454733616194121/118014762434131419055*c_0101_5^16 + 522626813354079560437561909/118014762434131419055*c_0101_5^15 + 223666399732229434378068833/118014762434131419055*c_0101_5^14 - 93819528933078937784728099/23602952486826283811*c_0101_5^13 - 255805991871091959752425916/118014762434131419055*c_0101_5^12 + 341646237995193621486694634/118014762434131419055*c_0101_5^11 + 157211249929630346508332691/118014762434131419055*c_0101_5^10 - 214897048157999652809328988/118014762434131419055*c_0101_5^9 - 50242021933287516215386447/118014762434131419055*c_0101_5^8 + 104071275129547848255508712/118014762434131419055*c_0101_5^7 - 1005851835290303689430263/23602952486826283811*c_0101_5^6 - 32134223494913126386269411/118014762434131419055*c_0101_5^5 + 11381970941948048587077998/118014762434131419055*c_0101_5^4 + 3289808396323541068089358/118014762434131419055*c_0101_5^3 - 3210933935516398692692749/118014762434131419055*c_0101_5^2 + 828661821600368400992036/118014762434131419055*c_0101_5 - 75543031802190480684482/118014762434131419055, c_0101_2 - 90466675528640027098068/118014762434131419055*c_0101_5^26 - 2023213644950377023334064/118014762434131419055*c_0101_5^25 - 3440921832920712683516840/23602952486826283811*c_0101_5^24 - 71734215582728059458582334/118014762434131419055*c_0101_5^23 - 28970497174989152161757814/23602952486826283811*c_0101_5^22 - 54960596643010605627126737/118014762434131419055*c_0101_5^21 + 65832143700349977791705320/23602952486826283811*c_0101_5^20 + 474910592168944248453204733/118014762434131419055*c_0101_5^19 - 363721904012843102271842897/118014762434131419055*c_0101_5^18 - 1196765074323622962252169021/118014762434131419055*c_0101_5^17 - 38701337624795286686579144/118014762434131419055*c_0101_5^16 + 1752104210025804276143976736/118014762434131419055*c_0101_5^15 + 706453407253177500298359637/118014762434131419055*c_0101_5^14 - 317632458168189231709486746/23602952486826283811*c_0101_5^13 - 825574907174513095687176994/118014762434131419055*c_0101_5^12 + 1157818114268532915180146531/118014762434131419055*c_0101_5^11 + 507147676761701637564335174/118014762434131419055*c_0101_5^10 - 724718482240287581068544037/118014762434131419055*c_0101_5^9 - 158437116836521102259010783/118014762434131419055*c_0101_5^8 + 348500827651486451347140958/118014762434131419055*c_0101_5^7 - 3964195474967309625724704/23602952486826283811*c_0101_5^6 - 106534455903117598626779984/118014762434131419055*c_0101_5^5 + 38304021638276965942052807/118014762434131419055*c_0101_5^4 + 10708549502814028519793082/118014762434131419055*c_0101_5^3 - 10606676531562930612772966/118014762434131419055*c_0101_5^2 + 2726460513879290791468004/118014762434131419055*c_0101_5 - 245334545998291113229163/118014762434131419055, c_0101_4 - 14928983962344165471953/118014762434131419055*c_0101_5^26 - 335030836886514483247659/118014762434131419055*c_0101_5^25 - 572933100391742671797869/23602952486826283811*c_0101_5^24 - 12050899288699825426078179/118014762434131419055*c_0101_5^23 - 4954459840793416004454565/23602952486826283811*c_0101_5^22 - 10772194111044966021125682/118014762434131419055*c_0101_5^21 + 10746817264792340943047439/23602952486826283811*c_0101_5^20 + 82155932047875308871141543/118014762434131419055*c_0101_5^19 - 54864012422303680024710897/118014762434131419055*c_0101_5^18 - 201735355044869214920454356/118014762434131419055*c_0101_5^17 - 19181011536048627318736504/118014762434131419055*c_0101_5^16 + 289052265286553067258424471/118014762434131419055*c_0101_5^15 + 134644500354028467195894992/118014762434131419055*c_0101_5^14 - 50985610552087998535643768/23602952486826283811*c_0101_5^13 - 151300170289038269250182679/118014762434131419055*c_0101_5^12 + 183169879867583398654022946/118014762434131419055*c_0101_5^11 + 93652893758259318893567289/118014762434131419055*c_0101_5^10 - 115066256257744855029182267/118014762434131419055*c_0101_5^9 - 31826810559257774888880163/118014762434131419055*c_0101_5^8 + 56077545507565202586819773/118014762434131419055*c_0101_5^7 - 166620406499356372911432/23602952486826283811*c_0101_5^6 - 17588160327670233452931969/118014762434131419055*c_0101_5^5 + 5665708670740438215327467/118014762434131419055*c_0101_5^4 + 1943044743960733317759007/118014762434131419055*c_0101_5^3 - 1683971042784870495241011/118014762434131419055*c_0101_5^2 + 409449179322678447816099/118014762434131419055*c_0101_5 - 35028855952879722581853/118014762434131419055, c_0101_5^27 + 22*c_0101_5^26 + 182*c_0101_5^25 + 723*c_0101_5^24 + 1307*c_0101_5^23 + 4*c_0101_5^22 - 3894*c_0101_5^21 - 3921*c_0101_5^20 + 6030*c_0101_5^19 + 11843*c_0101_5^18 - 4549*c_0101_5^17 - 19765*c_0101_5^16 - 612*c_0101_5^15 + 20784*c_0101_5^14 + 2683*c_0101_5^13 - 16480*c_0101_5^12 - 921*c_0101_5^11 + 10297*c_0101_5^10 - 1208*c_0101_5^9 - 4612*c_0101_5^8 + 1666*c_0101_5^7 + 1133*c_0101_5^6 - 877*c_0101_5^5 + 35*c_0101_5^4 + 166*c_0101_5^3 - 75*c_0101_5^2 + 14*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.240 seconds, Total memory usage: 32.09MB