Magma V2.19-8 Tue Aug 20 2013 16:15:49 on localhost [Seed = 762097924] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0050 geometric_solution 3.61556753 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.762189057551 0.048469331704 2 0 2 0 0132 2310 1023 0132 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 -1 1 1 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 0.931084873221 0.034628344218 1 3 1 3 0132 0132 1023 1023 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 1 -1 -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.904220071619 0.066017547658 4 2 4 2 0132 0132 1023 1023 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 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.865168146435 0.165480197303 3 5 3 6 0132 0132 1023 0132 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 -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.988842616592 0.504685680080 6 4 6 6 3012 0132 2310 1230 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 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.006163637891 0.984165635006 5 5 4 5 3012 3201 0132 1230 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 -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.006163637891 0.984165635006 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_1'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['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_1'], 'c_0101_6' : d['c_0101_3'], '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' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], '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_0101_5']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0011_1'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0011_1'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_4'], '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_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: 18 Groebner basis: [ t - 11897338684610620971870639654959/22939150580552447216023766344*c_01\ 01_5^17 + 250105125143013007872373552920277/11469575290276223608011\ 8831720*c_0101_5^16 - 4091297930544148598032215104149/6133462722072\ 84684920421560*c_0101_5^15 + 1238413628069649459273948570223573/573\ 47876451381118040059415860*c_0101_5^14 - 448183784698647048914374218905151/114695752902762236080118831720*c_\ 0101_5^13 + 108697188301496799390064442315603/143369691128452795100\ 14853965*c_0101_5^12 - 3360908106945110119705721460263741/573478764\ 51381118040059415860*c_0101_5^11 - 17244249868808242230132171749100181/114695752902762236080118831720*\ c_0101_5^10 - 28611046638284653329452175385284421/11469575290276223\ 6080118831720*c_0101_5^9 + 442025295986656343930162291426889/104268\ 86627523839643647166520*c_0101_5^8 + 102179393413184364616570829014591463/57347876451381118040059415860*\ c_0101_5^7 + 12724857746308933951290191530655733/104268866275238396\ 43647166520*c_0101_5^6 - 9822125378947490016626414901657249/1042688\ 6627523839643647166520*c_0101_5^5 - 2284905452341003453748765271679469/5213443313761919821823583260*c_0\ 101_5^4 + 12839664924089659402054400015432843/114695752902762236080\ 118831720*c_0101_5^3 - 394699711213920685689763383252841/5734787645\ 1381118040059415860*c_0101_5^2 + 378680734788049598065901697151927/\ 114695752902762236080118831720*c_0101_5 + 290015220881761502903911023180477/114695752902762236080118831720, c_0011_0 - 1, c_0011_1 + 358184495684951056801347617/153336568051821171230105390*c_01\ 01_5^17 - 1510125704704980513018935249/153336568051821171230105390*\ c_0101_5^16 + 924802571284679525625205599/3066731361036423424602107\ 8*c_0101_5^15 - 7483194852292540101214332277/7666828402591058561505\ 2695*c_0101_5^14 + 2870019654131666984512279277/1533365680518211712\ 30105390*c_0101_5^13 - 2629639509442293562763370367/766682840259105\ 85615052695*c_0101_5^12 + 4054122233738117367520479130/153336568051\ 82117123010539*c_0101_5^11 + 103349989416891401597065777317/1533365\ 68051821171230105390*c_0101_5^10 + 171049564878093418553843459467/153336568051821171230105390*c_0101_5\ ^9 - 31392729949311190095938160521/153336568051821171230105390*c_01\ 01_5^8 - 123026539616784483702618760712/15333656805182117123010539*\ c_0101_5^7 - 828469636692654538087519163853/15333656805182117123010\ 5390*c_0101_5^6 + 661372402581113274178816493119/153336568051821171\ 230105390*c_0101_5^5 + 147992737627357337085591844221/7666828402591\ 0585615052695*c_0101_5^4 - 81688816251775451983519052651/1533365680\ 51821171230105390*c_0101_5^3 + 2654205345817646030181612754/7666828\ 4025910585615052695*c_0101_5^2 - 2272048934767834359195768889/15333\ 6568051821171230105390*c_0101_5 - 1723110601661820593495025181/1533\ 36568051821171230105390, c_0101_0 - 158064735177499632294368247/153336568051821171230105390*c_01\ 01_5^17 + 668302994595611329777127553/153336568051821171230105390*c\ _0101_5^16 - 2049799906410686421678816121/1533365680518211712301053\ 90*c_0101_5^15 + 3316652724909176296238950848/766682840259105856150\ 52695*c_0101_5^14 - 1356318704084261533780854139/153336568051821171\ 230105390*c_0101_5^13 + 1184322351646817220656133546/76668284025910\ 585615052695*c_0101_5^12 - 8930000040650118413843951282/76668284025\ 910585615052695*c_0101_5^11 - 45464644801435494206698666219/1533365\ 68051821171230105390*c_0101_5^10 - 74951295970113517974705224449/153336568051821171230105390*c_0101_5^\ 9 + 14117935690094628625990961999/153336568051821171230105390*c_010\ 1_5^8 + 271076129443823242796867407416/76668284025910585615052695*c\ _0101_5^7 + 358649058535115443742824500409/153336568051821171230105\ 390*c_0101_5^6 - 291210278447732456095400020977/1533365680518211712\ 30105390*c_0101_5^5 - 60704288953632110247365263459/766682840259105\ 85615052695*c_0101_5^4 + 34618184047717785707630608717/153336568051\ 821171230105390*c_0101_5^3 - 2159298491183975296973263571/766682840\ 25910585615052695*c_0101_5^2 + 1251924069136792960578849383/1533365\ 68051821171230105390*c_0101_5 + 143595059697115181428070729/3066731\ 3610364234246021078, c_0101_1 + 123395245562641109131840442/76668284025910585615052695*c_010\ 1_5^17 - 104126753063320064269460009/15333656805182117123010539*c_0\ 101_5^16 + 1594244151437934435332115919/76668284025910585615052695*\ c_0101_5^15 - 5159088161953722659714070472/766682840259105856150526\ 95*c_0101_5^14 + 199716674414705992763206371/1533365680518211712301\ 0539*c_0101_5^13 - 1793308472012059926260728791/7666828402591058561\ 5052695*c_0101_5^12 + 13951552944289545472306711386/766682840259105\ 85615052695*c_0101_5^11 + 7117585348866971660976857553/153336568051\ 82117123010539*c_0101_5^10 + 11748044886221211740177067024/15333656\ 805182117123010539*c_0101_5^9 - 11053486117829822129878008608/76668\ 284025910585615052695*c_0101_5^8 - 423970714413683833087018357248/76668284025910585615052695*c_0101_5^\ 7 - 283911038156761151522579628702/76668284025910585615052695*c_010\ 1_5^6 + 229949838066345074363033728626/76668284025910585615052695*c\ _0101_5^5 + 101380026701645229332024512916/766682840259105856150526\ 95*c_0101_5^4 - 5782926279481081404705471878/1533365680518211712301\ 0539*c_0101_5^3 + 1769514881637573176921710479/76668284025910585615\ 052695*c_0101_5^2 - 163401314872834033141446472/1533365680518211712\ 3010539*c_0101_5 - 534779248014499422602395832/76668284025910585615\ 052695, c_0101_3 + 14203104189604952025878051/15333656805182117123010539*c_0101\ _5^17 - 301065225089345316879621996/76668284025910585615052695*c_01\ 01_5^16 + 923715884310194583459922344/76668284025910585615052695*c_\ 0101_5^15 - 2988770407310735530189064278/76668284025910585615052695\ *c_0101_5^14 + 638989094482483660714058103/766682840259105856150526\ 95*c_0101_5^13 - 1058187939826513716567570242/766682840259105856150\ 52695*c_0101_5^12 + 8077574435694678537207292911/766682840259105856\ 15052695*c_0101_5^11 + 20289678698579848146081478953/76668284025910\ 585615052695*c_0101_5^10 + 33446344743712604035664263663/7666828402\ 5910585615052695*c_0101_5^9 - 7086468732637050911586289337/76668284\ 025910585615052695*c_0101_5^8 - 243846548692849304863126336053/7666\ 8284025910585615052695*c_0101_5^7 - 158682431638412526989510685754/76668284025910585615052695*c_0101_5^\ 6 + 135282204615860867639117679882/76668284025910585615052695*c_010\ 1_5^5 + 56652484841631952483241859379/76668284025910585615052695*c_\ 0101_5^4 - 17523367932977895322720815964/76668284025910585615052695\ *c_0101_5^3 + 1022015012578163416558440086/766682840259105856150526\ 95*c_0101_5^2 - 498989303167656539252210021/76668284025910585615052\ 695*c_0101_5 - 320073418892344420542219706/766682840259105856150526\ 95, c_0101_4 - 228638209298261564399956079/153336568051821171230105390*c_01\ 01_5^17 + 193683401720270190660257921/30667313610364234246021078*c_\ 0101_5^16 - 2971418462757129228645175373/15333656805182117123010539\ 0*c_0101_5^15 + 4808125589236339277558426477/7666828402591058561505\ 2695*c_0101_5^14 - 407254870781054539911012989/30667313610364234246\ 021078*c_0101_5^13 + 1725360809764163825080481411/76668284025910585\ 615052695*c_0101_5^12 - 13004702370793633617242735071/7666828402591\ 0585615052695*c_0101_5^11 - 13080721540895478936079364559/306673136\ 10364234246021078*c_0101_5^10 - 21615844042241085518452142985/30667\ 313610364234246021078*c_0101_5^9 + 22086462120823322951272522201/153336568051821171230105390*c_0101_5^\ 8 + 392312036498275545840068512028/76668284025910585615052695*c_010\ 1_5^7 + 514140567291690236403279375489/153336568051821171230105390*\ c_0101_5^6 - 429505541795659790031735931167/15333656805182117123010\ 5390*c_0101_5^5 - 90873201036172815988133865956/7666828402591058561\ 5052695*c_0101_5^4 + 10587244503061191615561683243/3066731361036423\ 4246021078*c_0101_5^3 - 2106568865622799664188382679/76668284025910\ 585615052695*c_0101_5^2 + 354988939312920326523179741/3066731361036\ 4234246021078*c_0101_5 + 1084773336879809269424068819/1533365680518\ 21171230105390, c_0101_5^18 - 4*c_0101_5^17 + 12*c_0101_5^16 - 39*c_0101_5^15 - c_0101_5^14 - 13*c_0101_5^13 + 110*c_0101_5^12 + 313*c_0101_5^11 + 540*c_0101_5^10 + 16*c_0101_5^9 - 3453*c_0101_5^8 - 3055*c_0101_5^7 + 1342*c_0101_5^6 + 1221*c_0101_5^5 - 47*c_0101_5^4 - 33*c_0101_5^3 - 3*c_0101_5^2 - 6*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.020 Total time: 0.230 seconds, Total memory usage: 32.09MB