Magma V2.19-8 Wed Aug 21 2013 00:55:29 on localhost [Seed = 290917137] Type ? for help. Type -D to quit. Loading file "L13n100__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n100 geometric_solution 11.36375264 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 1 1 1 0 -1 -2 3 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 2 -1 0 1 0 9 -10 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151298340795 1.146785890013 0 5 7 6 0132 0132 0132 0132 1 1 1 1 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 1 0 0 -1 0 0 0 0 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.682060055320 1.513350282319 8 0 4 3 0132 0132 0132 0132 0 1 1 1 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 1 -1 0 0 0 0 0 1 -1 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.151298340795 1.146785890013 8 4 2 0 3120 0132 0132 0132 0 1 1 1 0 -2 0 2 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.113077216516 0.857083796827 9 3 0 2 0132 0132 0132 0132 0 1 1 1 0 2 -3 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 -2 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.113077216516 0.857083796827 9 1 10 7 3120 0132 0132 3120 1 1 1 1 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 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.172060398346 0.633814076736 9 10 1 10 2103 0132 0132 3120 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 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.529320628412 0.214509540627 5 11 11 1 3120 0132 2031 0132 1 1 1 1 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 0 0 10 -1 0 -9 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.809007969756 0.754595895018 2 9 12 3 0132 3120 0132 3120 1 1 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 1 -1 10 -10 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.575649170397 0.573392945006 4 8 6 5 0132 3120 2103 3120 1 1 1 1 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 10 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.349382314948 0.888209178254 6 6 12 5 3120 0132 2310 0132 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 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.382678640277 0.607651384122 12 7 12 7 2031 0132 3201 1302 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 0 0 0 0 0 0 0 0 0 0 -1 1 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.315224066523 1.245427813427 11 10 11 8 2310 3201 1302 0132 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 0 0 0 0 0 0 0 0 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.315224066523 1.245427813427 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_12' : negation(d['c_0101_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_0'], 'c_1001_2' : d['c_1001_0'], 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : negation(d['c_0011_11']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_10']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0011_12'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_0'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : negation(d['c_0011_3']), 'c_1100_8' : d['c_0101_11'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_11'], 's_1_7' : 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_1_9' : negation(d['1']), 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_3']), 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_11']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : negation(d['c_0101_11']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_11']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_5, c_1001_0, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 29382692024668075560842509574859508283267/7296266494367218266798625\ 87802818000000*c_1001_5^6*c_1100_0 + 39060698591273370421883278848442269051063/1459253298873443653359725\ 175605636000000*c_1001_5^6 + 10954242234947360703606307173337277870\ 3039/729626649436721826679862587802818000000*c_1001_5^5*c_1100_0 + 30527984256673545761374116867310663032201/3648133247183609133399312\ 93901409000000*c_1001_5^5 + 143643097611462520976559107595221576743\ 433/729626649436721826679862587802818000000*c_1001_5^4*c_1100_0 - 131614653332450558617352312784085208178653/364813324718360913339931\ 293901409000000*c_1001_5^4 - 33895608906620681346863840083063136030\ 11/4560166558979511416749141173767612500*c_1001_5^3*c_1100_0 - 843840680526893282255505185585441438311/145925329887344365335972517\ 560563600000*c_1001_5^3 + 2298030131949367658415489719496795907897/\ 14592532988734436533597251756056360000*c_1001_5^2*c_1100_0 + 44108379189049267665706624147274247147859/5837013195493774613438900\ 7024225440000*c_1001_5^2 + 2076653129129785770731061784519680780443\ 59/364813324718360913339931293901409000000*c_1001_5*c_1100_0 - 166691180942708653010591048245177844015213/364813324718360913339931\ 293901409000000*c_1001_5 - 3450782934893389051963474105188732442121\ 01/1459253298873443653359725175605636000000*c_1100_0 + 7749701922121402532821996396127902566191/72962664943672182667986258\ 7802818000000, c_0011_0 - 1, c_0011_10 - 108837879765779130101189/334175093175189287304961*c_1001_5^\ 6*c_1100_0 + 89127770455756900026499/334175093175189287304961*c_100\ 1_5^6 + 281290140319824201614633/334175093175189287304961*c_1001_5^\ 5*c_1100_0 + 203151941032246865049172/334175093175189287304961*c_10\ 01_5^5 + 663414206562526825635930/334175093175189287304961*c_1001_5\ ^4*c_1100_0 - 652783307146705733030094/334175093175189287304961*c_1\ 001_5^4 - 1027428118529501109220898/334175093175189287304961*c_1001\ _5^3*c_1100_0 - 120722488687575932460480/334175093175189287304961*c\ _1001_5^3 - 573443209721774759549187/334175093175189287304961*c_100\ 1_5^2*c_1100_0 + 1192055540857958694646253/334175093175189287304961\ *c_1001_5^2 + 433003909340476997429802/334175093175189287304961*c_1\ 001_5*c_1100_0 - 371894859132961224343226/334175093175189287304961*\ c_1001_5 + 277468346509333068464911/334175093175189287304961*c_1100\ _0 - 267715651672660441983373/334175093175189287304961, c_0011_11 + 14794758311313167306537/334175093175189287304961*c_1001_5^6\ *c_1100_0 + 15464845256789986579775/334175093175189287304961*c_1001\ _5^6 + 18141075600455298622278/334175093175189287304961*c_1001_5^5*\ c_1100_0 - 58870403279232628117844/334175093175189287304961*c_1001_\ 5^5 - 146037818604564381131315/334175093175189287304961*c_1001_5^4*\ c_1100_0 - 93312165224251243077382/334175093175189287304961*c_1001_\ 5^4 - 52581102148587056153288/334175093175189287304961*c_1001_5^3*c\ _1100_0 + 307774864207392521476948/334175093175189287304961*c_1001_\ 5^3 + 371572068976286408442462/334175093175189287304961*c_1001_5^2*\ c_1100_0 + 176452829810895882820226/334175093175189287304961*c_1001\ _5^2 + 5075653968217497400166/334175093175189287304961*c_1001_5*c_1\ 100_0 - 393296337888503702717662/334175093175189287304961*c_1001_5 - 185540345970336166068642/334175093175189287304961*c_1100_0 - 61051104601811447468623/334175093175189287304961, c_0011_12 + 131541834834916023337132/334175093175189287304961*c_1001_5^\ 6*c_1100_0 + 105083942933056116974802/334175093175189287304961*c_10\ 01_5^6 + 199025986436544141619668/334175093175189287304961*c_1001_5\ ^5*c_1100_0 - 357855432216464698692484/334175093175189287304961*c_1\ 001_5^5 - 897273538874125644673078/334175093175189287304961*c_1001_\ 5^4*c_1100_0 - 707974176808776350211232/334175093175189287304961*c_\ 1001_5^4 - 126104391729261831457943/334175093175189287304961*c_1001\ _5^3*c_1100_0 + 1205299558146831015217186/334175093175189287304961*\ c_1001_5^3 + 1653272600536242553706672/334175093175189287304961*c_1\ 001_5^2*c_1100_0 + 744407283074081875696702/33417509317518928730496\ 1*c_1001_5^2 - 65415854707550776302996/334175093175189287304961*c_1\ 001_5*c_1100_0 - 507823724444564528923935/334175093175189287304961*\ c_1001_5 - 162770274181605265452492/334175093175189287304961*c_1100\ _0 - 492692044295951756237692/334175093175189287304961, c_0011_3 + 251734354349986391157046/334175093175189287304961*c_1001_5^6\ *c_1100_0 - 110857231118848215079658/334175093175189287304961*c_100\ 1_5^6 - 501645743400451441997364/334175093175189287304961*c_1001_5^\ 5*c_1100_0 - 642887378619214863599512/334175093175189287304961*c_10\ 01_5^5 - 1666269659019938504279876/334175093175189287304961*c_1001_\ 5^4*c_1100_0 + 1125816243264875092760076/334175093175189287304961*c\ _1001_5^4 + 2249814984235784502430936/334175093175189287304961*c_10\ 01_5^3*c_1100_0 + 1198314591489761408570140/33417509317518928730496\ 1*c_1001_5^3 + 1618021558631010618031466/334175093175189287304961*c\ _1001_5^2*c_1100_0 - 2668506110134992808644766/33417509317518928730\ 4961*c_1001_5^2 - 1340890632877253647241704/33417509317518928730496\ 1*c_1001_5*c_1100_0 - 99547065077376627082696/334175093175189287304\ 961*c_1001_5 - 459632687636135546010458/334175093175189287304961*c_\ 1100_0 + 482388756153808083103825/334175093175189287304961, c_0101_0 - 55428615559424107539829/334175093175189287304961*c_1001_5^6*\ c_1100_0 - 125867177174993195578523/334175093175189287304961*c_1001\ _5^6 - 321443689309607431799756/334175093175189287304961*c_1001_5^5\ *c_1100_0 + 250822871700225720998682/334175093175189287304961*c_100\ 1_5^5 + 562908121632437546380038/334175093175189287304961*c_1001_5^\ 4*c_1100_0 + 833134829509969252139938/334175093175189287304961*c_10\ 01_5^4 + 599157295744880704285070/334175093175189287304961*c_1001_5\ ^3*c_1100_0 - 1124907492117892251215468/334175093175189287304961*c_\ 1001_5^3 - 1334253055067496404322383/334175093175189287304961*c_100\ 1_5^2*c_1100_0 - 809010779315505309015733/334175093175189287304961*\ c_1001_5^2 - 49773532538688313541348/334175093175189287304961*c_100\ 1_5*c_1100_0 + 670445316438626823620852/334175093175189287304961*c_\ 1001_5 + 408281924664498685204393/334175093175189287304961*c_1100_0 + 229816343818067773005229/334175093175189287304961, c_0101_1 - 55428615559424107539829/334175093175189287304961*c_1001_5^6*\ c_1100_0 - 125867177174993195578523/334175093175189287304961*c_1001\ _5^6 - 321443689309607431799756/334175093175189287304961*c_1001_5^5\ *c_1100_0 + 250822871700225720998682/334175093175189287304961*c_100\ 1_5^5 + 562908121632437546380038/334175093175189287304961*c_1001_5^\ 4*c_1100_0 + 833134829509969252139938/334175093175189287304961*c_10\ 01_5^4 + 599157295744880704285070/334175093175189287304961*c_1001_5\ ^3*c_1100_0 - 1124907492117892251215468/334175093175189287304961*c_\ 1001_5^3 - 1334253055067496404322383/334175093175189287304961*c_100\ 1_5^2*c_1100_0 - 809010779315505309015733/334175093175189287304961*\ c_1001_5^2 - 49773532538688313541348/334175093175189287304961*c_100\ 1_5*c_1100_0 + 670445316438626823620852/334175093175189287304961*c_\ 1001_5 + 74106831489309397899432/334175093175189287304961*c_1100_0 + 229816343818067773005229/334175093175189287304961, c_0101_10 + 41935227977516874591767/334175093175189287304961*c_1001_5^6\ *c_1100_0 - 66181899226179843248853/334175093175189287304961*c_1001\ _5^6 - 223196352941664791279364/334175093175189287304961*c_1001_5^5\ *c_1100_0 - 118469766096208992761176/334175093175189287304961*c_100\ 1_5^5 - 371411920645603273808454/334175093175189287304961*c_1001_5^\ 4*c_1100_0 + 602564497376616337057880/334175093175189287304961*c_10\ 01_5^4 + 861812653836853151313830/334175093175189287304961*c_1001_5\ ^3*c_1100_0 + 224078996246091277775056/334175093175189287304961*c_1\ 001_5^3 + 267195588263194948509955/334175093175189287304961*c_1001_\ 5^2*c_1100_0 - 1208733550762122724053015/334175093175189287304961*c\ _1001_5^2 - 667666345579112148740807/334175093175189287304961*c_100\ 1_5*c_1100_0 + 51951591667729788372772/334175093175189287304961*c_1\ 001_5 - 140514285731094747222573/334175093175189287304961*c_1100_0 + 285809665500401178305147/334175093175189287304961, c_0101_11 - 55428615559424107539829/334175093175189287304961*c_1001_5^6\ *c_1100_0 - 125867177174993195578523/334175093175189287304961*c_100\ 1_5^6 - 321443689309607431799756/334175093175189287304961*c_1001_5^\ 5*c_1100_0 + 250822871700225720998682/334175093175189287304961*c_10\ 01_5^5 + 562908121632437546380038/334175093175189287304961*c_1001_5\ ^4*c_1100_0 + 833134829509969252139938/334175093175189287304961*c_1\ 001_5^4 + 599157295744880704285070/334175093175189287304961*c_1001_\ 5^3*c_1100_0 - 1124907492117892251215468/334175093175189287304961*c\ _1001_5^3 - 1334253055067496404322383/334175093175189287304961*c_10\ 01_5^2*c_1100_0 - 809010779315505309015733/334175093175189287304961\ *c_1001_5^2 - 49773532538688313541348/334175093175189287304961*c_10\ 01_5*c_1100_0 + 670445316438626823620852/334175093175189287304961*c\ _1001_5 + 74106831489309397899432/334175093175189287304961*c_1100_0 + 229816343818067773005229/334175093175189287304961, c_0101_5 + 144556386015181007566328/334175093175189287304961*c_1001_5^6\ *c_1100_0 + 234705056940772325679712/334175093175189287304961*c_100\ 1_5^6 + 524595630341854296848928/334175093175189287304961*c_1001_5^\ 5*c_1100_0 - 532113012020049922613315/334175093175189287304961*c_10\ 01_5^5 - 1215691428779143279410132/334175093175189287304961*c_1001_\ 5^4*c_1100_0 - 1496549036072496077775868/334175093175189287304961*c\ _1001_5^4 - 719879784432456636745550/334175093175189287304961*c_100\ 1_5^3*c_1100_0 + 2152335610647393360436366/334175093175189287304961\ *c_1001_5^3 + 2526308595925455098968636/334175093175189287304961*c_\ 1001_5^2*c_1100_0 + 1382453989037280068564920/334175093175189287304\ 961*c_1001_5^2 - 322121326594272910801878/334175093175189287304961*\ c_1001_5*c_1100_0 - 1103449225779103821050654/334175093175189287304\ 961*c_1001_5 - 7647389986780552577844/334175093175189287304961*c_11\ 00_0 - 507284690327400841470140/334175093175189287304961, c_1001_0 - 1, c_1001_5^7 + 8210/2861*c_1001_5^6*c_1100_0 - 3692/2861*c_1001_5^6 - 7666/2861*c_1001_5^5*c_1100_0 - 20776/2861*c_1001_5^5 - 22364/2861*c_1001_5^4*c_1100_0 + 28182/2861*c_1001_5^4 + 28974/2861*c_1001_5^3*c_1100_0 + 23093/2861*c_1001_5^3 + 2540/2861*c_1001_5^2*c_1100_0 - 31864/2861*c_1001_5^2 - 3479/2861*c_1001_5*c_1100_0 - 1024/2861*c_1001_5 - 2212/2861*c_1100_0 + 3816/2861, c_1100_0^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.390 Total time: 0.600 seconds, Total memory usage: 32.09MB