Magma V2.19-8 Tue Aug 20 2013 16:17:04 on localhost [Seed = 1107549840] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1318 geometric_solution 5.20512651 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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.619805035672 0.160681609045 0 2 2 0 3201 0132 1023 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 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 1.421484253680 0.441253489809 3 1 1 4 0132 0132 1023 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 0 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.222568940781 0.646888142038 2 5 4 6 0132 0132 1302 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 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.261672177133 0.483422836010 3 6 2 5 2031 1023 0132 2310 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 -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.261672177133 0.483422836010 4 3 5 5 3201 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 0 -1 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.134023212089 1.599837473431 4 6 3 6 1023 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838094110344 1.020306145507 ==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' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : d['c_0110_5'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_5']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0110_5']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : negation(d['c_0110_5']), 'c_1010_6' : d['c_0110_5'], 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0110_5']), 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : d['c_0101_2'], '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 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_2, c_0101_5, c_0110_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 26073265667624297111306697390752439533523440321/3438849771506333583\ 301735077081995672959616710*c_0110_5^19 - 209545872775724876054468823933772152702537648627/171942488575316679\ 1650867538540997836479808355*c_0110_5^18 + 180409560249528056572637036798260009578350195479/343884977150633358\ 330173507708199567295961671*c_0110_5^17 - 1215723317536860495287998809613005121452671285979/17194248857531667\ 91650867538540997836479808355*c_0110_5^16 + 344350588105412310606467806097144893233582373696/156311353250287890\ 150078867140090712407255305*c_0110_5^15 + 1694032856233032084957567450039084009986944988011/31262270650057578\ 0300157734280181424814510610*c_0110_5^14 - 489321788817905290611623628121019919266147919677/343884977150633358\ 3301735077081995672959616710*c_0110_5^13 + 83311887221947527760931423075022058005516890649634/1719424885753166\ 791650867538540997836479808355*c_0110_5^12 - 22850872733012883056544011483941201594242482208603/1719424885753166\ 791650867538540997836479808355*c_0110_5^11 + 364019021353178549961587054608681296318809399267867/343884977150633\ 3583301735077081995672959616710*c_0110_5^10 - 112527729649187861110330900162534616661827502580407/343884977150633\ 3583301735077081995672959616710*c_0110_5^9 + 21547066299369714939709714148134380920205477851261/6877699543012667\ 16660347015416399134591923342*c_0110_5^8 - 52840939133417418234645977039727171980177072149137/1719424885753166\ 791650867538540997836479808355*c_0110_5^7 - 139386563469915373650092763193782724361230602809826/171942488575316\ 6791650867538540997836479808355*c_0110_5^6 + 41761455498767357084975684488975305378315917671656/1719424885753166\ 791650867538540997836479808355*c_0110_5^5 - 121294167352441737150491625118571011136515666812557/343884977150633\ 3583301735077081995672959616710*c_0110_5^4 + 848437350585330157875869993976845956041554146387/446603866429393971\ 85736819182883060687787230*c_0110_5^3 - 22056135545326917658671826147956637619372439579051/3438849771506333\ 583301735077081995672959616710*c_0110_5^2 + 716498802648528876943907124501222820332748487112/343884977150633358\ 330173507708199567295961671*c_0110_5 + 1373975518365774256024946757302402507823679489/49126425307233336904\ 3105011011713667565659530, c_0011_0 - 1, c_0011_1 - 17437396806938228097705136936922684299163/262708156723172924\ 621981289311076827575219*c_0110_5^19 + 279875399301504698400880733419600156703398/262708156723172924621981\ 289311076827575219*c_0110_5^18 - 1199736814536615671472173132152466\ 804117830/262708156723172924621981289311076827575219*c_0110_5^17 + 1593407461062721509360284829955198654297781/26270815672317292462198\ 1289311076827575219*c_0110_5^16 - 500772611293136742354017619718880\ 2278704919/262708156723172924621981289311076827575219*c_0110_5^15 - 12613289335708746808148127725907781560379717/2627081567231729246219\ 81289311076827575219*c_0110_5^14 + 125101018139413086884004094058224247611527/262708156723172924621981\ 289311076827575219*c_0110_5^13 - 1112561927707934985413154310049899\ 21604935154/262708156723172924621981289311076827575219*c_0110_5^12 + 27879070400842658933253716478803698960300184/2627081567231729246219\ 81289311076827575219*c_0110_5^11 - 240967327877187730921710424681334517560212678/262708156723172924621\ 981289311076827575219*c_0110_5^10 + 68455015177664768197336901132643769689221784/2627081567231729246219\ 81289311076827575219*c_0110_5^9 - 663331655208771698199426950399623\ 61084058338/262708156723172924621981289311076827575219*c_0110_5^8 + 66603826222744055215716569356089672544904915/2627081567231729246219\ 81289311076827575219*c_0110_5^7 + 189558494057112284080931471187971\ 904229489459/262708156723172924621981289311076827575219*c_0110_5^6 - 52439694347527423504367648575712995276178354/2627081567231729246219\ 81289311076827575219*c_0110_5^5 + 773253230027220677046869137594959\ 29864453543/262708156723172924621981289311076827575219*c_0110_5^4 - 39503446476138442862245190009799633544617264/2627081567231729246219\ 81289311076827575219*c_0110_5^3 + 120812265796199649492628451539267\ 05121179473/262708156723172924621981289311076827575219*c_0110_5^2 - 3739885154850329074785064557723320447000218/26270815672317292462198\ 1289311076827575219*c_0110_5 - 474133616637939131367199746869247384\ 766599/262708156723172924621981289311076827575219, c_0011_4 - 321640391723575476681208392374997912958/26270815672317292462\ 1981289311076827575219*c_0110_5^19 + 5275137624375102598078375436387942444678/26270815672317292462198128\ 9311076827575219*c_0110_5^18 - 236725617772087108305031905974454780\ 68200/262708156723172924621981289311076827575219*c_0110_5^17 + 32892510052774916065512458660735554494633/2627081567231729246219812\ 89311076827575219*c_0110_5^16 - 84682091375291975597780104966838994\ 339896/262708156723172924621981289311076827575219*c_0110_5^15 - 222894245103337334893457191672492676111693/262708156723172924621981\ 289311076827575219*c_0110_5^14 + 1562651234077705794547646712113340\ 30194702/262708156723172924621981289311076827575219*c_0110_5^13 - 1849168766926247402890988562672945242881275/26270815672317292462198\ 1289311076827575219*c_0110_5^12 + 123107643498125491383976684759492\ 2545558527/262708156723172924621981289311076827575219*c_0110_5^11 - 2933266600126366452129730394297348313307582/26270815672317292462198\ 1289311076827575219*c_0110_5^10 + 254656615394057908391637321791826\ 5794498813/262708156723172924621981289311076827575219*c_0110_5^9 + 1755980554833860830717258895806367728116528/26270815672317292462198\ 1289311076827575219*c_0110_5^8 + 1156005792170038589669479700494616\ 250341759/262708156723172924621981289311076827575219*c_0110_5^7 + 3445248067063189291855244391675185378197332/26270815672317292462198\ 1289311076827575219*c_0110_5^6 - 2772087061882679504223409714851474\ 693112784/262708156723172924621981289311076827575219*c_0110_5^5 - 1213260493158952801010671534500678552473365/26270815672317292462198\ 1289311076827575219*c_0110_5^4 - 7626406903509919124327607249680788\ 55329008/262708156723172924621981289311076827575219*c_0110_5^3 - 72443959401266159482813016047806062399335/2627081567231729246219812\ 89311076827575219*c_0110_5^2 + 928124815297293164331754356587201457\ 00689/262708156723172924621981289311076827575219*c_0110_5 - 69744775345870828246595868301784637194719/2627081567231729246219812\ 89311076827575219, c_0101_0 - 9882540752355789348508664622151022514930/2627081567231729246\ 21981289311076827575219*c_0110_5^19 + 158025422260200587867155876575915519436578/262708156723172924621981\ 289311076827575219*c_0110_5^18 - 6707269395095937567615156183919253\ 08327254/262708156723172924621981289311076827575219*c_0110_5^17 + 866701468290114246066329259843474606662557/262708156723172924621981\ 289311076827575219*c_0110_5^16 - 2799944977082171505321000897220553\ 347380017/262708156723172924621981289311076827575219*c_0110_5^15 - 7308202130127822856313988391709744003728637/26270815672317292462198\ 1289311076827575219*c_0110_5^14 - 423657427149432074685279138150247\ 173498064/262708156723172924621981289311076827575219*c_0110_5^13 - 63321201740297649427646337454847995131228520/2627081567231729246219\ 81289311076827575219*c_0110_5^12 + 11817969431029703388977509226895642387620536/2627081567231729246219\ 81289311076827575219*c_0110_5^11 - 137517789144975691945952641599047000951579081/262708156723172924621\ 981289311076827575219*c_0110_5^10 + 29516790695651450036598803037720987333842056/2627081567231729246219\ 81289311076827575219*c_0110_5^9 - 393687854870409382283252230456623\ 76128383727/262708156723172924621981289311076827575219*c_0110_5^8 + 33445236219970459598207252572464781464332088/2627081567231729246219\ 81289311076827575219*c_0110_5^7 + 108526496729458063053343532210663\ 544389591769/262708156723172924621981289311076827575219*c_0110_5^6 - 22881252538120681626172924397670827954467950/2627081567231729246219\ 81289311076827575219*c_0110_5^5 + 458815848925828012933401595101683\ 85172337765/262708156723172924621981289311076827575219*c_0110_5^4 - 18092728814198777676506269678132659768380924/2627081567231729246219\ 81289311076827575219*c_0110_5^3 + 690309252819630989572606423105979\ 4341784170/262708156723172924621981289311076827575219*c_0110_5^2 - 1618564581444182836914943870592046794678861/26270815672317292462198\ 1289311076827575219*c_0110_5 - 426708337912607121084726276163428547\ 157405/262708156723172924621981289311076827575219, c_0101_2 + 18017267977033439744273633030368377945720/262708156723172924\ 621981289311076827575219*c_0110_5^19 - 287928481816705431954867739861166440359773/262708156723172924621981\ 289311076827575219*c_0110_5^18 + 1219603875718293439184364173432833\ 878080894/262708156723172924621981289311076827575219*c_0110_5^17 - 1561936855437490537484979654721535218360662/26270815672317292462198\ 1289311076827575219*c_0110_5^16 + 507033702123600291254442462213610\ 6999890716/262708156723172924621981289311076827575219*c_0110_5^15 + 13368021933486340980943210624825745054592505/2627081567231729246219\ 81289311076827575219*c_0110_5^14 + 822676849435298911350718004949555755889224/262708156723172924621981\ 289311076827575219*c_0110_5^13 + 1149547416880624656822065690192825\ 75781579418/262708156723172924621981289311076827575219*c_0110_5^12 - 21005737036997241262307164322801382614843771/2627081567231729246219\ 81289311076827575219*c_0110_5^11 + 247554882416312799527457758010033613796442283/262708156723172924621\ 981289311076827575219*c_0110_5^10 - 55094422489260828208877752216535234971921773/2627081567231729246219\ 81289311076827575219*c_0110_5^9 + 649788509105404253604832740838827\ 29143201637/262708156723172924621981289311076827575219*c_0110_5^8 - 67433654317935394147557071438468031631795620/2627081567231729246219\ 81289311076827575219*c_0110_5^7 - 199853339334552066153949379390982\ 543261391178/262708156723172924621981289311076827575219*c_0110_5^6 + 40183771585495118026819090200103519031692701/2627081567231729246219\ 81289311076827575219*c_0110_5^5 - 761603435092026944649119623108779\ 21742699491/262708156723172924621981289311076827575219*c_0110_5^4 + 38457804055443809479042211443049524302064704/2627081567231729246219\ 81289311076827575219*c_0110_5^3 - 107261951982623468033852481588063\ 83115593996/262708156723172924621981289311076827575219*c_0110_5^2 + 3422500134384751532337882986770329804567878/26270815672317292462198\ 1289311076827575219*c_0110_5 + 466999686698943937049342340413009819\ 053643/262708156723172924621981289311076827575219, c_0101_5 + 1597472142356930174598159088074816753868/2627081567231729246\ 21981289311076827575219*c_0110_5^19 - 25580113892446873841163299702075060728853/2627081567231729246219812\ 89311076827575219*c_0110_5^18 + 10879815323228560315187338320278959\ 8537883/262708156723172924621981289311076827575219*c_0110_5^17 - 139364138563112946511465017512737959653748/262708156723172924621981\ 289311076827575219*c_0110_5^16 + 4420036346285740137271770897911812\ 28193417/262708156723172924621981289311076827575219*c_0110_5^15 + 1189819340200135084830221042890687525458957/26270815672317292462198\ 1289311076827575219*c_0110_5^14 - 141100131935334050003431728263875\ 70130853/262708156723172924621981289311076827575219*c_0110_5^13 + 10088235864552553990099684725122642458654602/2627081567231729246219\ 81289311076827575219*c_0110_5^12 - 2114440295829532014842987124650452559242504/26270815672317292462198\ 1289311076827575219*c_0110_5^11 + 210047380153103211623775239254499\ 12038582853/262708156723172924621981289311076827575219*c_0110_5^10 - 4910577102424633149342618279921639792773872/26270815672317292462198\ 1289311076827575219*c_0110_5^9 + 3924233162969570522226713005075532\ 158291112/262708156723172924621981289311076827575219*c_0110_5^8 - 4957372821488377491265743582141008698246286/26270815672317292462198\ 1289311076827575219*c_0110_5^7 - 1748082042834187739271675352077331\ 5064223667/262708156723172924621981289311076827575219*c_0110_5^6 + 4430598513620574705960859757383308728074545/26270815672317292462198\ 1289311076827575219*c_0110_5^5 - 4874750088188295146402279528974229\ 198988754/262708156723172924621981289311076827575219*c_0110_5^4 + 2491161844247771774914302759695605031642952/26270815672317292462198\ 1289311076827575219*c_0110_5^3 - 7936421011446680824750099047815491\ 35012863/262708156723172924621981289311076827575219*c_0110_5^2 + 42442727198508799856519355648982165689614/2627081567231729246219812\ 89311076827575219*c_0110_5 - 68569851767349496355320046334924073762\ 598/262708156723172924621981289311076827575219, c_0110_5^20 - 16*c_0110_5^19 + 68*c_0110_5^18 - 88*c_0110_5^17 + 283*c_0110_5^16 + 737*c_0110_5^15 + 31*c_0110_5^14 + 6382*c_0110_5^13 - 1282*c_0110_5^12 + 13769*c_0110_5^11 - 3271*c_0110_5^10 + 3679*c_0110_5^9 - 3709*c_0110_5^8 - 11024*c_0110_5^7 + 2451*c_0110_5^6 - 4311*c_0110_5^5 + 2128*c_0110_5^4 - 624*c_0110_5^3 + 192*c_0110_5^2 + 28*c_0110_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.030 Total time: 0.230 seconds, Total memory usage: 32.09MB