Magma V2.19-8 Tue Aug 20 2013 16:14:52 on localhost [Seed = 324177787] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation s833 geometric_solution 5.40600202 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 6 0 0 1 1 1230 3012 0132 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.492702737709 0.245027614238 2 0 3 0 0132 2310 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.880112138375 0.564193155856 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.912676883206 0.975430104306 5 2 4 1 1023 1230 0132 0132 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 1 0 -1 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.912676883206 0.975430104306 4 2 4 3 2031 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492403715599 0.800492511768 5 3 2 5 3201 1023 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 -1 0 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.554847374180 0.824886781737 ==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_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_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_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_1']), 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0011_1']), '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_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_3'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 7 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 277525887870316334429592989580625323297/368867259186023901277951113\ 6501492653*c_0101_3^24 - 1226644634566702392958627277568977068853/3\ 688672591860239012779511136501492653*c_0101_3^23 + 2809544960670861522182446558805324796285/36886725918602390127795111\ 36501492653*c_0101_3^22 + 17530781792687391605869474805767165532881\ /3688672591860239012779511136501492653*c_0101_3^21 - 3950882734791867548875383821613328176297/36886725918602390127795111\ 36501492653*c_0101_3^20 - 89297472528612740142100302300776420802098\ /3688672591860239012779511136501492653*c_0101_3^19 - 25770340022234571566172373180179421936894/3688672591860239012779511\ 136501492653*c_0101_3^18 + 2288375274936695167486983842691219725369\ 00/3688672591860239012779511136501492653*c_0101_3^17 + 75398088755261562195081782365447366063926/3688672591860239012779511\ 136501492653*c_0101_3^16 - 3709235462976853300687124667706898990524\ 41/3688672591860239012779511136501492653*c_0101_3^15 + 39477621264051975922860416855762974338617/3688672591860239012779511\ 136501492653*c_0101_3^14 + 5464045792024126892835520712805045667133\ 44/3688672591860239012779511136501492653*c_0101_3^13 - 422209838879379903913489748970808014038691/368867259186023901277951\ 1136501492653*c_0101_3^12 - 140085224752880624276227882916861115647\ 566/526953227408605573254215876643070379*c_0101_3^11 + 531626929722326430872329654428022554280183/368867259186023901277951\ 1136501492653*c_0101_3^10 + 164753386234126272468512896548175050980\ 3099/3688672591860239012779511136501492653*c_0101_3^9 + 161606535804085733484813673824071748876127/368867259186023901277951\ 1136501492653*c_0101_3^8 - 1533213693806532939928701448620348227829\ 581/3688672591860239012779511136501492653*c_0101_3^7 - 775734942770527944207897139516780793079143/368867259186023901277951\ 1136501492653*c_0101_3^6 + 5098124053144056662443538273484969196488\ 87/3688672591860239012779511136501492653*c_0101_3^5 + 61845440804396155461328733528179533648804/5269532274086055732542158\ 76643070379*c_0101_3^4 - 5471527972801233923114200936534050864085/5\ 26953227408605573254215876643070379*c_0101_3^3 - 78112830392157005407060365684406814629401/3688672591860239012779511\ 136501492653*c_0101_3^2 - 932507419664408281034458113316132677668/3\ 688672591860239012779511136501492653*c_0101_3 + 3616601838172103109552246582230197567892/36886725918602390127795111\ 36501492653, c_0011_0 - 1, c_0011_1 - 282975527446405751983919046190168070/52695322740860557325421\ 5876643070379*c_0101_3^24 - 1255444704880548706296041094423517026/5\ 26953227408605573254215876643070379*c_0101_3^23 + 2847556680984936726327590253629529430/52695322740860557325421587664\ 3070379*c_0101_3^22 + 17937575962141157949901809305628038958/526953\ 227408605573254215876643070379*c_0101_3^21 - 3773755492777888381542773664621161636/52695322740860557325421587664\ 3070379*c_0101_3^20 - 91334115847992845936919134156827331580/526953\ 227408605573254215876643070379*c_0101_3^19 - 27655241478236438074594820751734277881/5269532274086055732542158766\ 43070379*c_0101_3^18 + 234029990628426196383595444298003817593/5269\ 53227408605573254215876643070379*c_0101_3^17 + 80655646556509876013868066035142883517/5269532274086055732542158766\ 43070379*c_0101_3^16 - 379954864088570854944931758823786668142/5269\ 53227408605573254215876643070379*c_0101_3^15 + 34138828393359337401219317635222639326/5269532274086055732542158766\ 43070379*c_0101_3^14 + 562716574036844567323044493255136434091/5269\ 53227408605573254215876643070379*c_0101_3^13 - 423605550563038024712108571275799575635/526953227408605573254215876\ 643070379*c_0101_3^12 - 1013291079667965312545825178123853311082/52\ 6953227408605573254215876643070379*c_0101_3^11 + 533368728767374371929191220212439454301/526953227408605573254215876\ 643070379*c_0101_3^10 + 1698576337629240185955850224781489591586/52\ 6953227408605573254215876643070379*c_0101_3^9 + 182037449053445115418289241443290853665/526953227408605573254215876\ 643070379*c_0101_3^8 - 1578224470101537984449637904043541650521/526\ 953227408605573254215876643070379*c_0101_3^7 - 812864609637881359640076425652834095417/526953227408605573254215876\ 643070379*c_0101_3^6 + 526088131304235862884389206475919036895/5269\ 53227408605573254215876643070379*c_0101_3^5 + 454135507363282898168503596314240739544/526953227408605573254215876\ 643070379*c_0101_3^4 - 40298002558497524096981970632252935069/52695\ 3227408605573254215876643070379*c_0101_3^3 - 84543022760775332122972283565429496367/5269532274086055732542158766\ 43070379*c_0101_3^2 - 1301847032847632231235633225972101940/5269532\ 27408605573254215876643070379*c_0101_3 + 4746318376972922995554984231495783113/52695322740860557325421587664\ 3070379, c_0011_3 + 506822622746271596266914259855234953/52695322740860557325421\ 5876643070379*c_0101_3^24 + 2249268353582348349578968427160172866/5\ 26953227408605573254215876643070379*c_0101_3^23 - 5106314061061732377680913519679550120/52695322740860557325421587664\ 3070379*c_0101_3^22 - 32173142416496937148402443925556443135/526953\ 227408605573254215876643070379*c_0101_3^21 + 6813951814917431391982736453656706338/52695322740860557325421587664\ 3070379*c_0101_3^20 + 164141291106666258491805641442203368587/52695\ 3227408605573254215876643070379*c_0101_3^19 + 49543287021125122679474623189024571330/5269532274086055732542158766\ 43070379*c_0101_3^18 - 421796689820249222764990166602758226911/5269\ 53227408605573254215876643070379*c_0101_3^17 - 145407315004147114083121220974505329818/526953227408605573254215876\ 643070379*c_0101_3^16 + 686880540114837284695195574853702549869/526\ 953227408605573254215876643070379*c_0101_3^15 - 59143858822098343933817164725398376547/5269532274086055732542158766\ 43070379*c_0101_3^14 - 1017689941866915672153766777301876066053/526\ 953227408605573254215876643070379*c_0101_3^13 + 760805335223885844406698772741264483271/526953227408605573254215876\ 643070379*c_0101_3^12 + 1829196362213437652367629479257483795363/52\ 6953227408605573254215876643070379*c_0101_3^11 - 967585710185714831315704969031124833917/526953227408605573254215876\ 643070379*c_0101_3^10 - 3067942253281935744243336683644580412419/52\ 6953227408605573254215876643070379*c_0101_3^9 - 314387187124327673056348401397013239518/526953227408605573254215876\ 643070379*c_0101_3^8 + 2868950446941490631941560811486236076767/526\ 953227408605573254215876643070379*c_0101_3^7 + 1463303978493411120386206227032891214443/52695322740860557325421587\ 6643070379*c_0101_3^6 - 975409512273083857582218486443875765495/526\ 953227408605573254215876643070379*c_0101_3^5 - 832722304526463848214621951719869318169/526953227408605573254215876\ 643070379*c_0101_3^4 + 77702639588767944301263561624393119361/52695\ 3227408605573254215876643070379*c_0101_3^3 + 157864595842021774796858535988464093633/526953227408605573254215876\ 643070379*c_0101_3^2 + 2180758596200963166575308150992705426/526953\ 227408605573254215876643070379*c_0101_3 - 8622994889804205555185872485301877131/52695322740860557325421587664\ 3070379, c_0101_0 + 820536071932743992506909807930030463/52695322740860557325421\ 5876643070379*c_0101_3^24 + 3607878631971558640095244136582837189/5\ 26953227408605573254215876643070379*c_0101_3^23 - 8397683328278624530582640131149731238/52695322740860557325421587664\ 3070379*c_0101_3^22 - 51681548965458324987450735927074627688/526953\ 227408605573254215876643070379*c_0101_3^21 + 12923398680533675316121202035121549818/5269532274086055732542158766\ 43070379*c_0101_3^20 + 264311201287784250289435489888848730255/5269\ 53227408605573254215876643070379*c_0101_3^19 + 70389505781429787189501790443781732326/5269532274086055732542158766\ 43070379*c_0101_3^18 - 681040792428115203285497291399480879744/5269\ 53227408605573254215876643070379*c_0101_3^17 - 209975659364514346485119493950304750528/526953227408605573254215876\ 643070379*c_0101_3^16 + 1108269814058050903247729748940918298749/52\ 6953227408605573254215876643070379*c_0101_3^15 - 135104873786098629365519501957109640292/526953227408605573254215876\ 643070379*c_0101_3^14 - 1623282382530922495658351299279840796479/52\ 6953227408605573254215876643070379*c_0101_3^13 + 1279433166500107061806113180611161937951/52695322740860557325421587\ 6643070379*c_0101_3^12 + 2889557436537706665453195805027377128022/5\ 26953227408605573254215876643070379*c_0101_3^11 - 1641261592153164284555243961875980551353/52695322740860557325421587\ 6643070379*c_0101_3^10 - 4874615799989874597193944801279200464107/5\ 26953227408605573254215876643070379*c_0101_3^9 - 366125992656140419251076137761420868507/526953227408605573254215876\ 643070379*c_0101_3^8 + 4604604725697768073056717552685524271873/526\ 953227408605573254215876643070379*c_0101_3^7 + 2221691669205524865829760447437788066517/52695322740860557325421587\ 6643070379*c_0101_3^6 - 1605677174691532458272250774435928315188/52\ 6953227408605573254215876643070379*c_0101_3^5 - 1292646521957191957223363285728520972730/52695322740860557325421587\ 6643070379*c_0101_3^4 + 148453837666784239989687999622003095219/526\ 953227408605573254215876643070379*c_0101_3^3 + 247159986230507324133538017987758646457/526953227408605573254215876\ 643070379*c_0101_3^2 + 199416747382822350380516731642085342/5269532\ 27408605573254215876643070379*c_0101_3 - 13289328287309544350570415647754109184/5269532274086055732542158766\ 43070379, c_0101_1 + 565789303234669861509492756502689678/52695322740860557325421\ 5876643070379*c_0101_3^24 + 2509709320863195153000697742818573151/5\ 26953227408605573254215876643070379*c_0101_3^23 - 5696720834035065173191682562089777290/52695322740860557325421587664\ 3070379*c_0101_3^22 - 35864436327286844548044076455196368668/526953\ 227408605573254215876643070379*c_0101_3^21 + 7590745150055762522690203988429902153/52695322740860557325421587664\ 3070379*c_0101_3^20 + 182673475543983256980269128532490906206/52695\ 3227408605573254215876643070379*c_0101_3^19 + 55075581466250616533155778394700136957/5269532274086055732542158766\ 43070379*c_0101_3^18 - 468318009364991373047669619194512318628/5269\ 53227408605573254215876643070379*c_0101_3^17 - 160762193375352318131440019216270152884/526953227408605573254215876\ 643070379*c_0101_3^16 + 760723438466630215909649383834604390499/526\ 953227408605573254215876643070379*c_0101_3^15 - 69056266844335881414892673253666396823/5269532274086055732542158766\ 43070379*c_0101_3^14 - 1126335635991910996112203369674367477542/526\ 953227408605573254215876643070379*c_0101_3^13 + 848757555391928395001207016189889776805/526953227408605573254215876\ 643070379*c_0101_3^12 + 2026690408372776999768288998166820187635/52\ 6953227408605573254215876643070379*c_0101_3^11 - 1070697992774560340931963459846436423440/52695322740860557325421587\ 6643070379*c_0101_3^10 - 3397744154080844574408928014092718203997/5\ 26953227408605573254215876643070379*c_0101_3^9 - 357779326937010912196977025124246942060/526953227408605573254215876\ 643070379*c_0101_3^8 + 3161201780284588446086884830182247120196/526\ 953227408605573254215876643070379*c_0101_3^7 + 1621012415859591865502897397299755521011/52695322740860557325421587\ 6643070379*c_0101_3^6 - 1058238588011490981333696302030512005813/52\ 6953227408605573254215876643070379*c_0101_3^5 - 908383372766888072016841150679986948474/526953227408605573254215876\ 643070379*c_0101_3^4 + 81806736920185961029156949516079287009/52695\ 3227408605573254215876643070379*c_0101_3^3 + 169130872720220216385967905757027523966/526953227408605573254215876\ 643070379*c_0101_3^2 + 2530906633928172604514274875904861739/526953\ 227408605573254215876643070379*c_0101_3 - 8834591776389493605427070560945116062/52695322740860557325421587664\ 3070379, c_0101_3^25 + 4*c_0101_3^24 - 12*c_0101_3^23 - 59*c_0101_3^22 + 41*c_0101_3^21 + 317*c_0101_3^20 - 43*c_0101_3^19 - 870*c_0101_3^18 + 75*c_0101_3^17 + 1468*c_0101_3^16 - 704*c_0101_3^15 - 1938*c_0101_3^14 + 2361*c_0101_3^13 + 2933*c_0101_3^12 - 3445*c_0101_3^11 - 5192*c_0101_3^10 + 1975*c_0101_3^9 + 5874*c_0101_3^8 + 445*c_0101_3^7 - 3124*c_0101_3^6 - 805*c_0101_3^5 + 847*c_0101_3^4 + 240*c_0101_3^3 - 127*c_0101_3^2 - 18*c_0101_3 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.220 seconds, Total memory usage: 32.09MB